true 2 4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
false 1 5feceb66ffc86f38d952786c6d696c79c2dbc239dd4e91b46729d73a27fb57e9
not 8 1f6cae19aff40a81b0f8fcf17ea936269fcd2eaf27bf85148dbd8750a61ce320
tree-case 10 8e9570a3fc1bc50ba40bd136d79f0ce98bd81cb65fa5c8647078c2d6b1bf4340
is-leaf 12 aff47bf318ed57977fee5d448df6cb57120a5a6f6652670ecdd8fec60268f510
is-stem 12 41c125b0e20627467df54710db356b0bf655de0ee7b3dc1c467d06995cc6ed3a
is-fork 12 d2de9f7505ed2a02ecd9018d7baad0ae9c5a458967af5fb4374f464b7a38d432
if 41 95a97204ab522b54d8d556cfadabd78f2e20946953cd82eacfd0d6a72195030c
bool-and 30 2adfdbefa18090b94cde654f3eafd4374f0843d5153028633d3288a8c4779032
bool-or 35 a07a9d92cbaa7f6bc51b83e8f342c18b22592eb2a7e119c2aa6aedea19433d59
bool-xor 68 b6510ea812120d5a61d3c3086f8a00c6b46f1274e8516f689c9eaefa336c887a
first 8 3e53024bd13e6f7a8f0f81ddc02fa1821477c4a713f091460228401752da63c9
second 13 6b30f5d88a989120d8652f61383515865ba00f789893dd78b45d566b2537ee04
is-zero 12 aff47bf318ed57977fee5d448df6cb57120a5a6f6652670ecdd8fec60268f510
nat-pred 10 b3d7b84fb6cb2a6784eb4f53869da36f8b351a901a0e0a3869a6b0cc8e76c05b
sa-k 9 4baeeb0cc7239152cb2582c6fbfa1eb5d10009d583d39e1e580df9052b9de2ff
wait 60 2d6ad250edffc011095ae8aeaff8143bca036593778f931ef5008073dfcaf0e4
wait1 38 95236ab95f9f2cd631a86874ff7b85e65b84dc388ee0274fc3e5f07faac8ee74
rec-fix 64 2f0e19f7b01ebf68c572eb9ad74b1ea0398c49ef13f5677466ff47e84840fcd3
fold-fn 242 32dcb054300fac650ade8f6c4bdc2493e46438e89be5f5fd3a664048d62cc5c1
list-fold 326 3a4225df7bd383bc2f1a6b3d0fa0a0bb84632f90e1415825a2be683503fabc4f
list-length 298 b0f08c694e75ab698415377cf023c14be878e92b82bf87b3dfb30c3f7e6095e8
list-append 307 500eaee618df21a52bd4355ba2d60cf9639d108dd45a39bcb17841abb26a26e2
list-reverse 620 b524cf23e4300b731fb909f00786f2f607989fb988ba309f6193857d79097ef6
list-map 340 b0bd1e1934d18dba698eeb2b9e42aca5e68e8c33146666958143dbb0488371c0
ref-fn 182 0d653fafddd49657d76a4f1a540bb5afbf68c4d77e1e3604d25564ac6672f1ab
list-ref 226 916436575f7b3a755d4c0c07d46ade8589134c34b46739af679e984c4ccd28ca
sum-fn 25 5016580aab0f6d24eaab16a9b0f7692667eacf76b4be1fb56dcfee20e46d141d
nat-sum 69 e72f46d50536d2f7a39ea1ed21a61c51847a48735629216fc1c69b124e80a903
eq-fn 362 1b00ec111c7da108e32e36debe46805258698a7a86148383a842b3c940ca359a
tree-eq 406 fd549d45e1e2e481488d0c0ff4ec9c4de263fca5a511e623bbbba0bd6291de03
list-eq 406 fd549d45e1e2e481488d0c0ff4ec9c4de263fca5a511e623bbbba0bd6291de03
mag-canonical 404 064fe15b6a00f13213cfebcb8c8bc4030d7957f67088a9da8ae875b2b07471b6
int-canonical 546 b510a1b557ba3bde42cfffb6122f950eeee44c92e400e0a45b4f541273d4594c
int-zero 3 27badc983df1780b60c2b3fa9d3a19a00e46aac798451f0febdca52920faaddf
int-one 6 4ee7ce0f4199592ab6656ca6d6368f6045481b65668764b5012bf7078b80bcb2
int-neg 664 bf08aa61dcbc8bfad9b35854a36136626b853dbd837461bd3be5f6e39d28bc54
mag-ripple-fn 364 00bc9c957082d5433bfe4c0bf97e9e16ee1d31e9d99e7738489328f63a4baf74
mag-ripple 408 b79b5ecacd717ec20062713edab54a8fa5ac4a23a1cbcb9b87a8ba33aa03ec5a
mag-add-fn 2616 e5d7cfa49fcd572fea174eb36c1d3358c16fb126de8b7b3af7527924dac4e778
mag-add 3089 2bd730008f19b10c135bc27c4e842beefac3193398633705d1880accc1adebd2
mag-cmp-fn 1997 a013bae48f128c197a6e8b7cb0f393ea4092ccccc3ce861a6f3c25e0f0ebbbdf
mag-cmp 2041 87312fa7e5052afab92dbdd53f1808dac2191994a0034b1e992a22cd9be042db
mag-ripsub-fn 117 f976accfae10b4414673ab165121ae083c2dc58a84804fcaa9da9333afb824cb
mag-ripsub 569 f5566c2e05cda6f63bc284151469e73cf4b68d7b2f52a28b864149a570afff90
mag-sub-fn 3303 f053becd2659744f47db67d290db35be1912c0093cfa8a58a9637942d71aabbd
mag-sub 3776 513d09dd3563e837c4aa788b15ccd46e1a10ef87134c6f9742c571dbb14bff4d
int-add 22259 7f33ee5c4b9c43818a74e359ebce0cbe88343551b3cffb75122498b42077eab3
int-sub 22943 bb2e50fae5b33069d24d87072baf07ddf2d553f761781cda8f2049f756db12af
int-cmp 5613 de0a52cae88f868eea5a6fb128068dd88cd2a3a69898638c0222176ad3be8a40
mag-mul-fn 3773 33d38e003ae61e35f2c2951881852b93371361202ea800952a8b8c7bb634f75d
mag-mul 4254 31def1456bfe3c1c83b567e10e35b7d6c2f4c11bd888736c45ddf6904948cec2
int-mul 6213 fb3f462a1b191e5065ebd21018ee85cd7b8116f9693f282fe9527dd13411f5fa
none 1 5feceb66ffc86f38d952786c6d696c79c2dbc239dd4e91b46729d73a27fb57e9
some 1 5feceb66ffc86f38d952786c6d696c79c2dbc239dd4e91b46729d73a27fb57e9
rec-get 867 25ae72255db18f143b1b238656b6249e2f1473b97ccefa32d6479a00ebdf760b
rec-val 888 1132bbd758d195165b345c89dc31b242e20902243ebda70ba7789c25762c034d
rec-has 887 e20bc94f9ebc66df748e4c91aa3505b1fa6afba238692e686ca0f91021d7a52e
rec-replace 935 04c212770ebb05c0df4e66ea84d21dc5a75a1fd873d8b7fa1727a16b0cb83314
rec-upd 2357 2bf1e78759cd3d8d45a155d2d2611ddc342535d987b8cf5b95b0e6acdf8b2cde
list-filter 406 e51fbd4cdae60fa5d2d276001c921beeaae7e6c11a97db87dba927ebc7f7a615
key-state 2 4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
key-title 3 9bdb2af6799204a299c603994b8e400e4b1fd625efdb74066cc869fee42c9df3
key-who 4 055f78940c07630352676197ab7c3ed8d5bb204d406e5c6ff101f870bc9b7dd7
key-when 5 81c7883d08afb46d4bc0d118dd96d30124701ef1c6e0e90e70a6b37f9383f951
todo-open 2 4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
todo-done 1 5feceb66ffc86f38d952786c6d696c79c2dbc239dd4e91b46729d73a27fb57e9
todo-state 834 d0c19e462b1cf5fe3c2f68415b4fe298fcdb809cff6203f0584a8d7c3a4dec2e
todo-title 835 13c3e3e7404adde51e0b78afc4560e66ceabc5ca24654c00752fa924117e9242
todo-who 836 94a4a5e6344099ab6f0a4da6778cf42b714e8874d0c56661a7047478a3e056b4
todo-when 837 9cd698b885edd902615f7df0cc330082b0931e257abedfee8a9c48104366b5d5
todo-entry 25 a7e88bfae4f874f352c41141c7d9fc4eabe2690bcad6bbc202f0520eaca96370
todo-item 191 934188af18e99a3041b5ba09dd9c8d04e35bcc54ca6aa3c1aa3e6493a7cee726
todo-created 495 2d9ff868ae0a8aa41b49a523a97d452b003b526e89b3baddfac00f2246a37f8e
todo-add 439 9ef559fe01b10e6aecf6bfe31d42568bddcf60d101aa798c1232e8ac39a9f561
todo-flip 3388 97c7dec8a4715ca43f5116f7f2de9167ecc95da7bd82480e72fa0e6bb7102c2b
todo-open-count 1824 7b84984401baaa9b522344bfd4bbf248de1f8805185ecb15f8dab9e601d2c929
