(CHAPIO.IM;2 57 1)
(FILES.IM;21 41 1)
(FILES.IM;21 64 1)
(FILES.IM;21 94 1)
(FILES.IM;21 828 1)
(FILES.IM;21 1043 1)
(FILES.IM;21 1239 1)
(FILES.IM;21 1406 1)
(FILES.IM;21 3597 2)
(FILES.IM;21 3745 2)
(FILES.IM;21 3783 2)
(FILES.IM;21 3827 2)
(FILES.IM;21 4164 2)
(FILES.IM;21 4467 2)
(FILES.IM;21 4648 2)
(FILES.IM;21 4831 2)
(FILES.IM;21 5022 2)
(FILES.IM;21 5636 2)
(FILES.IM;21 5724 2)
(FILES.IM;21 5852 2)
(FILES.IM;21 5963 2)
(FILES.IM;21 5994 2)
(FILES.IM;21 6365 3)
(FILES.IM;21 6494 3)
(FILES.IM;21 6810 3)
(FILES.IM;21 6954 3)
(FILES.IM;21 7087 3)
(FILES.IM;21 7175 3)
(FILES.IM;21 7206 3)
(FILES.IM;21 9094 3)
(FILES.IM;21 9147 3)
(FILES.IM;21 9219 3)
(FILES.IM;21 10269 4)
(FILES.IM;21 10630 4)
(FILES.IM;21 11100 4)
(FILES.IM;21 11123 4)
(FILES.IM;21 11173 4)
(FILES.IM;21 11916 4)
(FILES.IM;21 12001 4)
(FILES.IM;21 13312 4)
(FILES.IM;21 14092 5)
(FILES.IM;21 14142 5)
(FILES.IM;21 14175 5)
(FILES.IM;21 14209 5)
(FILES.IM;21 14243 5)
(FILES.IM;21 14459 5)
(FILES.IM;21 14508 5)
(FILES.IM;21 14748 5)
(FILES.IM;21 15503 5)
(FILES.IM;21 15691 5)
(FILES.IM;21 15720 5)
(FILES.IM;21 15760 5)
(FILES.IM;21 17147 5)
(FILES.IM;21 17287 5)
(FILES.IM;21 18331 6)
(FILES.IM;21 19718 6)
(FILES.IM;21 19756 6)
(FILES.IM;21 19862 6)
(FILES.IM;21 19896 6)
(FILES.IM;21 20314 6)
(FILES.IM;21 20796 7)
(FILES.IM;21 23328 7)
(FILES.IM;21 23743 8)
(FILES.IM;21 24397 8)
(FILES.IM;21 24549 8)
(FILES.IM;21 24889 8)
(FILES.IM;21 24938 8)
(FILES.IM;21 25098 8)
(FILES.IM;21 25192 8)
(FILES.IM;21 25308 8)
(FILES.IM;21 25351 8)
(FILES.IM;21 26183 8)
(FILES.IM;21 26881 8)
(FILES.IM;21 27038 8)
(FILES.IM;21 27798 8)
(FILES.IM;21 27913 8)
(FILES.IM;21 28314 9)
(FILES.IM;21 28514 9)
(FILES.IM;21 28556 9)
(FILES.IM;21 29415 9)
(FILES.IM;21 29707 9)
(FILES.IM;21 29933 9)
(FILES.IM;21 29987 9)
(FILES.IM;21 30324 9)
(FILES.IM;21 30395 9)
(FILES.IM;21 30856 9)
(FILES.IM;21 30940 9)
(FILES.IM;21 30971 9)
(FILES.IM;21 31809 9)
(FILES.IM;21 28983 9)
(FILES.IM;21 33294 10)
(FILES.IM;21 33622 10)
(FILES.IM;21 34120 10)
(FILES.IM;21 34357 10)
(FILES.IM;21 34527 10)
(FILES.IM;21 35038 11)
(FILES.IM;21 35078 11)
(FILES.IM;21 35209 11)
(FILES.IM;21 35334 11)
(FILES.IM;21 35363 11)
(FILES.IM;21 36159 11)
(FILES.IM;21 38716 11)
(FILES.IM;21 40333 12)
(FILES.IM;21 40360 12)
(FILES.IM;21 40464 12)
(FILES.IM;21 40535 12)
(FILES.IM;21 40744 12)
(FILES.IM;21 41525 12)
(FILES.IM;21 42125 12)
(INPUTFNS.IM;11 61 12)
(INPUTFNS.IM;11 94 12)
(INPUTFNS.IM;11 334 12)
(INPUTFNS.IM;11 478 12)
(INPUTFNS.IM;11 582 12)
(INPUTFNS.IM;11 697 12)
(INPUTFNS.IM;11 814 13)
(INPUTFNS.IM;11 880 13)
(INPUTFNS.IM;11 917 13)
(INPUTFNS.IM;11 1186 13)
(INPUTFNS.IM;11 1776 13)
(INPUTFNS.IM;11 1841 13)
(INPUTFNS.IM;11 1912 13)
(INPUTFNS.IM;11 1975 13)
(INPUTFNS.IM;11 2036 13)
(INPUTFNS.IM;11 2163 13)
(INPUTFNS.IM;11 2473 13)
(INPUTFNS.IM;11 2708 13)
(INPUTFNS.IM;11 2869 13)
(INPUTFNS.IM;11 3143 13)
(INPUTFNS.IM;11 3191 13)
(INPUTFNS.IM;11 3494 13)
(INPUTFNS.IM;11 3551 13)
(INPUTFNS.IM;11 3592 13)
(INPUTFNS.IM;11 3690 13)
(INPUTFNS.IM;11 3913 13)
(INPUTFNS.IM;11 3995 13)
(INPUTFNS.IM;11 4059 13)
(INPUTFNS.IM;11 4164 13)
(INPUTFNS.IM;11 4221 13)
(INPUTFNS.IM;11 4301 13)
(INPUTFNS.IM;11 4394 13)
(INPUTFNS.IM;11 4512 13)
(INPUTFNS.IM;11 4570 13)
(INPUTFNS.IM;11 4669 13)
(INPUTFNS.IM;11 4812 13)
(INPUTFNS.IM;11 5152 13)
(INPUTFNS.IM;11 5772 14)
(INPUTFNS.IM;11 5812 14)
(INPUTFNS.IM;11 6895 14)
(INPUTFNS.IM;11 7016 14)
(INPUTFNS.IM;11 7124 14)
(INPUTFNS.IM;11 7278 14)
(INPUTFNS.IM;11 7392 14)
(INPUTFNS.IM;11 7455 14)
(INPUTFNS.IM;11 7542 14)
(INPUTFNS.IM;11 7795 14)
(INPUTFNS.IM;11 7832 14)
(INPUTFNS.IM;11 7920 14)
(INPUTFNS.IM;11 7952 14)
(INPUTFNS.IM;11 8271 14)
(INPUTFNS.IM;11 8436 14)
(INPUTFNS.IM;11 9062 15)
(INPUTFNS.IM;11 9149 15)
(INPUTFNS.IM;11 9168 15)
(INPUTFNS.IM;11 9639 15)
(INPUTFNS.IM;11 9747 15)
(INPUTFNS.IM;11 10025 15)
(INPUTFNS.IM;11 10208 15)
(INPUTFNS.IM;11 11038 15)
(INPUTFNS.IM;11 11352 15)
(INPUTFNS.IM;11 11437 15)
(INPUTFNS.IM;11 11472 15)
(INPUTFNS.IM;11 11691 15)
(INPUTFNS.IM;11 11769 15)
(INPUTFNS.IM;11 11866 15)
(INPUTFNS.IM;11 12555 15)
(INPUTFNS.IM;11 10392 15)
(INPUTFNS.IM;11 10449 15)
(INPUTFNS.IM;11 13410 16)
(INPUTFNS.IM;11 13549 16)
(INPUTFNS.IM;11 13751 16)
(INPUTFNS.IM;11 14373 16)
(INPUTFNS.IM;11 15080 16)
(OUTPUTFNS.IM;22 64 16)
(OUTPUTFNS.IM;22 98 16)
(OUTPUTFNS.IM;22 334 16)
(OUTPUTFNS.IM;22 519 16)
(OUTPUTFNS.IM;22 544 16)
(OUTPUTFNS.IM;22 1167 16)
(OUTPUTFNS.IM;22 1461 16)
(OUTPUTFNS.IM;22 1484 16)
(OUTPUTFNS.IM;22 1554 17)
(OUTPUTFNS.IM;22 1639 17)
(OUTPUTFNS.IM;22 2064 17)
(OUTPUTFNS.IM;22 2394 17)
(OUTPUTFNS.IM;22 2475 17)
(OUTPUTFNS.IM;22 2566 17)
(OUTPUTFNS.IM;22 2607 17)
(OUTPUTFNS.IM;22 2657 17)
(OUTPUTFNS.IM;22 2955 17)
(OUTPUTFNS.IM;22 3099 17)
(OUTPUTFNS.IM;22 3191 17)
(OUTPUTFNS.IM;22 3294 17)
(OUTPUTFNS.IM;22 3953 17)
(OUTPUTFNS.IM;22 4031 17)
(OUTPUTFNS.IM;22 4140 17)
(OUTPUTFNS.IM;22 4218 17)
(OUTPUTFNS.IM;22 4726 17)
(OUTPUTFNS.IM;22 4950 18)
(OUTPUTFNS.IM;22 4994 18)
(OUTPUTFNS.IM;22 5236 18)
(OUTPUTFNS.IM;22 5823 18)
(OUTPUTFNS.IM;22 6073 18)
(OUTPUTFNS.IM;22 6101 18)
(OUTPUTFNS.IM;22 6133 18)
(OUTPUTFNS.IM;22 6246 18)
(OUTPUTFNS.IM;22 7192 18)
(OUTPUTFNS.IM;22 7863 18)
(OUTPUTFNS.IM;22 8767 19)
(OUTPUTFNS.IM;22 8897 19)
(OUTPUTFNS.IM;22 8981 19)
(OUTPUTFNS.IM;22 9010 19)
(OUTPUTFNS.IM;22 9066 19)
(OUTPUTFNS.IM;22 9109 19)
(OUTPUTFNS.IM;22 9500 19)
(OUTPUTFNS.IM;22 9834 19)
(OUTPUTFNS.IM;22 10468 19)
(OUTPUTFNS.IM;22 10811 19)
(OUTPUTFNS.IM;22 10846 19)
(OUTPUTFNS.IM;22 11475 19)
(OUTPUTFNS.IM;22 12202 19)
(OUTPUTFNS.IM;22 13207 20)
(OUTPUTFNS.IM;22 14373 20)
(OUTPUTFNS.IM;22 14402 20)
(OUTPUTFNS.IM;22 15884 21)
(OUTPUTFNS.IM;22 16324 21)
(OUTPUTFNS.IM;22 17114 21)
(OUTPUTFNS.IM;22 18490 22)
(OUTPUTFNS.IM;22 20975 22)
(OUTPUTFNS.IM;22 22676 23)
(OUTPUTFNS.IM;22 23153 23)
(OUTPUTFNS.IM;22 23185 23)
(OUTPUTFNS.IM;22 23293 23)
(OUTPUTFNS.IM;22 23324 23)
(OUTPUTFNS.IM;22 23373 23)
(OUTPUTFNS.IM;22 25244 23)
(OUTPUTFNS.IM;22 25348 23)
(OUTPUTFNS.IM;22 25380 23)
(OUTPUTFNS.IM;22 26863 24)
(OUTPUTFNS.IM;22 28045 24)
(OUTPUTFNS.IM;22 28156 24)
(OUTPUTFNS.IM;22 28321 24)
(OUTPUTFNS.IM;22 28368 24)
(OUTPUTFNS.IM;22 30590 24)
(READFILE.IM;4 75 24)
(READFILE.IM;4 288 24)
(READFILE.IM;4 386 24)
(READFILE.IM;4 566 25)
(READFILE.IM;4 727 25)
(READFILE.IM;4 1001 25)
(READFILE.IM;4 1752 25)
(READFILE.IM;4 1806 25)
(PRINTOUT.IM;9 48 25)
(PRINTOUT.IM;9 79 25)
(PRINTOUT.IM;9 95 25)
(PRINTOUT.IM;9 4638 26)
(PRINTOUT.IM;9 4962 26)
(PRINTOUT.IM;9 5266 27)
(PRINTOUT.IM;9 5739 27)
(PRINTOUT.IM;9 5967 27)
(PRINTOUT.IM;9 6155 27)
(PRINTOUT.IM;9 6377 27)
(PRINTOUT.IM;9 6584 27)
(PRINTOUT.IM;9 6974 27)
(PRINTOUT.IM;9 7180 27)
(PRINTOUT.IM;9 7478 27)
(PRINTOUT.IM;9 7717 27)
(PRINTOUT.IM;9 7762 27)
(PRINTOUT.IM;9 8056 27)
(PRINTOUT.IM;9 8327 27)
(PRINTOUT.IM;9 8884 27)
(PRINTOUT.IM;9 9140 28)
(PRINTOUT.IM;9 9336 28)
(PRINTOUT.IM;9 9654 28)
(PRINTOUT.IM;9 10538 28)
(PRINTOUT.IM;9 10704 28)
(PRINTOUT.IM;9 11072 28)
(PRINTOUT.IM;9 11257 28)
(PRINTOUT.IM;9 11567 28)
(PRINTOUT.IM;9 11735 28)
(PRINTOUT.IM;9 12302 28)
(PRINTOUT.IM;9 12756 29)
(PRINTOUT.IM;9 13017 29)
(PRINTOUT.IM;9 13769 29)
(PRINTOUT.IM;9 14247 29)
(PRINTOUT.IM;9 14416 29)
(PRINTOUT.IM;9 14737 29)
(PRINTOUT.IM;9 15129 29)
(PRINTOUT.IM;9 15284 29)
(PRINTOUT.IM;9 15691 29)
(PRINTOUT.IM;9 16432 30)
(PRINTOUT.IM;9 16638 30)
(PRINTOUT.IM;9 17207 30)
(PRINTOUT.IM;9 17676 30)
(PRINTOUT.IM;9 18947 30)
(PRINTOUT.IM;9 19281 30)
(PRINTOUT.IM;9 19394 30)
(PRINTOUT.IM;9 20843 31)
(PRINTOUT.IM;9 21051 31)
(PRINTOUT.IM;9 22730 31)
(READTABLES.IM;20 52 32)
(READTABLES.IM;20 155 32)
(READTABLES.IM;20 183 32)
(READTABLES.IM;20 212 32)
(READTABLES.IM;20 1072 32)
(READTABLES.IM;20 1221 32)
(READTABLES.IM;20 1622 32)
(READTABLES.IM;20 1705 32)
(READTABLES.IM;20 2371 32)
(READTABLES.IM;20 2420 32)
(READTABLES.IM;20 2588 32)
(READTABLES.IM;20 2857 32)
(READTABLES.IM;20 2916 32)
(READTABLES.IM;20 3237 32)
(READTABLES.IM;20 3507 33)
(READTABLES.IM;20 3800 33)
(READTABLES.IM;20 3951 33)
(READTABLES.IM;20 4266 33)
(READTABLES.IM;20 4285 33)
(READTABLES.IM;20 4320 33)
(READTABLES.IM;20 4930 33)
(READTABLES.IM;20 5048 33)
(READTABLES.IM;20 5167 33)
(READTABLES.IM;20 5331 33)
(READTABLES.IM;20 5541 33)
(READTABLES.IM;20 5919 33)
(READTABLES.IM;20 6176 33)
(READTABLES.IM;20 6340 33)
(READTABLES.IM;20 6470 33)
(READTABLES.IM;20 6788 33)
(READTABLES.IM;20 7336 34)
(READTABLES.IM;20 7720 34)
(READTABLES.IM;20 9283 34)
(READTABLES.IM;20 9689 34)
(READTABLES.IM;20 10148 34)
(READTABLES.IM;20 10906 34)
(READTABLES.IM;20 11747 35)
(READTABLES.IM;20 12024 35)
(READTABLES.IM;20 13348 35)
(READTABLES.IM;20 13510 35)
(READTABLES.IM;20 13679 35)
(READTABLES.IM;20 14680 35)
(READTABLES.IM;20 15964 36)
(READTABLES.IM;20 16015 36)
(READTABLES.IM;20 16655 36)
(READTABLES.IM;20 16673 36)
(READTABLES.IM;20 16702 36)
(READTABLES.IM;20 17492 36)
(READTABLES.IM;20 17928 36)
(READTABLES.IM;20 18502 36)
(READTABLES.IM;20 19876 37)
(READTABLES.IM;20 19970 37)
(READTABLES.IM;20 20225 37)
(READTABLES.IM;20 20757 37)
(READTABLES.IM;20 21756 37)
(READTABLES.IM;20 21788 37)
(READTABLES.IM;20 22007 37)
(READTABLES.IM;20 22041 37)
(READTABLES.IM;20 22968 38)
(READTABLES.IM;20 23002 38)
(READTABLES.IM;20 24175 38)
(READTABLES.IM;20 24212 38)
(READTABLES.IM;20 25833 38)
(READTABLES.IM;20 25959 38)
(READTABLES.IM;20 26149 38)
(READTABLES.IM;20 26669 39)
(READTABLES.IM;20 27324 39)
(READTABLES.IM;20 28318 39)
(READTABLES.IM;20 28342 39)
(READTABLES.IM;20 29135 39)
(READTABLES.IM;20 29153 39)
(READTABLES.IM;20 29535 39)
(READTABLES.IM;20 30890 40)
(READTABLES.IM;20 31318 40)
(READTABLES.IM;20 31622 40)
(READTABLES.IM;20 32026 40)
(READTABLES.IM;20 32082 40)
(TERMINALTABLES.IM;12 63 40)
(TERMINALTABLES.IM;12 85 40)
(TERMINALTABLES.IM;12 118 40)
(TERMINALTABLES.IM;12 918 40)
(TERMINALTABLES.IM;12 1125 41)
(TERMINALTABLES.IM;12 1174 41)
(TERMINALTABLES.IM;12 1310 41)
(TERMINALTABLES.IM;12 1539 41)
(TERMINALTABLES.IM;12 1600 41)
(TERMINALTABLES.IM;12 1764 41)
(TERMINALTABLES.IM;12 1869 41)
(TERMINALTABLES.IM;12 2193 41)
(TERMINALTABLES.IM;12 2531 41)
(TERMINALTABLES.IM;12 2564 41)
(TERMINALTABLES.IM;12 3405 41)
(TERMINALTABLES.IM;12 3438 41)
(TERMINALTABLES.IM;12 3483 41)
(TERMINALTABLES.IM;12 3511 41)
(TERMINALTABLES.IM;12 3552 41)
(TERMINALTABLES.IM;12 3808 41)
(TERMINALTABLES.IM;12 3841 41)
(TERMINALTABLES.IM;12 3886 41)
(TERMINALTABLES.IM;12 3961 41)
(TERMINALTABLES.IM;12 4112 41)
(TERMINALTABLES.IM;12 4176 41)
(TERMINALTABLES.IM;12 4325 41)
(TERMINALTABLES.IM;12 4371 41)
(TERMINALTABLES.IM;12 4563 42)
(TERMINALTABLES.IM;12 4592 42)
(TERMINALTABLES.IM;12 4638 42)
(TERMINALTABLES.IM;12 4907 42)
(TERMINALTABLES.IM;12 5316 42)
(TERMINALTABLES.IM;12 5812 42)
(TERMINALTABLES.IM;12 5868 42)
(TERMINALTABLES.IM;12 6529 42)
(TERMINALTABLES.IM;12 6662 42)
(TERMINALTABLES.IM;12 6868 42)
(TERMINALTABLES.IM;12 6994 42)
(TERMINALTABLES.IM;12 7011 42)
(TERMINALTABLES.IM;12 7045 42)
(TERMINALTABLES.IM;12 7105 42)
(TERMINALTABLES.IM;12 9047 43)
(TERMINALTABLES.IM;12 9251 43)
(TERMINALTABLES.IM;12 9875 43)
(TERMINALTABLES.IM;12 10076 43)
(TERMINALTABLES.IM;12 10191 43)
(TERMINALTABLES.IM;12 10279 43)
(TERMINALTABLES.IM;12 10333 43)
(TERMINALTABLES.IM;12 10884 43)
(TERMINALTABLES.IM;12 10901 43)
(TERMINALTABLES.IM;12 11127 43)
(TERMINALTABLES.IM;12 11513 43)
(TERMINALTABLES.IM;12 11741 43)
(TERMINALTABLES.IM;12 12149 44)
(TERMINALTABLES.IM;12 12870 44)
(TERMINALTABLES.IM;12 13909 44)
(TERMINALTABLES.IM;12 13956 44)
(TERMINALTABLES.IM;12 14462 44)
(TERMINALTABLES.IM;12 14493 44)
(TERMINALTABLES.IM;12 15128 45)
(TERMINALTABLES.IM;12 15288 45)
(TERMINALTABLES.IM;12 15320 45)
(TERMINALTABLES.IM;12 15353 45)
(TERMINALTABLES.IM;12 15559 45)
(TERMINALTABLES.IM;12 15697 45)
(TERMINALTABLES.IM;12 15874 45)
(TERMINALTABLES.IM;12 16684 45)
(TERMINALTABLES.IM;12 18018 45)
(TERMINALTABLES.IM;12 18456 45)
(TERMINALTABLES.IM;12 18731 46)
(TERMINALTABLES.IM;12 19043 46)
(TERMINALTABLES.IM;12 19071 46)
(TERMINALTABLES.IM;12 20037 46)
(TERMINALTABLES.IM;12 20410 46)
(TERMINALTABLES.IM;12 20621 46)
(TERMINALTABLES.IM;12 20637 46)
(TERMINALTABLES.IM;12 20887 46)
(TERMINALTABLES.IM;12 21093 46)
(TERMINALTABLES.IM;12 21137 46)
(TERMINALTABLES.IM;12 21270 46)
(TERMINALTABLES.IM;12 21305 46)
(TERMINALTABLES.IM;12 21358 46)
(TERMINALTABLES.IM;12 21391 46)
(TERMINALTABLES.IM;12 21444 46)
(TERMINALTABLES.IM;12 21474 46)
(TERMINALTABLES.IM;12 21590 46)
(TERMINALTABLES.IM;12 21618 46)
(TERMINALTABLES.IM;12 21649 46)
(TERMINALTABLES.IM;12 22017 46)
(TERMINALTABLES.IM;12 22120 46)
(TERMINALTABLES.IM;12 22360 46)
(TERMINALTABLES.IM;12 22446 46)
(TERMINALTABLES.IM;12 22612 47)
(TERMINALTABLES.IM;12 22671 47)
(TERMINALTABLES.IM;12 22905 47)
(TERMINALTABLES.IM;12 24386 47)
(TERMINALTABLES.IM;12 24643 47)
(TERMINALTABLES.IM;12 24677 47)
(TERMINALTABLES.IM;12 24709 47)
(TERMINALTABLES.IM;12 24743 47)
(TERMINALTABLES.IM;12 24803 47)
(TERMINALTABLES.IM;12 25429 47)
(TERMINALTABLES.IM;12 25711 47)
(TERMINALTABLES.IM;12 25775 47)
(PRETTYPRINT.IM;19 54 47)
(PRETTYPRINT.IM;19 306 47)
(PRETTYPRINT.IM;19 2101 48)
(PRETTYPRINT.IM;19 2193 48)
(PRETTYPRINT.IM;19 3390 48)
(PRETTYPRINT.IM;19 4737 49)
(PRETTYPRINT.IM;19 4901 49)
(PRETTYPRINT.IM;19 5493 49)
(PRETTYPRINT.IM;19 5568 49)
(PRETTYPRINT.IM;19 6034 49)
(PRETTYPRINT.IM;19 6076 49)
(PRETTYPRINT.IM;19 6098 49)
(PRETTYPRINT.IM;19 6255 49)
(PRETTYPRINT.IM;19 4300 49)
(PRETTYPRINT.IM;19 8149 50)
(PRETTYPRINT.IM;19 8354 50)
(PRETTYPRINT.IM;19 8387 50)
(PRETTYPRINT.IM;19 8580 50)
(PRETTYPRINT.IM;19 8873 50)
(PRETTYPRINT.IM;19 8991 50)
(PRETTYPRINT.IM;19 9087 50)
(PRETTYPRINT.IM;19 9124 50)
(PRETTYPRINT.IM;19 9447 50)
(PRETTYPRINT.IM;19 9659 50)
(PRETTYPRINT.IM;19 9844 50)
(PRETTYPRINT.IM;19 10915 51)
(PRETTYPRINT.IM;19 10938 51)
(PRETTYPRINT.IM;19 10964 51)
(PRETTYPRINT.IM;19 11484 51)
(PRETTYPRINT.IM;19 12014 51)
(PRETTYPRINT.IM;19 12395 51)
(PRETTYPRINT.IM;19 12798 51)
(PRETTYPRINT.IM;19 13046 51)
(PRETTYPRINT.IM;19 13164 51)
(PRETTYPRINT.IM;19 13627 51)
(PRETTYPRINT.IM;19 13806 51)
(PRETTYPRINT.IM;19 15790 52)
(PRETTYPRINT.IM;19 16323 52)
(PRETTYPRINT.IM;19 16360 52)
(PRETTYPRINT.IM;19 16385 52)
(PRETTYPRINT.IM;19 16984 52)
(PRETTYPRINT.IM;19 17098 52)
(PRETTYPRINT.IM;19 17941 52)
(PRETTYPRINT.IM;19 18126 53)
(PRETTYPRINT.IM;19 18170 53)
(PRETTYPRINT.IM;19 18644 53)
(PRETTYPRINT.IM;19 18688 53)
(PRETTYPRINT.IM;19 18836 53)
(PRETTYPRINT.IM;19 18883 53)
(PRETTYPRINT.IM;19 19394 53)
(PRETTYPRINT.IM;19 19431 53)
(PRETTYPRINT.IM;19 19569 53)
(PRETTYPRINT.IM;19 19605 53)
(PRETTYPRINT.IM;19 19630 53)
(PRETTYPRINT.IM;19 19951 53)
(PRETTYPRINT.IM;19 20081 53)
(PRETTYPRINT.IM;19 20116 53)
(PRETTYPRINT.IM;19 20237 53)
(PRETTYPRINT.IM;19 20443 53)
(PRETTYPRINT.IM;19 20751 53)
(PRETTYPRINT.IM;19 21132 53)
(PRETTYPRINT.IM;19 21944 54)
(PRETTYPRINT.IM;19 22017 54)
(PRETTYPRINT.IM;19 22046 54)
(PRETTYPRINT.IM;19 22094 54)
(PRETTYPRINT.IM;19 22433 54)
(PRETTYPRINT.IM;19 22487 54)
(PRETTYPRINT.IM;19 22619 54)
(PRETTYPRINT.IM;19 22956 54)
(PRETTYPRINT.IM;19 23147 54)
(PRETTYPRINT.IM;19 24134 54)
(PRETTYPRINT.IM;19 24558 54)
(PRETTYPRINT.IM;19 25220 55)
(PRETTYPRINT.IM;19 25253 55)
(PRETTYPRINT.IM;19 25597 55)
(PRETTYPRINT.IM;19 25703 55)
(PRETTYPRINT.IM;19 25722 55)
(PRETTYPRINT.IM;19 25740 55)
(PRETTYPRINT.IM;19 25770 55)
(PRETTYPRINT.IM;19 27117 55)
(PRETTYPRINT.IM;19 27302 55)
(PRETTYPRINT.IM;19 27477 55)
(PRETTYPRINT.IM;19 27584 55)
(PRETTYPRINT.IM;19 27694 55)
(PRETTYPRINT.IM;19 27761 55)
(PRETTYPRINT.IM;19 27870 55)
(PRETTYPRINT.IM;19 28026 55)
(PRETTYPRINT.IM;19 28159 55)
(PRETTYPRINT.IM;19 28855 56)
(PRETTYPRINT.IM;19 30702 56)
(PRETTYPRINT.IM;19 30903 56)
(PRETTYPRINT.IM;19 31043 56)
(PRETTYPRINT.IM;19 31296 56)
(PRETTYPRINT.IM;19 31411 56)
(PRETTYPRINT.IM;19 29015 56)
(PRETTYPRINT.IM;19 31564 57)
(PRETTYPRINT.IM;19 31815 57)
(PRETTYPRINT.IM;19 32261 57)
(PRETTYPRINT.IM;19 32530 57)
(ASKUSER.IM;10 45 57)
(ASKUSER.IM;10 73 57)
(ASKUSER.IM;10 102 57)
(ASKUSER.IM;10 1077 57)
(ASKUSER.IM;10 5709 59)
(ASKUSER.IM;10 5826 59)
(ASKUSER.IM;10 7078 59)
(ASKUSER.IM;10 7113 59)
(ASKUSER.IM;10 12658 61)
(ASKUSER.IM;10 17673 62)
(ASKUSER.IM;10 17756 62)
(ASKUSER.IM;10 18105 62)
(ASKUSER.IM;10 18369 62)
(ASKUSER.IM;10 18544 62)
(ASKUSER.IM;10 18574 62)
(ASKUSER.IM;10 18828 62)
(ASKUSER.IM;10 18855 62)
(ASKUSER.IM;10 19091 62)
(ASKUSER.IM;10 19330 62)
(ASKUSER.IM;10 19750 62)
(ASKUSER.IM;10 20796 63)
(ASKUSER.IM;10 21123 63)
(ASKUSER.IM;10 21344 63)
(ASKUSER.IM;10 22492 63)
(ASKUSER.IM;10 22865 63)
(ASKUSER.IM;10 23457 63)
(ASKUSER.IM;10 23745 64)
(ASKUSER.IM;10 23782 64)
(ASKUSER.IM;10 24108 64)
(ASKUSER.IM;10 25600 64)
(ASKUSER.IM;10 26530 64)
(ASKUSER.IM;10 28403 65)
(ASKUSER.IM;10 29552 65)