From 1d608b597a60a1d370f835d2442e2ac06c662662 Mon Sep 17 00:00:00 2001 From: Justin Ethier Date: Tue, 16 May 2017 18:50:46 +0000 Subject: [PATCH] Testing --- tests/benchmarks/lattice-csc-cps-opt.scm | 681 +++++++++++++++ tests/benchmarks/lattice-csc-cps.scm | 1020 ++++++++++++++++++++++ 2 files changed, 1701 insertions(+) create mode 100644 tests/benchmarks/lattice-csc-cps-opt.scm create mode 100644 tests/benchmarks/lattice-csc-cps.scm diff --git a/tests/benchmarks/lattice-csc-cps-opt.scm b/tests/benchmarks/lattice-csc-cps-opt.scm new file mode 100644 index 00000000..821d512f --- /dev/null +++ b/tests/benchmarks/lattice-csc-cps-opt.scm @@ -0,0 +1,681 @@ +[optimized] +(lambda (k598) + (let ((k599 (##core#lambda + (r600) + (let ((k602 (##core#lambda + (r603) + (let ((k605 (##core#lambda + (r606) + (let ((k608 (##core#lambda + (r609) + (let ((k611 (##core#lambda + (r612) + (let ((t614 (set! flush-output-port #f flush-output))) + (let ((t615 (set! current-jiffy #f current-milliseconds))) + (let ((t616 (set! jiffies-per-second + #f + (lambda (k618) (k618 1000))))) + (let ((t619 (set! current-second #f current-seconds))) + (let ((t620 (set! inexact #f exact->inexact))) + (let ((t621 (set! exact #f inexact->exact))) + (let ((t622 (set! square + #f + (lambda (k624 x61) + (k624 (##core#inline_allocate + ("C_a_i_times" 4) + x61 + x61)))))) + (let ((t628 (set! exact-integer? #f integer?))) + (let ((t629 (set! this-scheme-implementation-name + #f + (lambda (k631) + (let ((k636 (##core#lambda + (r637) + (string-append k631 "chicken-" r637)))) + (chicken-version k636)))))) + (let ((t639 (set! lexico + #f + (lambda (k641 base66) + (let ((lex-fixed67 (##core#undefined))) + (let ((lex-first68 (##core#undefined))) + (let ((t642 (set! lex-fixed67 + #f + (lambda (k644 fixed69 lhs70 rhs71) + (let ((check72 (##core#undefined))) + (let ((t645 (set! check72 + #f + (lambda (k647 lhs73 rhs74) + (if (##core#inline "C_i_nullp" lhs73) + (k647 fixed69) + (let ((k654 (##core#lambda + (r655) + (let ((r661 (##core#inline "C_eqp" r655 'equal))) + (let ((r664 (##core#cond + r661 + r661 + (##core#inline "C_eqp" r655 fixed69)))) + (if r664 + (let ((r671 (##core#inline "C_i_cdr" lhs73))) + (let ((r675 (##core#inline "C_i_cdr" rhs74))) + (check72 k647 r671 r675))) + (k647 'uncomparable))))))) + (let ((r682 (##core#inline "C_i_car" lhs73))) + (let ((r686 (##core#inline "C_i_car" rhs74))) + (base66 k654 r682 r686))))))))) + (check72 k644 lhs70 rhs71))))))) + (let ((t691 (set! lex-first68 + #f + (lambda (k693 lhs80 rhs81) + (if (##core#inline "C_i_nullp" lhs80) + (k693 'equal) + (let ((k700 (##core#lambda + (r701) + (let ((r707 (##core#inline "C_eqp" r701 'less))) + (let ((r710 (##core#cond + r707 + r707 + (##core#inline "C_eqp" r701 'more)))) + (if r710 + (let ((r717 (##core#inline "C_i_cdr" lhs80))) + (let ((r721 (##core#inline "C_i_cdr" rhs81))) + (lex-fixed67 k693 r701 r717 r721))) + (let ((r727 (##core#inline "C_eqp" r701 'equal))) + (if r727 + (let ((r734 (##core#inline "C_i_cdr" lhs80))) + (let ((r738 (##core#inline "C_i_cdr" rhs81))) + (lex-first68 k693 r734 r738))) + (let ((r744 (##core#inline "C_eqp" r701 'uncomparable))) + (k693 (##core#cond + r744 + 'uncomparable + (##core#undefined)))))))))))) + (let ((r751 (##core#inline "C_i_car" lhs80))) + (let ((r755 (##core#inline "C_i_car" rhs81))) + (base66 k700 r751 r755))))))))) + (k641 lex-first68))))))))) + (let ((t757 (set! make-lattice + #f + (lambda (k759 elem-list95 cmp-func96) + (k759 (##core#inline_allocate + ("C_a_i_cons" 3) + elem-list95 + cmp-func96)))))) + (let ((t763 (set! lattice->elements #f car))) + (let ((t764 (set! lattice->cmp #f cdr))) + (let ((t765 (set! zulu-select + #f + (lambda (k767 test100 lst101) + (let ((select-a102 (##core#undefined))) + (let ((t768 (set! select-a102 + #f + (lambda (k770 ac103 lst104) + (if (##core#inline "C_i_nullp" lst104) + (xreverse! k770 ac103) + (let ((r785 (##core#inline "C_i_car" lst104))) + (let ((head105 r785)) + (let ((k794 (##core#lambda + (r795) + (let ((r788 (##core#cond + r795 + (##core#inline_allocate + ("C_a_i_cons" 3) + head105 + ac103) + ac103))) + (let ((r792 (##core#inline "C_i_cdr" lst104))) + (select-a102 k770 r788 r792)))))) + (test100 k794 head105))))))))) + (select-a102 k767 '() lst101))))))) + (let ((rotate109 (##core#undefined))) + (let ((rotate108110 + (lambda (k805 fo111 fum112) + (let ((r807 (##core#inline "C_i_cdr" fo111))) + (let ((r810 (##core#inline "C_i_set_cdr" fo111 fum112))) + (if (##core#inline "C_i_nullp" r807) + (k805 fo111) + (rotate109 k805 r807 fo111))))))) + (let ((t821 (set! rotate109 #f rotate108110))) + (let ((t803 (set! xreverse! + #f + (lambda (k823 lst115) + (if (##core#inline "C_i_nullp" lst115) + (k823 '()) + (rotate109 k823 lst115 '())))))) + (let ((t833 (set! select-map + #f + (lambda (k835 test118 func119 lst120) + (let ((select-a121 (##core#undefined))) + (let ((t836 (set! select-a121 + #f + (lambda (k838 ac122 lst123) + (if (##core#inline "C_i_nullp" lst123) + (xreverse! k838 ac122) + (let ((r853 (##core#inline "C_i_car" lst123))) + (let ((head124 r853)) + (let ((k855 (##core#lambda + (r856) + (let ((r860 (##core#inline "C_i_cdr" lst123))) + (select-a121 k838 r856 r860))))) + (let ((k862 (##core#lambda + (r863) + (if r863 + (let ((k869 (##core#lambda + (r870) + (k855 (##core#inline_allocate + ("C_a_i_cons" 3) + r870 + ac122))))) + (func119 k869 head124)) + (k855 ac122))))) + (test118 k862 head124)))))))))) + (select-a121 k835 '() lst120))))))) + (let ((t875 (set! map-and + #f + (lambda (k877 proc127 lst128) + (if (##core#inline "C_i_nullp" lst128) + (k877 #t) + (let ((drudge130 (##core#undefined))) + (let ((drudge129131 + (lambda (k885 lst132) + (let ((r887 (##core#inline "C_i_cdr" lst132))) + (let ((rest133 r887)) + (if (##core#inline "C_i_nullp" rest133) + (let ((r900 (##core#inline "C_i_car" lst132))) + (proc127 k885 r900)) + (let ((k905 (##core#lambda + (r906) + (if r906 (drudge130 k885 rest133) (k885 #f))))) + (let ((r913 (##core#inline "C_i_car" lst132))) + (proc127 k905 r913))))))))) + (let ((t915 (set! drudge130 #f drudge129131))) + (drudge130 k877 lst128))))))))) + (let ((t919 (set! maps-1 + #f + (lambda (k921 source137 target138 pas139 new140) + (let ((k922 (##core#lambda + (r923) + (let ((scmp141 r923)) + (let ((k925 (##core#lambda + (r926) + (let ((tcmp142 r926)) + (let ((k928 (##core#lambda + (r929) + (let ((less143 r929)) + (let ((k931 (##core#lambda + (r932) + (let ((more144 r932)) + (let ((a937 (lambda (k939 t147) + (let ((k943 (##core#lambda + (r944) + (if r944 + (let ((a949 (lambda (k951 t2150) + (let ((k956 (##core#lambda + (r957) + (k951 (##core#inline "C_i_memq" r957 '(more equal)))))) + (tcmp142 k956 t2150 t147))))) + (map-and k939 a949 more144)) + (k939 #f))))) + (let ((a959 (lambda (k961 t2149) + (let ((k966 (##core#lambda + (r967) + (k961 (##core#inline "C_i_memq" r967 '(less equal)))))) + (tcmp142 k966 t2149 t147))))) + (map-and k943 a959 less143)))))) + (let ((k970 (##core#lambda + (r971) + (zulu-select k921 a937 r971)))) + (lattice->elements k970 target138))))))) + (let ((a973 (lambda (k975 p146) + (let ((k980 (##core#lambda + (r981) + (k975 (##core#inline "C_eqp" 'more r981))))) + (let ((r985 (##core#inline "C_i_car" p146))) + (scmp141 k980 r985 new140)))))) + (select-map k931 a973 cdr pas139))))))) + (let ((a987 (lambda (k989 p145) + (let ((k994 (##core#lambda + (r995) + (k989 (##core#inline "C_eqp" 'less r995))))) + (let ((r999 (##core#inline "C_i_car" p145))) + (scmp141 k994 r999 new140)))))) + (select-map k928 a987 cdr pas139))))))) + (lattice->cmp k925 target138)))))) + (lattice->cmp k922 source137)))))) + (let ((t1001 (set! maps-rest + #f + (lambda (k1003 + source152 + target153 + pas154 + rest155 + to-1156 + to-collect157) + (if (##core#inline "C_i_nullp" rest155) + (to-1156 k1003 pas154) + (let ((r1014 (##core#inline "C_i_car" rest155))) + (let ((next158 r1014)) + (let ((r1017 (##core#inline "C_i_cdr" rest155))) + (let ((rest159 r1017)) + (let ((r1024 (##core#inline_allocate + ("C_a_i_cons" 3) + (##core#undefined) + '()))) + (let ((g167175 r1024)) + (let ((g166176 g167175)) + (let ((g168177 + (lambda (k1027 x179) + (let ((r1037 (##core#inline_allocate + ("C_a_i_cons" 3) + next158 + x179))) + (let ((r1033 (##core#inline_allocate + ("C_a_i_cons" 3) + r1037 + pas154))) + (maps-rest + k1027 + source152 + target153 + r1033 + rest159 + to-1156 + to-collect157)))))) + (let ((k1039 (##core#lambda + (r1040) + (let ((r1043 (##core#inline "C_i_check_list_2" r1040 'map))) + (let ((k1045 (##core#lambda + (r1046) + (to-collect157 k1003 r1046)))) + (let ((map-loop162180 (##core#undefined))) + (let ((t1048 (set! map-loop162180 + #f + (lambda (k1050 g174181) + (if (##core#inline "C_i_pairp" g174181) + (let ((k1072 (##core#lambda + (r1073) + (let ((r1058 (##core#inline_allocate + ("C_a_i_cons" 3) + r1073 + '()))) + (let ((r1061 (##core#inline "C_i_setslot" g167175 1 r1058))) + (let ((t1063 (set! g167175 #f r1058))) + (let ((r1069 (##core#inline "C_slot" g174181 1))) + (map-loop162180 k1050 r1069)))))))) + (let ((r1077 (##core#inline "C_slot" g174181 0))) + (g168177 k1072 r1077))) + (k1050 (##core#inline "C_slot" g166176 1))))))) + (map-loop162180 k1045 r1040)))))))) + (maps-1 k1039 source152 target153 pas154 next158))))))))))))))) + (let ((t1082 (set! maps + #f + (lambda (k1084 source188 target189) + (let ((k1089 (##core#lambda + (r1090) + (let ((a1088 r1090)) + (let ((k1093 (##core#lambda + (r1094) + (make-lattice k1084 a1088 r1094)))) + (let ((k1097 (##core#lambda (r1098) (lexico k1093 r1098)))) + (lattice->cmp k1097 target189))))))) + (let ((k1101 (##core#lambda + (r1102) + (let ((a1104 (lambda (k1106 x190) + (let ((r1112 (##core#inline_allocate + ("C_a_i_cons" 3) + (##core#undefined) + '()))) + (let ((g198206 r1112)) + (let ((g197207 g198206)) + (let ((r1115 (##core#inline "C_i_check_list_2" x190 'map))) + (let ((k1117 (##core#lambda + (r1118) + (k1106 (##core#inline_allocate ("C_a_i_list1" 3) r1118))))) + (let ((map-loop193210 (##core#undefined))) + (let ((t1120 (set! map-loop193210 + #f + (lambda (k1122 g205211) + (if (##core#inline "C_i_pairp" g205211) + (let ((r1149 (##core#inline "C_slot" g205211 0))) + (let ((r1145 (##core#inline "C_i_cdr" r1149))) + (let ((r1130 (##core#inline_allocate + ("C_a_i_cons" 3) + r1145 + '()))) + (let ((r1133 (##core#inline "C_i_setslot" g198206 1 r1130))) + (let ((t1135 (set! g198206 #f r1130))) + (let ((r1141 (##core#inline "C_slot" g205211 1))) + (map-loop193210 k1122 r1141))))))) + (k1122 (##core#inline "C_slot" g197207 1))))))) + (map-loop193210 k1117 x190))))))))))) + (let ((a1154 (lambda (k1156 x217) + ((##core#proc "C_apply" #t) k1156 append x217)))) + (maps-rest + k1089 + source188 + target189 + '() + r1102 + a1104 + a1154)))))) + (lattice->elements k1101 source188))))))) + (let ((t1160 (set! count-maps + #f + (lambda (k1162 source219 target220) + (let ((k1167 (##core#lambda + (r1168) + (let ((a1170 (lambda (k1172 x221) (k1172 1)))) + (maps-rest + k1162 + source219 + target220 + '() + r1168 + a1170 + sum))))) + (lattice->elements k1167 source219)))))) + (let ((t1173 (set! sum + #f + (lambda (k1175 lst223) + (if (##core#inline "C_i_nullp" lst223) + (k1175 0) + (let ((r1187 (##core#inline "C_i_car" lst223))) + (let ((a1185 r1187)) + (let ((k1190 (##core#lambda + (r1191) + (k1175 (##core#inline_allocate + ("C_a_i_plus" 4) + a1185 + r1191))))) + (let ((r1195 (##core#inline "C_i_cdr" lst223))) + (sum k1190 r1195)))))))))) + (let ((t1197 (set! run + #f + (lambda (k1199 k225) + (let ((k1200 (##core#lambda + (r1201) + (let ((l2226 r1201)) + (let ((k1203 (##core#lambda + (r1204) + (let ((l3247 r1204)) + (let ((k1206 (##core#lambda + (r1207) + (let ((l4248 r1207)) + (let ((k1209 (##core#lambda + (r1210) + (let ((k1212 (##core#lambda + (r1213) + (let ((k1215 (##core#lambda + (r1216) + (let ((k1218 (##core#lambda + (r1219) + (let ((tmp249254 k225)) + (##core#switch + 5 + tmp249254 + 33 + (count-maps k1199 l3247 l3247) + 44 + (count-maps k1199 l4248 l4248) + 45 + (let ((k1245 (##core#lambda + (r1246) + (count-maps k1199 l4248 r1246)))) + (maps k1245 l4248 l4248)) + 54 + (let ((k1257 (##core#lambda + (r1258) + (count-maps k1199 r1258 l4248)))) + (maps k1257 l4248 l4248)) + 55 + (let ((k1269 (##core#lambda + (r1270) + (count-maps k1199 r1270 r1270)))) + (maps k1269 l4248 l4248)) + (error k1199 + "run: unanticipated problem size" + k225)))))) + (count-maps k1218 l3247 l2226))))) + (count-maps k1215 l2226 l3247))))) + (count-maps k1212 l3247 l3247))))) + (count-maps k1209 l2226 l2226)))))) + (maps k1206 l3247 l3247)))))) + (maps k1203 l2226 l2226)))))) + (let ((a1278 (lambda (k1280 lhs227 rhs228) + (let ((tmp229234 lhs227)) + (let ((r1285 (##core#inline "C_eqp" tmp229234 'low))) + (if r1285 + (let ((tmp235240 rhs228)) + (let ((r1291 (##core#inline "C_eqp" tmp235240 'low))) + (if r1291 + (k1280 'equal) + (let ((r1297 (##core#inline "C_eqp" tmp235240 'high))) + (if r1297 + (k1280 'less) + (error k1280 'make-lattice "base" rhs228)))))) + (let ((r1306 (##core#inline "C_eqp" tmp229234 'high))) + (if r1306 + (let ((tmp241246 rhs228)) + (let ((r1312 (##core#inline "C_eqp" tmp241246 'low))) + (if r1312 + (k1280 'more) + (let ((r1318 (##core#inline "C_eqp" tmp241246 'high))) + (if r1318 + (k1280 'equal) + (error k1280 'make-lattice "base" rhs228)))))) + (error k1280 'make-lattice "base" lhs227))))))))) + (make-lattice k1200 '(low high) a1278))))))) + (let ((t1326 (set! main + #f + (lambda (k1328) + (let ((k1329 (##core#lambda + (r1330) + (let ((count263 r1330)) + (let ((k1332 (##core#lambda + (r1333) + (let ((input1264 r1333)) + (let ((k1335 (##core#lambda + (r1336) + (let ((output265 r1336)) + (let ((k1338 (##core#lambda + (r1339) + (let ((s2266 r1339)) + (let ((k1341 (##core#lambda + (r1342) + (let ((k1348 (##core#lambda + (r1349) + (let ((a1351 (lambda (k1353) + (let ((k1358 (##core#lambda (r1359) (run k1353 r1359)))) + (hide k1358 count263 input1264))))) + (let ((a1361 (lambda (k1363 result269) + (k1363 (##core#inline "C_i_nequalp" result269 output265))))) + (run-r7rs-benchmark + k1328 + r1349 + count263 + a1351 + a1361)))))) + (string-append + k1348 + "lattice" + ":" + r1342 + ":" + s2266))))) + (number->string k1341 input1264)))))) + (number->string k1338 count263)))))) + (read k1335)))))) + (read k1332)))))) + (read k1329)))))) + (let ((t1367 (set! hide + #f + (lambda (k1369 r271 x272) + (let ((a1373 (lambda (k1375) + (let ((a1390 (lambda (k1392 x273) (k1392 x273)))) + (let ((r1381 (##core#inline_allocate + ("C_a_i_vector2" 3) + values + a1390))) + (let ((r1388 (##core#inline "C_i_lessp" r271 100))) + (let ((r1385 (##core#cond r1388 0 1))) + ((##core#proc "C_values" #t) k1375 r1381 r1385)))))))) + (let ((a1393 (lambda (k1395 v274 i275) + (let ((r1397 (##core#inline "C_i_vector_ref" v274 i275))) + (r1397 k1395 x272))))) + ((##core#proc "C_call_with_values" #t) + k1369 + a1373 + a1393))))))) + (let ((t1402 (set! run-r7rs-benchmark + #f + (lambda (k1404 name279 count280 thunk281 ok?282) + (let ((k1419 (##core#lambda + (r1420) + (let ((k1422 (##core#lambda + (r1423) + (let ((k1425 (##core#lambda + (r1426) + (let ((k1428 (##core#lambda + (r1429) + (let ((k1431 (##core#lambda + (r1432) + (let ((j/s285 r1432)) + (let ((k1434 (##core#lambda + (r1435) + (let ((t0286 r1435)) + (let ((k1437 (##core#lambda + (r1438) + (let ((j0287 r1438)) + (let ((loop288 (##core#undefined))) + (let ((t1443 (set! loop288 + #f + (lambda (k1445 i289 result290) + (if (##core#inline "C_i_lessp" i289 count280) + (let ((r1457 (##core#inline_allocate ("C_a_i_plus" 4) i289 1))) + (let ((a1455 r1457)) + (let ((k1460 (##core#lambda + (r1461) + (loop288 k1445 a1455 r1461)))) + (thunk281 k1460)))) + (let ((k1466 (##core#lambda + (r1467) + (if r1467 + (let ((k1469 (##core#lambda + (r1470) + (let ((j1295 r1470)) + (let ((k1472 (##core#lambda + (r1473) + (let ((t1296 r1473)) + (let ((r1476 (##core#inline_allocate + ("C_a_i_minus" 4) + j1295 + j0287))) + (let ((k1478 (##core#lambda + (r1479) + (let ((secs298 r1479)) + (let ((k1481 (##core#lambda + (r1482) + (let ((secs2299 r1482)) + (let ((k1484 (##core#lambda + (r1485) + (let ((k1487 (##core#lambda + (r1488) + (let ((k1490 (##core#lambda + (r1491) + (let ((k1493 (##core#lambda + (r1494) + (let ((k1496 (##core#lambda + (r1497) + (let ((k1499 (##core#lambda + (r1500) + (let ((k1502 (##core#lambda + (r1503) + (let ((k1505 (##core#lambda + (r1506) + (let ((k1508 (##core#lambda + (r1509) + (let ((k1511 (##core#lambda + (r1512) + (let ((k1514 (##core#lambda + (r1515) + (let ((k1517 (##core#lambda + (r1518) + (let ((k1520 (##core#lambda + (r1521) + (let ((k1523 (##core#lambda + (r1524) + (let ((k1526 (##core#lambda (r1527) (k1445 result290)))) + (let ((r1531 ##sys#standard-output)) + (flush-output-port k1526 ##sys#standard-output)))))) + (newline k1523))))) + (display k1520 secs298))))) + (display k1517 ","))))) + (display k1514 name279))))) + (display k1511 ","))))) + (let ((k1534 (##core#lambda (r1535) (display k1508 r1535)))) + (this-scheme-implementation-name k1534)))))) + (display k1505 "+!CSVLINE!+"))))) + (newline k1502))))) + (display k1499 name279))))) + (display k1496 ") for "))))) + (write k1493 secs2299))))) + (display k1490 " seconds ("))))) + (write k1487 secs298))))) + (display k1484 "Elapsed time: ")))))) + (let ((r1539 (##core#inline_allocate + ("C_a_i_minus" 4) + t1296 + t0286))) + (let ((k1407 k1481)) + (let ((k1412 (##core#lambda + (r1413) + (k1407 (##core#inline_allocate + ("C_a_i_divide" 4) + r1413 + 1000))))) + (let ((r1417 (##core#inline_allocate + ("C_a_i_times" 4) + 1000 + r1539))) + (round k1412 r1417)))))))))) + (let ((r1543 (##core#inline_allocate + ("C_a_i_divide" 4) + r1476 + j/s285))) + (inexact k1478 r1543)))))))) + (current-second k1472)))))) + (current-jiffy k1469)) + (let ((k1545 (##core#lambda + (r1546) + (let ((k1548 (##core#lambda + (r1549) + (let ((k1551 (##core#lambda + (r1552) + (let ((k1554 (##core#lambda (r1555) (k1445 result290)))) + (let ((r1559 ##sys#standard-output)) + (flush-output-port k1554 ##sys#standard-output)))))) + (newline k1551))))) + (write k1548 result290))))) + (display + k1545 + "ERROR: returned incorrect result: ")))))) + (ok?282 k1466 result290))))))) + (loop288 k1404 0 #f))))))) + (current-jiffy k1437)))))) + (current-second k1434)))))) + (jiffies-per-second k1431))))) + (let ((r1563 ##sys#standard-output)) + (flush-output-port k1428 ##sys#standard-output)))))) + (newline k1425))))) + (display k1422 name279))))) + (display k1419 "Running ")))))) + (let ((k1565 (##core#lambda + (r1566) + (let ((k1568 (##core#lambda (r1569) (k598 (##core#undefined))))) + (let ((k1571 (##core#lambda (r1572) (r1572 k1568)))) + (##sys#implicit-exit-handler k1571)))))) + (main k1565)))))))))))))))))))))))))))))))))) + (##sys#require k611 'vector-lib))))) + (##core#callunit "extras" k608))))) + (##core#callunit "chicken_2dsyntax" k605))))) + (##core#callunit "eval" k602))))) + (##core#callunit "library" k599))) diff --git a/tests/benchmarks/lattice-csc-cps.scm b/tests/benchmarks/lattice-csc-cps.scm new file mode 100644 index 00000000..e1db128b --- /dev/null +++ b/tests/benchmarks/lattice-csc-cps.scm @@ -0,0 +1,1020 @@ +[cps] +(lambda (k598) + (let ((k599 (##core#lambda + (r600) + (let ((t326 r600)) + (let ((k602 (##core#lambda + (r603) + (let ((t327 r603)) + (let ((k605 (##core#lambda + (r606) + (let ((t328 r606)) + (let ((k608 (##core#lambda + (r609) + (let ((t329 r609)) + (let ((k611 (##core#lambda + (r612) + (let ((t15 r612)) + (let ((t16 (##core#undefined))) + (let ((t330 (##core#undefined))) + (let ((t614 (set! flush-output-port #f flush-output))) + (let ((t331 t614)) + (let ((t615 (set! current-jiffy #f current-milliseconds))) + (let ((t332 t615)) + (let ((t616 (set! jiffies-per-second + #f + (lambda (k618) (k618 1000))))) + (let ((t333 t616)) + (let ((t619 (set! current-second #f current-seconds))) + (let ((t334 t619)) + (let ((t620 (set! inexact #f exact->inexact))) + (let ((t335 t620)) + (let ((t621 (set! exact #f inexact->exact))) + (let ((t336 t621)) + (let ((t622 (set! square + #f + (lambda (k624 x61) + (let ((k625 (##core#lambda (r626) (k624 r626)))) + (* k625 x61 x61)))))) + (let ((t337 t622)) + (let ((t628 (set! exact-integer? #f integer?))) + (let ((t338 t628)) + (let ((t629 (set! this-scheme-implementation-name + #f + (lambda (k631) + (let ((k632 (##core#lambda (r633) (k631 r633)))) + (let ((k636 (##core#lambda + (r637) + (let ((a635 r637)) + (string-append k632 "chicken-" a635))))) + (chicken-version k636))))))) + (let ((t339 t629)) + (let ((t639 (set! lexico + #f + (lambda (k641 base66) + (let ((lex-fixed67 (##core#undefined))) + (let ((lex-first68 (##core#undefined))) + (let ((t642 (set! lex-fixed67 + #f + (lambda (k644 fixed69 lhs70 rhs71) + (let ((check72 (##core#undefined))) + (let ((t645 (set! check72 + #f + (lambda (k647 lhs73 rhs74) + (let ((k648 (##core#lambda (r649) (k647 r649)))) + (let ((k651 (##core#lambda + (r652) + (if r652 + (k648 fixed69) + (let ((k654 (##core#lambda + (r655) + (let ((probe75 r655)) + (let ((k657 (##core#lambda (r658) (k648 r658)))) + (let ((k660 (##core#lambda + (r661) + (let ((tmp7678 r661)) + (let ((k663 (##core#lambda + (r664) + (if r664 + (let ((k666 (##core#lambda (r667) (k657 r667)))) + (let ((k670 (##core#lambda + (r671) + (let ((a669 r671)) + (let ((k674 (##core#lambda + (r675) + (let ((a673 r675)) (check72 k666 a669 a673))))) + (cdr k674 rhs74)))))) + (cdr k670 lhs73))) + (k657 'uncomparable))))) + (if tmp7678 + (k663 tmp7678) + (let ((k677 (##core#lambda (r678) (k663 r678)))) + (eq? k677 probe75 fixed69)))))))) + (eq? k660 probe75 'equal))))))) + (let ((k681 (##core#lambda + (r682) + (let ((a680 r682)) + (let ((k685 (##core#lambda + (r686) + (let ((a684 r686)) (base66 k654 a680 a684))))) + (car k685 rhs74)))))) + (car k681 lhs73))))))) + (null? k651 lhs73))))))) + (let ((t79 t645)) + (let ((k688 (##core#lambda (r689) (k644 r689)))) + (check72 k688 lhs70 rhs71))))))))) + (let ((t92 t642)) + (let ((t691 (set! lex-first68 + #f + (lambda (k693 lhs80 rhs81) + (let ((k694 (##core#lambda (r695) (k693 r695)))) + (let ((k697 (##core#lambda + (r698) + (if r698 + (k694 'equal) + (let ((k700 (##core#lambda + (r701) + (let ((probe82 r701)) + (let ((tmp8388 probe82)) + (let ((k703 (##core#lambda (r704) (k694 r704)))) + (let ((k706 (##core#lambda + (r707) + (let ((tmp8991 r707)) + (let ((k709 (##core#lambda + (r710) + (if r710 + (let ((k712 (##core#lambda (r713) (k703 r713)))) + (let ((k716 (##core#lambda + (r717) + (let ((a715 r717)) + (let ((k720 (##core#lambda + (r721) + (let ((a719 r721)) + (lex-fixed67 k712 probe82 a715 a719))))) + (cdr k720 rhs81)))))) + (cdr k716 lhs80))) + (let ((k723 (##core#lambda (r724) (k703 r724)))) + (let ((k726 (##core#lambda + (r727) + (if r727 + (let ((k729 (##core#lambda (r730) (k723 r730)))) + (let ((k733 (##core#lambda + (r734) + (let ((a732 r734)) + (let ((k737 (##core#lambda + (r738) + (let ((a736 r738)) (lex-first68 k729 a732 a736))))) + (cdr k737 rhs81)))))) + (cdr k733 lhs80))) + (let ((k740 (##core#lambda (r741) (k723 r741)))) + (let ((k743 (##core#lambda + (r744) + (if r744 + (k740 'uncomparable) + (k740 (##core#undefined)))))) + (eqv? k743 tmp8388 'uncomparable))))))) + (eqv? k726 tmp8388 'equal))))))) + (if tmp8991 + (k709 tmp8991) + (let ((k746 (##core#lambda (r747) (k709 r747)))) + (eqv? k746 tmp8388 'more)))))))) + (eqv? k706 tmp8388 'less)))))))) + (let ((k750 (##core#lambda + (r751) + (let ((a749 r751)) + (let ((k754 (##core#lambda + (r755) + (let ((a753 r755)) (base66 k700 a749 a753))))) + (car k754 rhs81)))))) + (car k750 lhs80))))))) + (null? k697 lhs80))))))) + (let ((t93 t691)) (k641 lex-first68))))))))))) + (let ((t340 t639)) + (let ((t757 (set! make-lattice + #f + (lambda (k759 elem-list95 cmp-func96) + (let ((k760 (##core#lambda (r761) (k759 r761)))) + (cons k760 elem-list95 cmp-func96)))))) + (let ((t341 t757)) + (let ((t763 (set! lattice->elements #f car))) + (let ((t342 t763)) + (let ((t764 (set! lattice->cmp #f cdr))) + (let ((t343 t764)) + (let ((t765 (set! zulu-select + #f + (lambda (k767 test100 lst101) + (let ((select-a102 (##core#undefined))) + (let ((t768 (set! select-a102 + #f + (lambda (k770 ac103 lst104) + (let ((k771 (##core#lambda (r772) (k770 r772)))) + (let ((k774 (##core#lambda + (r775) + (if r775 + (let ((k777 (##core#lambda (r778) (k771 r778)))) + (xreverse! k777 ac103)) + (let ((k780 (##core#lambda (r781) (k771 r781)))) + (let ((k784 (##core#lambda + (r785) + (let ((head105 r785)) + (let ((k787 (##core#lambda + (r788) + (let ((a783 r788)) + (let ((k791 (##core#lambda + (r792) + (let ((a790 r792)) (select-a102 k780 a783 a790))))) + (cdr k791 lst104)))))) + (let ((k794 (##core#lambda + (r795) + (if r795 + (let ((k797 (##core#lambda (r798) (k787 r798)))) + (cons k797 head105 ac103)) + (k787 ac103))))) + (test100 k794 head105))))))) + (car k784 lst104))))))) + (null? k774 lst104))))))) + (let ((t106 t768)) + (let ((k800 (##core#lambda (r801) (k767 r801)))) + (select-a102 k800 '() lst101))))))))) + (let ((t344 t765)) + (let ((rotate109 (##core#undefined))) + (let ((rotate108110 + (lambda (k805 fo111 fum112) + (let ((k806 (##core#lambda + (r807) + (let ((next113 r807)) + (let ((k809 (##core#lambda + (r810) + (let ((t114 r810)) + (let ((k812 (##core#lambda (r813) (k805 r813)))) + (let ((k815 (##core#lambda + (r816) + (if r816 + (k812 fo111) + (let ((k818 (##core#lambda (r819) (k812 r819)))) + (rotate109 k818 next113 fo111)))))) + (null? k815 next113))))))) + (set-cdr! k809 fo111 fum112)))))) + (cdr k806 fo111))))) + (let ((t821 (set! rotate109 #f rotate108110))) + (let ((t116 t821)) + (let ((t803 (set! xreverse! + #f + (lambda (k823 lst115) + (let ((k824 (##core#lambda (r825) (k823 r825)))) + (let ((k827 (##core#lambda + (r828) + (if r828 + (k824 '()) + (let ((k830 (##core#lambda (r831) (k824 r831)))) + (rotate109 k830 lst115 '())))))) + (null? k827 lst115))))))) + (let ((t345 t803)) + (let ((t833 (set! select-map + #f + (lambda (k835 test118 func119 lst120) + (let ((select-a121 (##core#undefined))) + (let ((t836 (set! select-a121 + #f + (lambda (k838 ac122 lst123) + (let ((k839 (##core#lambda (r840) (k838 r840)))) + (let ((k842 (##core#lambda + (r843) + (if r843 + (let ((k845 (##core#lambda (r846) (k839 r846)))) + (xreverse! k845 ac122)) + (let ((k848 (##core#lambda (r849) (k839 r849)))) + (let ((k852 (##core#lambda + (r853) + (let ((head124 r853)) + (let ((k855 (##core#lambda + (r856) + (let ((a851 r856)) + (let ((k859 (##core#lambda + (r860) + (let ((a858 r860)) (select-a121 k848 a851 a858))))) + (cdr k859 lst123)))))) + (let ((k862 (##core#lambda + (r863) + (if r863 + (let ((k865 (##core#lambda (r866) (k855 r866)))) + (let ((k869 (##core#lambda + (r870) + (let ((a868 r870)) (cons k865 a868 ac122))))) + (func119 k869 head124))) + (k855 ac122))))) + (test118 k862 head124))))))) + (car k852 lst123))))))) + (null? k842 lst123))))))) + (let ((t125 t836)) + (let ((k872 (##core#lambda (r873) (k835 r873)))) + (select-a121 k872 '() lst120))))))))) + (let ((t346 t833)) + (let ((t875 (set! map-and + #f + (lambda (k877 proc127 lst128) + (let ((k878 (##core#lambda (r879) (k877 r879)))) + (let ((k881 (##core#lambda + (r882) + (if r882 + (k878 #t) + (let ((drudge130 (##core#undefined))) + (let ((drudge129131 + (lambda (k885 lst132) + (let ((k886 (##core#lambda + (r887) + (let ((rest133 r887)) + (let ((k889 (##core#lambda (r890) (k885 r890)))) + (let ((k892 (##core#lambda + (r893) + (if r893 + (let ((k895 (##core#lambda (r896) (k889 r896)))) + (let ((k899 (##core#lambda + (r900) + (let ((a898 r900)) (proc127 k895 a898))))) + (car k899 lst132))) + (let ((k902 (##core#lambda (r903) (k889 r903)))) + (let ((k905 (##core#lambda + (r906) + (if r906 + (let ((k908 (##core#lambda (r909) (k902 r909)))) + (drudge130 k908 rest133)) + (k902 #f))))) + (let ((k912 (##core#lambda + (r913) + (let ((a911 r913)) (proc127 k905 a911))))) + (car k912 lst132)))))))) + (null? k892 rest133))))))) + (cdr k886 lst132))))) + (let ((t915 (set! drudge130 #f drudge129131))) + (let ((t135 t915)) + (let ((k916 (##core#lambda (r917) (k878 r917)))) + (drudge130 k916 lst128)))))))))) + (null? k881 lst128))))))) + (let ((t347 t875)) + (let ((t919 (set! maps-1 + #f + (lambda (k921 source137 target138 pas139 new140) + (let ((k922 (##core#lambda + (r923) + (let ((scmp141 r923)) + (let ((k925 (##core#lambda + (r926) + (let ((tcmp142 r926)) + (let ((k928 (##core#lambda + (r929) + (let ((less143 r929)) + (let ((k931 (##core#lambda + (r932) + (let ((more144 r932)) + (let ((k934 (##core#lambda (r935) (k921 r935)))) + (let ((a937 (lambda (k939 t147) + (let ((k940 (##core#lambda (r941) (k939 r941)))) + (let ((k943 (##core#lambda + (r944) + (if r944 + (let ((k946 (##core#lambda (r947) (k940 r947)))) + (let ((a949 (lambda (k951 t2150) + (let ((k952 (##core#lambda (r953) (k951 r953)))) + (let ((k956 (##core#lambda + (r957) + (let ((a955 r957)) + (memq k952 a955 '(more equal)))))) + (tcmp142 k956 t2150 t147)))))) + (map-and k946 a949 more144))) + (k940 #f))))) + (let ((a959 (lambda (k961 t2149) + (let ((k962 (##core#lambda (r963) (k961 r963)))) + (let ((k966 (##core#lambda + (r967) + (let ((a965 r967)) + (memq k962 a965 '(less equal)))))) + (tcmp142 k966 t2149 t147)))))) + (map-and k943 a959 less143))))))) + (let ((k970 (##core#lambda + (r971) + (let ((a969 r971)) (zulu-select k934 a937 a969))))) + (lattice->elements k970 target138)))))))) + (let ((a973 (lambda (k975 p146) + (let ((k976 (##core#lambda (r977) (k975 r977)))) + (let ((k980 (##core#lambda + (r981) + (let ((a979 r981)) (eq? k976 'more a979))))) + (let ((k984 (##core#lambda + (r985) + (let ((a983 r985)) (scmp141 k980 a983 new140))))) + (car k984 p146))))))) + (select-map k931 a973 cdr pas139))))))) + (let ((a987 (lambda (k989 p145) + (let ((k990 (##core#lambda (r991) (k989 r991)))) + (let ((k994 (##core#lambda + (r995) + (let ((a993 r995)) (eq? k990 'less a993))))) + (let ((k998 (##core#lambda + (r999) + (let ((a997 r999)) (scmp141 k994 a997 new140))))) + (car k998 p145))))))) + (select-map k928 a987 cdr pas139))))))) + (lattice->cmp k925 target138)))))) + (lattice->cmp k922 source137)))))) + (let ((t348 t919)) + (let ((t1001 (set! maps-rest + #f + (lambda (k1003 + source152 + target153 + pas154 + rest155 + to-1156 + to-collect157) + (let ((k1004 (##core#lambda (r1005) (k1003 r1005)))) + (let ((k1007 (##core#lambda + (r1008) + (if r1008 + (let ((k1010 (##core#lambda (r1011) (k1004 r1011)))) + (to-1156 k1010 pas154)) + (let ((k1013 (##core#lambda + (r1014) + (let ((next158 r1014)) + (let ((k1016 (##core#lambda + (r1017) + (let ((rest159 r1017)) + (let ((k1019 (##core#lambda (r1020) (k1004 r1020)))) + (let ((k1023 (##core#lambda + (r1024) + (let ((g167175 r1024)) + (let ((g166176 g167175)) + (let ((g168177 + (lambda (k1027 x179) + (let ((k1028 (##core#lambda (r1029) (k1027 r1029)))) + (let ((k1032 (##core#lambda + (r1033) + (let ((a1031 r1033)) + (maps-rest + k1028 + source152 + target153 + a1031 + rest159 + to-1156 + to-collect157))))) + (let ((k1036 (##core#lambda + (r1037) + (let ((a1035 r1037)) (cons k1032 a1035 pas154))))) + (cons k1036 next158 x179))))))) + (let ((k1039 (##core#lambda + (r1040) + (let ((g174178 r1040)) + (let ((k1042 (##core#lambda + (r1043) + (let ((t186 r1043)) + (let ((k1045 (##core#lambda + (r1046) + (let ((a1022 r1046)) (to-collect157 k1019 a1022))))) + (let ((map-loop162180 (##core#undefined))) + (let ((t1048 (set! map-loop162180 + #f + (lambda (k1050 g174181) + (let ((k1051 (##core#lambda (r1052) (k1050 r1052)))) + (let ((k1054 (##core#lambda + (r1055) + (if r1055 + (let ((k1057 (##core#lambda + (r1058) + (let ((g163182 r1058)) + (let ((k1060 (##core#lambda + (r1061) + (let ((t183 r1061)) + (let ((t1063 (set! g167175 #f g163182))) + (let ((t184 t1063)) + (let ((k1064 (##core#lambda (r1065) (k1051 r1065)))) + (let ((k1068 (##core#lambda + (r1069) + (let ((a1067 r1069)) + (map-loop162180 k1064 a1067))))) + (##sys#slot k1068 g174181 1))))))))) + (##sys#setslot k1060 g167175 1 g163182)))))) + (let ((k1072 (##core#lambda + (r1073) + (let ((a1071 r1073)) (cons k1057 a1071 '()))))) + (let ((k1076 (##core#lambda + (r1077) + (let ((a1075 r1077)) (g168177 k1072 a1075))))) + (##sys#slot k1076 g174181 0)))) + (let ((k1079 (##core#lambda (r1080) (k1051 r1080)))) + (##sys#slot k1079 g166176 1)))))) + (pair? k1054 g174181))))))) + (let ((t185 t1048)) + (map-loop162180 k1045 g174178))))))))) + (##sys#check-list k1042 g174178 'map)))))) + (maps-1 k1039 source152 target153 pas154 next158)))))))) + (cons k1023 (##core#undefined) '()))))))) + (cdr k1016 rest155)))))) + (car k1013 rest155)))))) + (null? k1007 rest155))))))) + (let ((t349 t1001)) + (let ((t1082 (set! maps + #f + (lambda (k1084 source188 target189) + (let ((k1085 (##core#lambda (r1086) (k1084 r1086)))) + (let ((k1089 (##core#lambda + (r1090) + (let ((a1088 r1090)) + (let ((k1093 (##core#lambda + (r1094) + (let ((a1092 r1094)) + (make-lattice k1085 a1088 a1092))))) + (let ((k1097 (##core#lambda + (r1098) + (let ((a1096 r1098)) (lexico k1093 a1096))))) + (lattice->cmp k1097 target189))))))) + (let ((k1101 (##core#lambda + (r1102) + (let ((a1100 r1102)) + (let ((a1104 (lambda (k1106 x190) + (let ((k1107 (##core#lambda (r1108) (k1106 r1108)))) + (let ((k1111 (##core#lambda + (r1112) + (let ((g198206 r1112)) + (let ((g197207 g198206)) + (let ((g199208 cdr)) + (let ((g205209 x190)) + (let ((k1114 (##core#lambda + (r1115) + (let ((t216 r1115)) + (let ((k1117 (##core#lambda + (r1118) + (let ((a1110 r1118)) (list k1107 a1110))))) + (let ((map-loop193210 (##core#undefined))) + (let ((t1120 (set! map-loop193210 + #f + (lambda (k1122 g205211) + (let ((k1123 (##core#lambda (r1124) (k1122 r1124)))) + (let ((k1126 (##core#lambda + (r1127) + (if r1127 + (let ((k1129 (##core#lambda + (r1130) + (let ((g194212 r1130)) + (let ((k1132 (##core#lambda + (r1133) + (let ((t213 r1133)) + (let ((t1135 (set! g198206 #f g194212))) + (let ((t214 t1135)) + (let ((k1136 (##core#lambda (r1137) (k1123 r1137)))) + (let ((k1140 (##core#lambda + (r1141) + (let ((a1139 r1141)) + (map-loop193210 k1136 a1139))))) + (##sys#slot k1140 g205211 1))))))))) + (##sys#setslot k1132 g198206 1 g194212)))))) + (let ((k1144 (##core#lambda + (r1145) + (let ((a1143 r1145)) (cons k1129 a1143 '()))))) + (let ((k1148 (##core#lambda + (r1149) + (let ((a1147 r1149)) (g199208 k1144 a1147))))) + (##sys#slot k1148 g205211 0)))) + (let ((k1151 (##core#lambda (r1152) (k1123 r1152)))) + (##sys#slot k1151 g197207 1)))))) + (pair? k1126 g205211))))))) + (let ((t215 t1120)) + (map-loop193210 k1117 g205209))))))))) + (##sys#check-list k1114 g205209 'map))))))))) + (cons k1111 (##core#undefined) '())))))) + (let ((a1154 (lambda (k1156 x217) + (let ((k1157 (##core#lambda (r1158) (k1156 r1158)))) + (apply k1157 append x217))))) + (maps-rest + k1089 + source188 + target189 + '() + a1100 + a1104 + a1154))))))) + (lattice->elements k1101 source188)))))))) + (let ((t350 t1082)) + (let ((t1160 (set! count-maps + #f + (lambda (k1162 source219 target220) + (let ((k1163 (##core#lambda (r1164) (k1162 r1164)))) + (let ((k1167 (##core#lambda + (r1168) + (let ((a1166 r1168)) + (let ((a1170 (lambda (k1172 x221) (k1172 1)))) + (maps-rest + k1163 + source219 + target220 + '() + a1166 + a1170 + sum)))))) + (lattice->elements k1167 source219))))))) + (let ((t351 t1160)) + (let ((t1173 (set! sum + #f + (lambda (k1175 lst223) + (let ((k1176 (##core#lambda (r1177) (k1175 r1177)))) + (let ((k1179 (##core#lambda + (r1180) + (if r1180 + (k1176 0) + (let ((k1182 (##core#lambda (r1183) (k1176 r1183)))) + (let ((k1186 (##core#lambda + (r1187) + (let ((a1185 r1187)) + (let ((k1190 (##core#lambda + (r1191) + (let ((a1189 r1191)) (+ k1182 a1185 a1189))))) + (let ((k1194 (##core#lambda + (r1195) + (let ((a1193 r1195)) (sum k1190 a1193))))) + (cdr k1194 lst223))))))) + (car k1186 lst223))))))) + (null? k1179 lst223))))))) + (let ((t352 t1173)) + (let ((t1197 (set! run + #f + (lambda (k1199 k225) + (let ((k1200 (##core#lambda + (r1201) + (let ((l2226 r1201)) + (let ((k1203 (##core#lambda + (r1204) + (let ((l3247 r1204)) + (let ((k1206 (##core#lambda + (r1207) + (let ((l4248 r1207)) + (let ((k1209 (##core#lambda + (r1210) + (let ((t258 r1210)) + (let ((k1212 (##core#lambda + (r1213) + (let ((t259 r1213)) + (let ((k1215 (##core#lambda + (r1216) + (let ((t260 r1216)) + (let ((k1218 (##core#lambda + (r1219) + (let ((t261 r1219)) + (let ((tmp249254 k225)) + (let ((k1221 (##core#lambda (r1222) (k1199 r1222)))) + (let ((k1224 (##core#lambda + (r1225) + (if r1225 + (let ((k1227 (##core#lambda (r1228) (k1221 r1228)))) + (count-maps k1227 l3247 l3247)) + (let ((k1230 (##core#lambda (r1231) (k1221 r1231)))) + (let ((k1233 (##core#lambda + (r1234) + (if r1234 + (let ((k1236 (##core#lambda (r1237) (k1230 r1237)))) + (count-maps k1236 l4248 l4248)) + (let ((k1239 (##core#lambda (r1240) (k1230 r1240)))) + (let ((k1242 (##core#lambda + (r1243) + (if r1243 + (let ((k1245 (##core#lambda + (r1246) + (let ((l5255 r1246)) + (let ((k1248 (##core#lambda (r1249) (k1239 r1249)))) + (count-maps k1248 l4248 l5255)))))) + (maps k1245 l4248 l4248)) + (let ((k1251 (##core#lambda (r1252) (k1239 r1252)))) + (let ((k1254 (##core#lambda + (r1255) + (if r1255 + (let ((k1257 (##core#lambda + (r1258) + (let ((l5256 r1258)) + (let ((k1260 (##core#lambda (r1261) (k1251 r1261)))) + (count-maps k1260 l5256 l4248)))))) + (maps k1257 l4248 l4248)) + (let ((k1263 (##core#lambda (r1264) (k1251 r1264)))) + (let ((k1266 (##core#lambda + (r1267) + (if r1267 + (let ((k1269 (##core#lambda + (r1270) + (let ((l5257 r1270)) + (let ((k1272 (##core#lambda (r1273) (k1263 r1273)))) + (count-maps k1272 l5257 l5257)))))) + (maps k1269 l4248 l4248)) + (let ((k1275 (##core#lambda (r1276) (k1263 r1276)))) + (error k1275 + "run: unanticipated problem size" + k225)))))) + (eqv? k1266 tmp249254 55))))))) + (eqv? k1254 tmp249254 54))))))) + (eqv? k1242 tmp249254 45))))))) + (eqv? k1233 tmp249254 44))))))) + (eqv? k1224 tmp249254 33)))))))) + (count-maps k1218 l3247 l2226)))))) + (count-maps k1215 l2226 l3247)))))) + (count-maps k1212 l3247 l3247)))))) + (count-maps k1209 l2226 l2226)))))) + (maps k1206 l3247 l3247)))))) + (maps k1203 l2226 l2226)))))) + (let ((a1278 (lambda (k1280 lhs227 rhs228) + (let ((tmp229234 lhs227)) + (let ((k1281 (##core#lambda (r1282) (k1280 r1282)))) + (let ((k1284 (##core#lambda + (r1285) + (if r1285 + (let ((tmp235240 rhs228)) + (let ((k1287 (##core#lambda (r1288) (k1281 r1288)))) + (let ((k1290 (##core#lambda + (r1291) + (if r1291 + (k1287 'equal) + (let ((k1293 (##core#lambda (r1294) (k1287 r1294)))) + (let ((k1296 (##core#lambda + (r1297) + (if r1297 + (k1293 'less) + (let ((k1299 (##core#lambda (r1300) (k1293 r1300)))) + (error k1299 'make-lattice "base" rhs228)))))) + (eqv? k1296 tmp235240 'high))))))) + (eqv? k1290 tmp235240 'low)))) + (let ((k1302 (##core#lambda (r1303) (k1281 r1303)))) + (let ((k1305 (##core#lambda + (r1306) + (if r1306 + (let ((tmp241246 rhs228)) + (let ((k1308 (##core#lambda (r1309) (k1302 r1309)))) + (let ((k1311 (##core#lambda + (r1312) + (if r1312 + (k1308 'more) + (let ((k1314 (##core#lambda (r1315) (k1308 r1315)))) + (let ((k1317 (##core#lambda + (r1318) + (if r1318 + (k1314 'equal) + (let ((k1320 (##core#lambda (r1321) (k1314 r1321)))) + (error k1320 'make-lattice "base" rhs228)))))) + (eqv? k1317 tmp241246 'high))))))) + (eqv? k1311 tmp241246 'low)))) + (let ((k1323 (##core#lambda (r1324) (k1302 r1324)))) + (error k1323 'make-lattice "base" lhs227)))))) + (eqv? k1305 tmp229234 'high))))))) + (eqv? k1284 tmp229234 'low))))))) + (make-lattice k1200 '(low high) a1278))))))) + (let ((t353 t1197)) + (let ((t1326 (set! main + #f + (lambda (k1328) + (let ((k1329 (##core#lambda + (r1330) + (let ((count263 r1330)) + (let ((k1332 (##core#lambda + (r1333) + (let ((input1264 r1333)) + (let ((k1335 (##core#lambda + (r1336) + (let ((output265 r1336)) + (let ((k1338 (##core#lambda + (r1339) + (let ((s2266 r1339)) + (let ((k1341 (##core#lambda + (r1342) + (let ((s1267 r1342)) + (let ((name268 "lattice")) + (let ((k1344 (##core#lambda (r1345) (k1328 r1345)))) + (let ((k1348 (##core#lambda + (r1349) + (let ((a1347 r1349)) + (let ((a1351 (lambda (k1353) + (let ((k1354 (##core#lambda (r1355) (k1353 r1355)))) + (let ((k1358 (##core#lambda + (r1359) + (let ((a1357 r1359)) (run k1354 a1357))))) + (hide k1358 count263 input1264)))))) + (let ((a1361 (lambda (k1363 result269) + (let ((k1364 (##core#lambda (r1365) (k1363 r1365)))) + (= k1364 result269 output265))))) + (run-r7rs-benchmark + k1344 + a1347 + count263 + a1351 + a1361))))))) + (string-append k1348 name268 ":" s1267 ":" s2266)))))))) + (number->string k1341 input1264)))))) + (number->string k1338 count263)))))) + (read k1335)))))) + (read k1332)))))) + (read k1329)))))) + (let ((t354 t1326)) + (let ((t1367 (set! hide + #f + (lambda (k1369 r271 x272) + (let ((k1370 (##core#lambda (r1371) (k1369 r1371)))) + (let ((a1373 (lambda (k1375) + (let ((k1376 (##core#lambda (r1377) (k1375 r1377)))) + (let ((k1380 (##core#lambda + (r1381) + (let ((a1379 r1381)) + (let ((k1384 (##core#lambda + (r1385) + (let ((a1383 r1385)) (values k1376 a1379 a1383))))) + (let ((k1387 (##core#lambda + (r1388) + (if r1388 (k1384 0) (k1384 1))))) + (< k1387 r271 100))))))) + (let ((a1390 (lambda (k1392 x273) (k1392 x273)))) + (vector k1380 values a1390))))))) + (let ((a1393 (lambda (k1395 v274 i275) + (let ((k1396 (##core#lambda + (r1397) + (let ((g276277 r1397)) + (let ((k1399 (##core#lambda (r1400) (k1395 r1400)))) + (g276277 k1399 x272)))))) + (vector-ref k1396 v274 i275))))) + (call-with-values k1370 a1373 a1393)))))))) + (let ((t355 t1367)) + (let ((t1402 (set! run-r7rs-benchmark + #f + (lambda (k1404 name279 count280 thunk281 ok?282) + (let ((rounded283 (##core#undefined))) + (let ((t1405 (set! rounded283 + #f + (lambda (k1407 x284) + (let ((k1408 (##core#lambda (r1409) (k1407 r1409)))) + (let ((k1412 (##core#lambda + (r1413) + (let ((a1411 r1413)) (/ k1408 a1411 1000))))) + (let ((k1416 (##core#lambda + (r1417) + (let ((a1415 r1417)) (round k1412 a1415))))) + (* k1416 1000 x284)))))))) + (let ((t320 t1405)) + (let ((k1419 (##core#lambda + (r1420) + (let ((t321 r1420)) + (let ((k1422 (##core#lambda + (r1423) + (let ((t322 r1423)) + (let ((k1425 (##core#lambda + (r1426) + (let ((t323 r1426)) + (let ((k1428 (##core#lambda + (r1429) + (let ((t324 r1429)) + (let ((k1431 (##core#lambda + (r1432) + (let ((j/s285 r1432)) + (let ((k1434 (##core#lambda + (r1435) + (let ((t0286 r1435)) + (let ((k1437 (##core#lambda + (r1438) + (let ((j0287 r1438)) + (let ((k1440 (##core#lambda (r1441) (k1404 r1441)))) + (let ((loop288 (##core#undefined))) + (let ((t1443 (set! loop288 + #f + (lambda (k1445 i289 result290) + (let ((k1446 (##core#lambda (r1447) (k1445 r1447)))) + (let ((k1449 (##core#lambda + (r1450) + (if r1450 + (let ((k1452 (##core#lambda (r1453) (k1446 r1453)))) + (let ((k1456 (##core#lambda + (r1457) + (let ((a1455 r1457)) + (let ((k1460 (##core#lambda + (r1461) + (let ((a1459 r1461)) (loop288 k1452 a1455 a1459))))) + (thunk281 k1460)))))) + (+ k1456 i289 1))) + (let ((k1463 (##core#lambda (r1464) (k1446 r1464)))) + (let ((k1466 (##core#lambda + (r1467) + (if r1467 + (let ((k1469 (##core#lambda + (r1470) + (let ((j1295 r1470)) + (let ((k1472 (##core#lambda + (r1473) + (let ((t1296 r1473)) + (let ((k1475 (##core#lambda + (r1476) + (let ((jifs297 r1476)) + (let ((k1478 (##core#lambda + (r1479) + (let ((secs298 r1479)) + (let ((k1481 (##core#lambda + (r1482) + (let ((secs2299 r1482)) + (let ((k1484 (##core#lambda + (r1485) + (let ((t300 r1485)) + (let ((k1487 (##core#lambda + (r1488) + (let ((t301 r1488)) + (let ((k1490 (##core#lambda + (r1491) + (let ((t302 r1491)) + (let ((k1493 (##core#lambda + (r1494) + (let ((t303 r1494)) + (let ((k1496 (##core#lambda + (r1497) + (let ((t304 r1497)) + (let ((k1499 (##core#lambda + (r1500) + (let ((t305 r1500)) + (let ((k1502 (##core#lambda + (r1503) + (let ((t306 r1503)) + (let ((k1505 (##core#lambda + (r1506) + (let ((t307 r1506)) + (let ((k1508 (##core#lambda + (r1509) + (let ((t308 r1509)) + (let ((k1511 (##core#lambda + (r1512) + (let ((t309 r1512)) + (let ((k1514 (##core#lambda + (r1515) + (let ((t310 r1515)) + (let ((k1517 (##core#lambda + (r1518) + (let ((t311 r1518)) + (let ((k1520 (##core#lambda + (r1521) + (let ((t312 r1521)) + (let ((k1523 (##core#lambda + (r1524) + (let ((t313 r1524)) + (let ((k1526 (##core#lambda + (r1527) + (let ((t314 r1527)) (k1463 result290))))) + (let ((k1530 (##core#lambda + (r1531) + (let ((a1529 r1531)) + (flush-output-port k1526 a1529))))) + (current-output-port k1530))))))) + (newline k1523)))))) + (display k1520 secs298)))))) + (display k1517 ",")))))) + (display k1514 name279)))))) + (display k1511 ",")))))) + (let ((k1534 (##core#lambda + (r1535) + (let ((a1533 r1535)) (display k1508 a1533))))) + (this-scheme-implementation-name k1534))))))) + (display k1505 "+!CSVLINE!+")))))) + (newline k1502)))))) + (display k1499 name279)))))) + (display k1496 ") for ")))))) + (write k1493 secs2299)))))) + (display k1490 " seconds (")))))) + (write k1487 secs298)))))) + (display k1484 "Elapsed time: ")))))) + (let ((k1538 (##core#lambda + (r1539) + (let ((a1537 r1539)) (rounded283 k1481 a1537))))) + (- k1538 t1296 t0286))))))) + (let ((k1542 (##core#lambda + (r1543) + (let ((a1541 r1543)) (inexact k1478 a1541))))) + (/ k1542 jifs297 j/s285))))))) + (- k1475 j1295 j0287)))))) + (current-second k1472)))))) + (current-jiffy k1469)) + (let ((k1545 (##core#lambda + (r1546) + (let ((t315 r1546)) + (let ((k1548 (##core#lambda + (r1549) + (let ((t316 r1549)) + (let ((k1551 (##core#lambda + (r1552) + (let ((t317 r1552)) + (let ((k1554 (##core#lambda + (r1555) + (let ((t318 r1555)) (k1463 result290))))) + (let ((k1558 (##core#lambda + (r1559) + (let ((a1557 r1559)) + (flush-output-port k1554 a1557))))) + (current-output-port k1558))))))) + (newline k1551)))))) + (write k1548 result290)))))) + (display + k1545 + "ERROR: returned incorrect result: ")))))) + (ok?282 k1466 result290))))))) + (< k1449 i289 count280))))))) + (let ((t319 t1443)) (loop288 k1440 0 #f))))))))) + (current-jiffy k1437)))))) + (current-second k1434)))))) + (jiffies-per-second k1431)))))) + (let ((k1562 (##core#lambda + (r1563) + (let ((a1561 r1563)) + (flush-output-port k1428 a1561))))) + (current-output-port k1562))))))) + (newline k1425)))))) + (display k1422 name279)))))) + (display k1419 "Running "))))))))) + (let ((t356 t1402)) + (let ((k1565 (##core#lambda + (r1566) + (let ((t357 r1566)) + (let ((k1568 (##core#lambda + (r1569) + (let ((t358 r1569)) (k598 (##core#undefined)))))) + (let ((k1571 (##core#lambda (r1572) (r1572 k1568)))) + (##sys#implicit-exit-handler k1571))))))) + (main k1565)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) + (##sys#require k611 'vector-lib)))))) + (##core#callunit "extras" k608)))))) + (##core#callunit "chicken_2dsyntax" k605)))))) + (##core#callunit "eval" k602)))))) + (##core#callunit "library" k599)))