![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to old CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [CSRG BSD Unix] / 43BSDReno / pgrm / pascal / tstpx / src|
Return to old CVS log | Up to [CSRG BSD Unix] / 43BSDReno / pgrm / pascal / tstpx / src |
1.1 root 1: Berkeley Pascal PI -- Version 3.1 (9/7/85)
2:
3: Sun Jul 21 14:56 1985 insan.p
4:
5: 0 TRA4 0
6: 1 program insane(input, output);
7: 2 label
8: 6 GOTO:1 6
9: 3 1;
10: 4 type
11: 5 alfa = packed array[1..10] of char;
12: 6 metaface = (notaface, front, back, top, bottom, left, right);
13: 7 face = front .. right;
14: 8 metapair = (notapair, one2, three4, five6);
15: 9 pair = one2 .. five6;
16: 10 metacolor = (notacolor, red, blue, green, white);
17: 11 color = red .. white;
18: 12 blockno = 1..4;
19: 13 var
20: 14 nosolutions: Boolean;
21: 15 index, halfindex: integer;
22: 16 pointr: integer;
23: 17 datas: array[blockno, face] of alfa;
24: 18 sum: array[blockno, pair, color] of integer;
25: 19 halfsolution: array[blockno, 1..30] of pair;
26: 12 TRA4 12
27:
28: 21 function word(alf: alfa): color;
29: 22 begin
30: 23 if alf = 'red' then
31: 24 word := red else
32: 25 if alf = 'blue' then
33: 26 word := blue else
34: 27 if alf = 'green' then
35: 28 word := green else
36: 29 word := white;
37: patch 12 18
38: 18 BEG:20 0
39: 24 CASE4 12
40: 28 CASE4 1
41: 32 CASE2 22
42: 34 "word"
43: 40 LINO:23
44: 42 RV:5 32 10
45: 48 CONG:10
46: 50 "red"
47: 62 RELG EQ 10
48: 66 IF -2
49: 70 LINO:24
50: 72 LV:5 44
51: 76 CON1:1
52: 78 RANG2:1 4
53: 82 AS2
54: 84 TRA -2
55: patch 66 20
56: 88 LINO:25
57: 90 RV:5 32 10
58: 96 CONG:10
59: 98 "blue"
60: 110 RELG EQ 10
61: 114 IF -2
62: 118 LINO:26
63: 120 LV:5 44
64: 124 CON1:2
65: 126 RANG2:1 4
66: 130 AS2
67: 132 TRA -2
68: patch 114 20
69: 136 LINO:27
70: 138 RV:5 32 10
71: 144 CONG:10
72: 146 "green"
73: 158 RELG EQ 10
74: 162 IF -2
75: 166 LINO:28
76: 168 LV:5 44
77: 172 CON1:3
78: 174 RANG2:1 4
79: 178 AS2
80: 180 TRA -2
81: patch 162 20
82: 184 LINO:29
83: 186 LV:5 44
84: 190 CON1:4
85: 192 RANG2:1 4
86: 196 AS2
87: patch 180 16
88: patch 132 64
89: patch 84 112
90: 198 END
91: patch 18 0
92: 30 end;
93: 200 TRA4 200
94:
95: 32 procedure readin;
96: 33 var
97: 34 hue: alfa;
98: 35 ch: char;
99: 36 cube: blockno;
100: 37 position: face;
101: 206 TRA4 206
102:
103: 39 procedure tone;
104: 40 begin
105: 41 case ch of
106: 42 'r': hue := 'red';
107: 43 'w': hue := 'white';
108: 44 'g': hue := 'green';
109: 45 'b': hue := 'blue';
110: 46 end;
111: patch 206 214
112: 214 BEG:20 0
113: 220 CASE4 0
114: 224 CASE4 1
115: 228 CASE2 40
116: 230 "tone"
117: 236 LINO:41
118: 238 RV1:4 -13
119: 242 CASE1OP:4
120: 244 .=.+8
121: 252 CASE1 114
122: 253 CASE1 119
123: 254 CASE1 103
124: 255 CASE1 98
125: 256 TRA -2
126: patch 242 16
127: 260 LINO:42
128: 262 LV:4 -12
129: 266 CONG:10
130: 268 "red"
131: 280 AS:10
132: 282 TRA -28
133: patch 244 42
134: 286 LINO:43
135: 288 LV:4 -12
136: 292 CONG:10
137: 294 "white"
138: 306 AS:10
139: 308 TRA -54
140: patch 246 68
141: 312 LINO:44
142: 314 LV:4 -12
143: 318 CONG:10
144: 320 "green"
145: 332 AS:10
146: 334 TRA -80
147: patch 248 94
148: 338 LINO:45
149: 340 LV:4 -12
150: 344 CONG:10
151: 346 "blue"
152: 358 AS:10
153: 360 TRA -106
154: patch 256 106
155: 364 END
156: patch 214 0
157: 47 end;
158:
159: 49 begin
160: 50 for cube := 1 to 4 do
161: 51 begin
162: 52 for position := front to right do
163: 53 begin
164: 54 read(ch);
165: 55 tone;
166: 56 datas[cube, position] := hue;
167: 57 end;
168: 58 readln;
169: 59 end;
170: patch 200 366
171: 366 BEG:22 0
172: 372 CASE4 0
173: 376 CASE4 1
174: 380 CASE2 49
175: 382 "readin"
176: 390 LINO:50
177: 392 LV:4 -20
178: 396 CON1:1
179: 398 AS24
180: 400 LV:4 -24
181: 404 CON1:4
182: 406 AS24
183: 408 RV4:4 -20
184: 412 RV4:4 -24
185: 416 REL4 LE
186: 418 IF -2
187: 422 LV:4 -25
188: 426 RV4:4 -24
189: 430 RANG42:1 4
190: 434 AS41
191: 436 LV:4 -25
192: 440 RV4:4 -20
193: 444 RANG42:1 4
194: 448 AS41
195: 450 LV:4 -14
196: 454 RV14:4 -25
197: 458 AS41
198: 460 LINO:52
199: 462 LV:4 -32
200: 466 CON1:1
201: 468 AS24
202: 470 LV:4 -36
203: 474 CON1:6
204: 476 AS24
205: 478 RV4:4 -32
206: 482 RV4:4 -36
207: 486 REL4 LE
208: 488 IF -2
209: 492 LV:4 -37
210: 496 RV4:4 -36
211: 500 RANG42:1 6
212: 504 AS41
213: 506 LV:4 -37
214: 510 RV4:4 -32
215: 514 RANG42:1 6
216: 518 AS41
217: 520 LV:4 -15
218: 524 RV14:4 -37
219: 528 AS41
220: 530 LINO:54
221: 532 UNITINP
222: 534 LV:4 -13
223: 538 READC
224: 540 RSNG2:127
225: 542 AS21
226: 544 LINO:55
227: 546 CALL:2 206
228: 552 LINO:56
229: 554 LV:2 -256
230: 558 RV1:4 -25
231: 562 INX2:60 1 4
232: 568 RV1:4 -37
233: 572 INX2:10 1 6
234: 578 RV:4 -12 10
235: 584 AS:10
236: 586 LINO:52
237: 588 RV4:4 -36
238: 592 LV:4 -37
239: 596 FOR1U:-78
240: patch 488 108
241: 598 LINO:58
242: 600 UNITINP
243: 602 READLN
244: 604 LINO:50
245: 606 RV4:4 -24
246: 610 LV:4 -25
247: 614 FOR1U -168
248: patch 418 198
249: 618 END
250: patch 366 40
251: 60 end;
252: 620 TRA4 620
253:
254: 62 procedure sumcolors;
255: 63 var
256: 64 cube: blockno;
257: 65 side: face;
258: 626 TRA4 626
259: 66 function facepair(aface: face): pair;
260: 67 begin
261: 68 case aface of
262: 69 front, back: facepair := one2;
263: 70 top, bottom: facepair := three4;
264: 71 left, right: facepair := five6
265: 72 end;
266: patch 626 634
267: 634 BEG:24 0
268: 640 CASE4 4
269: 644 CASE4 1
270: 648 CASE2 67
271: 650 "facepair"
272: 660 LINO:68
273: 662 RV1:7 33
274: 666 CASE1OP:6
275: 668 .=.+12
276: 680 CASE1 1
277: 681 CASE1 2
278: 682 CASE1 3
279: 683 CASE1 4
280: 684 CASE1 5
281: 685 CASE1 6
282: 686 TRA -2
283: patch 666 22
284: patch 668 22
285: 690 LINO:69
286: 692 LV:7 36
287: 696 CON1:1
288: 698 RANG2:1 3
289: 702 AS2
290: 704 TRA -20
291: patch 670 40
292: patch 672 40
293: 708 LINO:70
294: 710 LV:7 36
295: 714 CON1:2
296: 716 RANG2:1 3
297: 720 AS2
298: 722 TRA -38
299: patch 674 58
300: patch 676 58
301: 726 LINO:71
302: 728 LV:7 36
303: 732 CON1:3
304: 734 RANG2:1 3
305: 738 AS2
306: 740 TRA -56
307: patch 686 56
308: 744 END
309: patch 634 0
310: 73 end;
311: 746 TRA4 746
312:
313: 75 procedure initializesum;
314: 76 var
315: 77 cube: blockno;
316: 78 side: face;
317: 79 technicolor: color;
318: 80 begin
319: 81 for cube := 1 to 4 do
320: 82 for side := front to right do
321: 83 for technicolor := red to white do
322: 84 sum[cube, facepair(side), technicolor] := 0;
323: patch 746 754
324: 754 BEG:28 0
325: 760 CASE4 0
326: 764 CASE4 1
327: 768 CASE2 80
328: 770 "initializesum"
329: 784 LINO:81
330: 786 LV:6 -8
331: 790 CON1:1
332: 792 AS24
333: 794 LV:6 -12
334: 798 CON1:4
335: 800 AS24
336: 802 RV4:6 -8
337: 806 RV4:6 -12
338: 810 REL4 LE
339: 812 IF -2
340: 816 LV:6 -13
341: 820 RV4:6 -12
342: 824 RANG42:1 4
343: 828 AS41
344: 830 LV:6 -13
345: 834 RV4:6 -8
346: 838 RANG42:1 4
347: 842 AS41
348: 844 LV:6 -1
349: 848 RV14:6 -13
350: 852 AS41
351: 854 LINO:82
352: 856 LV:6 -20
353: 860 CON1:1
354: 862 AS24
355: 864 LV:6 -24
356: 868 CON1:6
357: 870 AS24
358: 872 RV4:6 -20
359: 876 RV4:6 -24
360: 880 REL4 LE
361: 882 IF -2
362: 886 LV:6 -25
363: 890 RV4:6 -24
364: 894 RANG42:1 6
365: 898 AS41
366: 900 LV:6 -25
367: 904 RV4:6 -20
368: 908 RANG42:1 6
369: 912 AS41
370: 914 LV:6 -2
371: 918 RV14:6 -25
372: 922 AS41
373: 924 LINO:83
374: 926 LV:6 -32
375: 930 CON1:1
376: 932 AS24
377: 934 LV:6 -36
378: 938 CON1:4
379: 940 AS24
380: 942 RV4:6 -32
381: 946 RV4:6 -36
382: 950 REL4 LE
383: 952 IF -2
384: 956 LV:6 -37
385: 960 RV4:6 -36
386: 964 RANG42:1 4
387: 968 AS41
388: 970 LV:6 -37
389: 974 RV4:6 -32
390: 978 RANG42:1 4
391: 982 AS41
392: 984 LV:6 -3
393: 988 RV14:6 -37
394: 992 AS41
395: 994 LINO:84
396: 996 LV:2 -448
397: 1000 RV1:6 -13
398: 1004 INX2:48 1 4
399: 1010 PUSH:-4
400: 1012 RV1:6 -25
401: 1016 RANG2:1 6
402: 1020 CALL:2 626
403: 1026 INX2:16 1 3
404: 1032 RV1:6 -37
405: 1036 INX2:4 1 4
406: 1042 CON1
407: 1044 AS24
408: 1046 LINO:83
409: 1048 RV4:6 -36
410: 1052 LV:6 -37
411: 1056 FOR1U:-74
412: patch 952 104
413: 1058 LINO:82
414: 1060 RV4:6 -24
415: 1064 LV:6 -25
416: 1068 FOR1U -158
417: patch 882 188
418: 1072 LINO:81
419: 1074 RV4:6 -12
420: 1078 LV:6 -13
421: 1082 FOR1U -242
422: patch 812 272
423: 1086 END
424: patch 754 40
425: 85 end;
426:
427: 87 begin
428: 88 initializesum;
429: 89 for cube := 1 to 4 do
430: 90 for side := front to right do
431: 91 sum[cube, facepair(side), word(datas[cube,side])] :=
432: 92 sum[cube, facepair(side), word(datas[cube,side])] + 1;
433: patch 620 1090
434: 1090 BEG:24 0
435: 1096 CASE4 0
436: 1100 CASE4 1
437: 1104 CASE2 87
438: 1106 "sumcolors"
439: 1116 LINO:88
440: 1118 CALL:2 746
441: 1124 LINO:89
442: 1126 LV:4 -8
443: 1130 CON1:1
444: 1132 AS24
445: 1134 LV:4 -12
446: 1138 CON1:4
447: 1140 AS24
448: 1142 RV4:4 -8
449: 1146 RV4:4 -12
450: 1150 REL4 LE
451: 1152 IF -2
452: 1156 LV:4 -13
453: 1160 RV4:4 -12
454: 1164 RANG42:1 4
455: 1168 AS41
456: 1170 LV:4 -13
457: 1174 RV4:4 -8
458: 1178 RANG42:1 4
459: 1182 AS41
460: 1184 LV:4 -1
461: 1188 RV14:4 -13
462: 1192 AS41
463: 1194 LINO:90
464: 1196 LV:4 -20
465: 1200 CON1:1
466: 1202 AS24
467: 1204 LV:4 -24
468: 1208 CON1:6
469: 1210 AS24
470: 1212 RV4:4 -20
471: 1216 RV4:4 -24
472: 1220 REL4 LE
473: 1222 IF -2
474: 1226 LV:4 -25
475: 1230 RV4:4 -24
476: 1234 RANG42:1 6
477: 1238 AS41
478: 1240 LV:4 -25
479: 1244 RV4:4 -20
480: 1248 RANG42:1 6
481: 1252 AS41
482: 1254 LV:4 -2
483: 1258 RV14:4 -25
484: 1262 AS41
485: 1264 LINO:91
486: 1266 LV:2 -448
487: 1270 RV1:4 -13
488: 1274 INX2:48 1 4
489: 1280 PUSH:-4
490: 1282 RV1:4 -25
491: 1286 RANG2:1 6
492: 1290 CALL:2 626
493: 1296 INX2:16 1 3
494: 1302 PUSH:-4
495: 1304 LV:2 -256
496: 1308 RV1:4 -13
497: 1312 INX2:60 1 4
498: 1318 RV1:4 -25
499: 1322 INX2:10 1 6
500: 1328 IND:10
501: 1330 CALL:1 12
502: 1336 INX2:4 1 4
503: 1342 LV:2 -448
504: 1346 RV1:4 -13
505: 1350 INX2:48 1 4
506: 1356 PUSH:-4
507: 1358 RV1:4 -25
508: 1362 RANG2:1 6
509: 1366 CALL:2 626
510: 1372 INX2:16 1 3
511: 1378 PUSH:-4
512: 1380 LV:2 -256
513: 1384 RV1:4 -13
514: 1388 INX2:60 1 4
515: 1394 RV1:4 -25
516: 1398 INX2:10 1 6
517: 1404 IND:10
518: 1406 CALL:1 12
519: 1412 INX2:4 1 4
520: 1418 IND4
521: 1420 CON1:1
522: 1422 ADD24
523: 1424 AS4
524: 1426 LINO:90
525: 1428 RV4:4 -24
526: 1432 LV:4 -25
527: 1436 FOR1U -186
528: patch 1222 216
529: 1440 LINO:89
530: 1442 RV4:4 -12
531: 1446 LV:4 -13
532: 1450 FOR1U -270
533: patch 1152 300
534: 1454 END
535: patch 1090 28
536: 93 end;
537: 1456 TRA4 1456
538:
539: 95 procedure find2222;
540: 96 var
541: 97 subtotals: array[red..white] of integer;
542: 98 pair1, pair2, pair3, pair4: pair;
543: 1462 TRA4 1462
544:
545: 100 function two222(pair1, pair2, pair3, pair4: pair): Boolean;
546: 101 var
547: 102 hue: color;
548: 103 begin
549: 104 for hue := red to white do
550: 105 subtotals[hue] :=
551: 106 sum[1, pair1, hue]+
552: 107 sum[2, pair2, hue]+
553: 108 sum[3, pair3, hue]+
554: 109 sum[4, pair4, hue];
555: 110 if (subtotals[red]=2) and
556: 111 (subtotals[blue]=2) and
557: 112 (subtotals[green]=2) and
558: 113 (subtotals[white]=2) then
559: 114 two222 := true else
560: 115 two222 := false;
561: patch 1462 1470
562: 1470 BEG:22 0
563: 1476 CASE4 16
564: 1480 CASE4 1
565: 1484 CASE2 103
566: 1486 "two222"
567: 1494 LINO:104
568: 1496 LV:6 -8
569: 1500 CON1:1
570: 1502 AS24
571: 1504 LV:6 -12
572: 1508 CON1:4
573: 1510 AS24
574: 1512 RV4:6 -8
575: 1516 RV4:6 -12
576: 1520 REL4 LE
577: 1522 IF -2
578: 1526 LV:6 -13
579: 1530 RV4:6 -12
580: 1534 RANG42:1 4
581: 1538 AS41
582: 1540 LV:6 -13
583: 1544 RV4:6 -8
584: 1548 RANG42:1 4
585: 1552 AS41
586: 1554 LV:6 -1
587: 1558 RV14:6 -13
588: 1562 AS41
589: 1564 LINO:105
590: 1566 LV:4 -16
591: 1570 RV1:6 -13
592: 1574 INX2:4 1 4
593: 1580 LV:2 -448
594: 1584 RV1:7 45
595: 1588 INX2:16 1 3
596: 1594 RV1:6 -13
597: 1598 INX2:4 1 4
598: 1604 IND4
599: 1606 LV:2 -448
600: 1610 CON1:48
601: 1612 ADD24
602: 1614 RV1:7 41
603: 1618 INX2:16 1 3
604: 1624 RV1:6 -13
605: 1628 INX2:4 1 4
606: 1634 IND4
607: 1636 ADD4
608: 1638 LV:2 -448
609: 1642 CON1:96
610: 1644 ADD24
611: 1646 RV1:7 37
612: 1650 INX2:16 1 3
613: 1656 RV1:6 -13
614: 1660 INX2:4 1 4
615: 1666 IND4
616: 1668 ADD4
617: 1670 LV:2 -448
618: 1674 CON2 144
619: 1678 ADD24
620: 1680 RV1:7 33
621: 1684 INX2:16 1 3
622: 1690 RV1:6 -13
623: 1694 INX2:4 1 4
624: 1700 IND4
625: 1702 ADD4
626: 1704 AS4
627: 1706 LINO:104
628: 1708 RV4:6 -12
629: 1712 LV:6 -13
630: 1716 FOR1U -166
631: patch 1522 196
632: 1720 LINO:110
633: 1722 LV:4 -16
634: 1726 IND4
635: 1728 CON1:2
636: 1730 REL24 EQ
637: 1732 LV:4 -16
638: 1736 CON1:4
639: 1738 ADD24
640: 1740 IND4
641: 1742 CON1:2
642: 1744 REL24 EQ
643: 1746 AND
644: 1748 LV:4 -16
645: 1752 CON1:8
646: 1754 ADD24
647: 1756 IND4
648: 1758 CON1:2
649: 1760 REL24 EQ
650: 1762 AND
651: 1764 LV:4 -16
652: 1768 CON1:12
653: 1770 ADD24
654: 1772 IND4
655: 1774 CON1:2
656: 1776 REL24 EQ
657: 1778 AND
658: 1780 IF -2
659: 1784 LINO:114
660: 1786 LV:7 48
661: 1790 CON1:1
662: 1792 RSNG2:1
663: 1794 AS2
664: 1796 TRA -2
665: patch 1780 18
666: 1800 LINO:115
667: 1802 LV:7 48
668: 1806 CON1
669: 1808 RSNG2:1
670: 1810 AS2
671: patch 1796 14
672: 1812 END
673: patch 1470 16
674: 116 end;
675: 1814 TRA4 1814
676:
677: 118 procedure listsolution;
678: 119 begin
679: 120 halfsolution[1, halfindex] := pair1;
680: 121 halfsolution[2, halfindex] := pair2;
681: 122 halfsolution[3, halfindex] := pair3;
682: 123 halfsolution[4, halfindex] := pair4;
683: 124 halfindex := halfindex + 1;
684: patch 1814 1822
685: 1822 BEG:28 0
686: 1828 CASE4 0
687: 1832 CASE4 1
688: 1836 CASE2 119
689: 1838 "listsolution"
690: 1852 LINO:120
691: 1854 LV:2 -568
692: 1858 RV4:2 -12
693: 1862 INX4:1 1 30
694: 1868 RV1:4 -17
695: 1872 RANG2:1 3
696: 1876 AS21
697: 1878 LINO:121
698: 1880 LV:2 -568
699: 1884 CON1:30
700: 1886 ADD24
701: 1888 RV4:2 -12
702: 1892 INX4:1 1 30
703: 1898 RV1:4 -18
704: 1902 RANG2:1 3
705: 1906 AS21
706: 1908 LINO:122
707: 1910 LV:2 -568
708: 1914 CON1:60
709: 1916 ADD24
710: 1918 RV4:2 -12
711: 1922 INX4:1 1 30
712: 1928 RV1:4 -19
713: 1932 RANG2:1 3
714: 1936 AS21
715: 1938 LINO:123
716: 1940 LV:2 -568
717: 1944 CON1:90
718: 1946 ADD24
719: 1948 RV4:2 -12
720: 1952 INX4:1 1 30
721: 1958 RV1:4 -20
722: 1962 RANG2:1 3
723: 1966 AS21
724: 1968 LINO:124
725: 1970 LV:2 -12
726: 1974 RV4:2 -12
727: 1978 CON1:1
728: 1980 ADD24
729: 1982 AS4
730: 1984 END
731: patch 1822 0
732: 125 end;
733:
734: 127 begin
735: 128 halfindex := 1;
736: 129 for pair1 := one2 to five6 do
737: 130 for pair2 := one2 to five6 do
738: 131 for pair3 := one2 to five6 do
739: 132 for pair4 := one2 to five6 do
740: 133 if two222(pair1, pair2, pair3, pair4) then
741: 134 listsolution;
742: 135 if halfindex <= 2 then
743: 136 begin
744: 137 nosolutions := true;
745: 138 goto 1;
746: 139 end;
747: patch 1456 1986
748: 1986 BEG:24 0
749: 1992 CASE4 0
750: 1996 CASE4 1
751: 2000 CASE2 127
752: 2002 "find2222"
753: 2012 LINO 128
754: 2016 LV:2 -12
755: 2020 CON1:1
756: 2022 AS24
757: 2024 LINO 129
758: 2028 LV:4 -24
759: 2032 CON1:1
760: 2034 AS24
761: 2036 LV:4 -28
762: 2040 CON1:3
763: 2042 AS24
764: 2044 RV4:4 -24
765: 2048 RV4:4 -28
766: 2052 REL4 LE
767: 2054 IF -2
768: 2058 LV:4 -29
769: 2062 RV4:4 -28
770: 2066 RANG42:1 3
771: 2070 AS41
772: 2072 LV:4 -29
773: 2076 RV4:4 -24
774: 2080 RANG42:1 3
775: 2084 AS41
776: 2086 LV:4 -17
777: 2090 RV14:4 -29
778: 2094 AS41
779: 2096 LINO 130
780: 2100 LV:4 -36
781: 2104 CON1:1
782: 2106 AS24
783: 2108 LV:4 -40
784: 2112 CON1:3
785: 2114 AS24
786: 2116 RV4:4 -36
787: 2120 RV4:4 -40
788: 2124 REL4 LE
789: 2126 IF -2
790: 2130 LV:4 -41
791: 2134 RV4:4 -40
792: 2138 RANG42:1 3
793: 2142 AS41
794: 2144 LV:4 -41
795: 2148 RV4:4 -36
796: 2152 RANG42:1 3
797: 2156 AS41
798: 2158 LV:4 -18
799: 2162 RV14:4 -41
800: 2166 AS41
801: 2168 LINO 131
802: 2172 LV:4 -48
803: 2176 CON1:1
804: 2178 AS24
805: 2180 LV:4 -52
806: 2184 CON1:3
807: 2186 AS24
808: 2188 RV4:4 -48
809: 2192 RV4:4 -52
810: 2196 REL4 LE
811: 2198 IF -2
812: 2202 LV:4 -53
813: 2206 RV4:4 -52
814: 2210 RANG42:1 3
815: 2214 AS41
816: 2216 LV:4 -53
817: 2220 RV4:4 -48
818: 2224 RANG42:1 3
819: 2228 AS41
820: 2230 LV:4 -19
821: 2234 RV14:4 -53
822: 2238 AS41
823: 2240 LINO 132
824: 2244 LV:4 -60
825: 2248 CON1:1
826: 2250 AS24
827: 2252 LV:4 -64
828: 2256 CON1:3
829: 2258 AS24
830: 2260 RV4:4 -60
831: 2264 RV4:4 -64
832: 2268 REL4 LE
833: 2270 IF -2
834: 2274 LV:4 -65
835: 2278 RV4:4 -64
836: 2282 RANG42:1 3
837: 2286 AS41
838: 2288 LV:4 -65
839: 2292 RV4:4 -60
840: 2296 RANG42:1 3
841: 2300 AS41
842: 2302 LV:4 -20
843: 2306 RV14:4 -65
844: 2310 AS41
845: 2312 LINO 133
846: 2316 PUSH:-4
847: 2318 RV1:4 -29
848: 2322 RANG2:1 3
849: 2326 RV1:4 -41
850: 2330 RANG2:1 3
851: 2334 RV1:4 -53
852: 2338 RANG2:1 3
853: 2342 RV1:4 -65
854: 2346 RANG2:1 3
855: 2350 CALL:2 1462
856: 2356 IF -2
857: 2360 LINO 134
858: 2364 CALL:2 1814
859: patch 2356 12
860: 2370 LINO 132
861: 2374 RV4:4 -64
862: 2378 LV:4 -65
863: 2382 FOR1U:-82
864: patch 2270 112
865: 2384 LINO 131
866: 2388 RV4:4 -52
867: 2392 LV:4 -53
868: 2396 FOR1U -170
869: patch 2198 200
870: 2400 LINO 130
871: 2404 RV4:4 -40
872: 2408 LV:4 -41
873: 2412 FOR1U -258
874: patch 2126 288
875: 2416 LINO 129
876: 2420 RV4:4 -28
877: 2424 LV:4 -29
878: 2428 FOR1U -346
879: patch 2054 376
880: 2432 LINO 135
881: 2436 RV4:2 -12
882: 2440 CON1:2
883: 2442 REL24 LE
884: 2444 IF -2
885: 2448 LINO 137
886: 2452 LV:2 -1
887: 2456 CON1:1
888: 2458 RSNG2:1
889: 2460 AS21
890: 2462 LINO 138
891: 2466 TRA4 6
892: patch 2444 26
893: 2472 END
894: patch 1986 68
895: 140 end;
896: 2474 TRA4 2474
897:
898: 142 procedure simultaneous;
899: 143 var
900: 144 done: Boolean;
901: 145 begin
902: 146 nosolutions := false;
903: 147 pointr := 0;
904: 148 done := false;
905: 149 repeat
906: 150 pointr := pointr + 1;
907: 151 repeat
908: 152 index := succ(pointr);
909: 153 if (halfsolution[1, pointr]<>halfsolution[1,index]) and
910: 154 (halfsolution[2, pointr]<>halfsolution[2,index]) and
911: 155 (halfsolution[3, pointr]<>halfsolution[3,index]) and
912: 156 (halfsolution[4, pointr]<>halfsolution[4,index]) then
913: 157 done := true else
914: 158 index := index + 1;
915: 159 until done or (index = pred(halfindex));
916: 160 until done or (pointr = halfindex);
917: 161 if pointr = halfindex then
918: 162 begin
919: 163 nosolutions := true;
920: 164 goto 1;
921: 165 end;
922: patch 2474 2482
923: 2482 BEG:28 0
924: 2488 CASE4 0
925: 2492 CASE4 1
926: 2496 CASE2 145
927: 2498 "simultaneous"
928: 2512 LINO 146
929: 2516 LV:2 -1
930: 2520 CON1
931: 2522 RSNG2:1
932: 2524 AS21
933: 2526 LINO 147
934: 2530 LV:2 -16
935: 2534 CON1
936: 2536 AS24
937: 2538 LINO 148
938: 2542 LV:4 -1
939: 2546 CON1
940: 2548 RSNG2:1
941: 2550 AS21
942: 2552 LINO 150
943: 2556 LV:2 -16
944: 2560 RV4:2 -16
945: 2564 CON1:1
946: 2566 ADD24
947: 2568 AS4
948: 2570 LINO 152
949: 2574 LV:2 -8
950: 2578 RV4:2 -16
951: 2582 SUCC4 -2147483648 2147483647
952: 2592 AS4
953: 2594 LINO 153
954: 2598 LV:2 -568
955: 2602 RV4:2 -16
956: 2606 INX4:1 1 30
957: 2612 IND1
958: 2614 LV:2 -568
959: 2618 RV4:2 -8
960: 2622 INX4:1 1 30
961: 2628 IND1
962: 2630 REL2 NE
963: 2632 LV:2 -568
964: 2636 CON1:30
965: 2638 ADD24
966: 2640 RV4:2 -16
967: 2644 INX4:1 1 30
968: 2650 IND1
969: 2652 LV:2 -568
970: 2656 CON1:30
971: 2658 ADD24
972: 2660 RV4:2 -8
973: 2664 INX4:1 1 30
974: 2670 IND1
975: 2672 REL2 NE
976: 2674 AND
977: 2676 LV:2 -568
978: 2680 CON1:60
979: 2682 ADD24
980: 2684 RV4:2 -16
981: 2688 INX4:1 1 30
982: 2694 IND1
983: 2696 LV:2 -568
984: 2700 CON1:60
985: 2702 ADD24
986: 2704 RV4:2 -8
987: 2708 INX4:1 1 30
988: 2714 IND1
989: 2716 REL2 NE
990: 2718 AND
991: 2720 LV:2 -568
992: 2724 CON1:90
993: 2726 ADD24
994: 2728 RV4:2 -16
995: 2732 INX4:1 1 30
996: 2738 IND1
997: 2740 LV:2 -568
998: 2744 CON1:90
999: 2746 ADD24
1000: 2748 RV4:2 -8
1001: 2752 INX4:1 1 30
1002: 2758 IND1
1003: 2760 REL2 NE
1004: 2762 AND
1005: 2764 IF -2
1006: 2768 LINO 157
1007: 2772 LV:4 -1
1008: 2776 CON1:1
1009: 2778 RSNG2:1
1010: 2780 AS21
1011: 2782 TRA -2
1012: patch 2764 20
1013: 2786 LINO 158
1014: 2790 LV:2 -8
1015: 2794 RV4:2 -8
1016: 2798 CON1:1
1017: 2800 ADD24
1018: 2802 AS4
1019: patch 2782 20
1020: 2804 RV1:4 -1
1021: 2808 RV4:2 -8
1022: 2812 RV4:2 -12
1023: 2816 PRED4 -2147483648 2147483647
1024: 2826 REL4 EQ
1025: 2828 OR
1026: 2830 IF -262
1027: 2834 RV1:4 -1
1028: 2838 RV4:2 -16
1029: 2842 RV4:2 -12
1030: 2846 REL4 EQ
1031: 2848 OR
1032: 2850 IF -300
1033: 2854 LINO 161
1034: 2858 RV4:2 -16
1035: 2862 RV4:2 -12
1036: 2866 REL4 EQ
1037: 2868 IF -2
1038: 2872 LINO 163
1039: 2876 LV:2 -1
1040: 2880 CON1:1
1041: 2882 RSNG2:1
1042: 2884 AS21
1043: 2886 LINO 164
1044: 2890 TRA4 6
1045: patch 2868 26
1046: 2896 END
1047: patch 2482 4
1048: 166 end;
1049: 2898 TRA4 2898
1050:
1051: 168 procedure rearrange;
1052: 169 var
1053: 170 box: blockno;
1054: 171 a, b: pair;
1055: 2904 TRA4 2904
1056:
1057: 173 procedure put(a, b: pair);
1058: 174 var
1059: 175 old1, new1, old2, new2: face;
1060: 176 save1, save2: alfa;
1061: 2910 TRA4 2910
1062:
1063: 178 procedure oldpair(c: pair);
1064: 179 begin
1065: 180 case c of
1066: 181 one2:
1067: 182 begin
1068: 183 old1 := front;
1069: 184 old2 := back;
1070: 185 end;
1071: 186 three4:
1072: 187 begin
1073: 188 old1 := top;
1074: 189 old2 := bottom;
1075: 190 end;
1076: 191 five6:
1077: 192 begin
1078: 193 old1 := left;
1079: 194 old2 := right;
1080: 195 end
1081: 196 end;
1082: patch 2910 2918
1083: 2918 BEG:22 0
1084: 2924 CASE4 4
1085: 2928 CASE4 1
1086: 2932 CASE2 179
1087: 2934 "oldpair"
1088: 2942 LINO 180
1089: 2946 RV1:9 33
1090: 2950 CASE1OP:3
1091: 2952 .=.+6
1092: 2958 CASE1 1
1093: 2959 CASE1 2
1094: 2960 CASE1 3
1095: 2962 TRA -2
1096: patch 2950 14
1097: 2966 LINO 183
1098: 2970 LV:6 -1
1099: 2974 CON1:1
1100: 2976 RANG2:1 6
1101: 2980 AS21
1102: 2982 LINO 184
1103: 2986 LV:6 -3
1104: 2990 CON1:2
1105: 2992 RANG2:1 6
1106: 2996 AS21
1107: 2998 TRA -38
1108: patch 2952 50
1109: 3002 LINO 188
1110: 3006 LV:6 -1
1111: 3010 CON1:3
1112: 3012 RANG2:1 6
1113: 3016 AS21
1114: 3018 LINO 189
1115: 3022 LV:6 -3
1116: 3026 CON1:4
1117: 3028 RANG2:1 6
1118: 3032 AS21
1119: 3034 TRA -74
1120: patch 2954 86
1121: 3038 LINO 193
1122: 3042 LV:6 -1
1123: 3046 CON1:5
1124: 3048 RANG2:1 6
1125: 3052 AS21
1126: 3054 LINO 194
1127: 3058 LV:6 -3
1128: 3062 CON1:6
1129: 3064 RANG2:1 6
1130: 3068 AS21
1131: 3070 TRA -110
1132: patch 2962 110
1133: 3074 END
1134: patch 2918 0
1135: 197 end;
1136: 3076 TRA4 3076
1137: 198 procedure newpair(d: pair);
1138: 199 begin
1139: 200 oldpair(b);
1140: 201 new1 := old1;
1141: 202 new2 := old2;
1142: patch 3076 3082
1143: 3082 BEG:22 0
1144: 3088 CASE4 4
1145: 3092 CASE4 1
1146: 3096 CASE2 199
1147: 3098 "newpair"
1148: 3106 LINO 200
1149: 3110 RV1:7 33
1150: 3114 RANG2:1 3
1151: 3118 CALL:3 2910
1152: 3124 LINO 201
1153: 3128 LV:6 -2
1154: 3132 RV1:6 -1
1155: 3136 RANG2:1 6
1156: 3140 AS21
1157: 3142 LINO 202
1158: 3146 LV:6 -4
1159: 3150 RV1:6 -3
1160: 3154 RANG2:1 6
1161: 3158 AS21
1162: 203 end;
1163: In procedure newpair:
1164: w - variable d is never used
1165: 3160 END
1166: patch 3082 0
1167:
1168: 205 begin
1169: 206 newpair(b);
1170: 207 oldpair(a);
1171: 208 save1 := datas[box, new1];
1172: 209 datas[box, new1] := datas[box, old1];
1173: 210 datas[box, old1] := save1;
1174: 211 save2 := datas[box, new2];
1175: 212 datas[box, new2] := datas[box, old2];
1176: 213 datas[box, old2] := save2;
1177: patch 2904 3162
1178: 3162 BEG:18 0
1179: 3168 CASE4 8
1180: 3172 CASE4 1
1181: 3176 CASE2 205
1182: 3178 "put"
1183: 3182 LINO 206
1184: 3186 RV1:7 33
1185: 3190 RANG2:1 3
1186: 3194 CALL:3 3076
1187: 3200 LINO 207
1188: 3204 RV1:7 37
1189: 3208 RANG2:1 3
1190: 3212 CALL:3 2910
1191: 3218 LINO 208
1192: 3222 LV:6 -16
1193: 3226 LV:2 -256
1194: 3230 RV1:4 -1
1195: 3234 INX2:60 1 4
1196: 3240 RV1:6 -2
1197: 3244 INX2:10 1 6
1198: 3250 IND:10
1199: 3252 AS:10
1200: 3254 LINO 209
1201: 3258 LV:2 -256
1202: 3262 RV1:4 -1
1203: 3266 INX2:60 1 4
1204: 3272 RV1:6 -2
1205: 3276 INX2:10 1 6
1206: 3282 LV:2 -256
1207: 3286 RV1:4 -1
1208: 3290 INX2:60 1 4
1209: 3296 RV1:6 -1
1210: 3300 INX2:10 1 6
1211: 3306 IND:10
1212: 3308 AS:10
1213: 3310 LINO 210
1214: 3314 LV:2 -256
1215: 3318 RV1:4 -1
1216: 3322 INX2:60 1 4
1217: 3328 RV1:6 -1
1218: 3332 INX2:10 1 6
1219: 3338 RV:6 -16 10
1220: 3344 AS:10
1221: 3346 LINO 211
1222: 3350 LV:6 -28
1223: 3354 LV:2 -256
1224: 3358 RV1:4 -1
1225: 3362 INX2:60 1 4
1226: 3368 RV1:6 -4
1227: 3372 INX2:10 1 6
1228: 3378 IND:10
1229: 3380 AS:10
1230: 3382 LINO 212
1231: 3386 LV:2 -256
1232: 3390 RV1:4 -1
1233: 3394 INX2:60 1 4
1234: 3400 RV1:6 -4
1235: 3404 INX2:10 1 6
1236: 3410 LV:2 -256
1237: 3414 RV1:4 -1
1238: 3418 INX2:60 1 4
1239: 3424 RV1:6 -3
1240: 3428 INX2:10 1 6
1241: 3434 IND:10
1242: 3436 AS:10
1243: 3438 LINO 213
1244: 3442 LV:2 -256
1245: 3446 RV1:4 -1
1246: 3450 INX2:60 1 4
1247: 3456 RV1:6 -3
1248: 3460 INX2:10 1 6
1249: 3466 RV:6 -28 10
1250: 3472 AS:10
1251: 3474 END
1252: patch 3162 28
1253: 214 end;
1254:
1255: 216 begin
1256: 217 for box := 1 to 4 do
1257: 218 begin
1258: 219 a := halfsolution[box, pointr];
1259: 220 b := halfsolution[box, index];
1260: 221 if (a=one2) and (b=five6) then
1261: 222 put(five6, three4) else
1262: 223 begin
1263: 224 if a = three4 then
1264: 225 begin
1265: 226 if b = one2 then
1266: 227 begin
1267: 228 put(one2, five6);
1268: 229 put(three4, one2);
1269: 230 put(five6, three4);
1270: 231 end else
1271: 232 begin
1272: 233 put(three4, one2);
1273: 234 put(five6, three4);
1274: 235 end
1275: 236 end else
1276: 237 if b = one2 then
1277: 238 begin
1278: 239 put(one2, three4);
1279: 240 put(five6, one2);
1280: 241 end else
1281: 242 put(five6, one2);
1282: 243 end;
1283: 244 end;
1284: patch 2898 3478
1285: 3478 BEG:24 0
1286: 3484 CASE4 0
1287: 3488 CASE4 1
1288: 3492 CASE2 216
1289: 3494 "rearrange"
1290: 3504 LINO 217
1291: 3508 LV:4 -8
1292: 3512 CON1:1
1293: 3514 AS24
1294: 3516 LV:4 -12
1295: 3520 CON1:4
1296: 3522 AS24
1297: 3524 RV4:4 -8
1298: 3528 RV4:4 -12
1299: 3532 REL4 LE
1300: 3534 IF -2
1301: 3538 LV:4 -13
1302: 3542 RV4:4 -12
1303: 3546 RANG42:1 4
1304: 3550 AS41
1305: 3552 LV:4 -13
1306: 3556 RV4:4 -8
1307: 3560 RANG42:1 4
1308: 3564 AS41
1309: 3566 LV:4 -1
1310: 3570 RV14:4 -13
1311: 3574 AS41
1312: 3576 LINO 219
1313: 3580 LV:4 -2
1314: 3584 LV:2 -568
1315: 3588 RV1:4 -13
1316: 3592 INX2:30 1 4
1317: 3598 RV4:2 -16
1318: 3602 INX4:1 1 30
1319: 3608 IND1
1320: 3610 RANG2:1 3
1321: 3614 AS21
1322: 3616 LINO 220
1323: 3620 LV:4 -3
1324: 3624 LV:2 -568
1325: 3628 RV1:4 -13
1326: 3632 INX2:30 1 4
1327: 3638 RV4:2 -8
1328: 3642 INX4:1 1 30
1329: 3648 IND1
1330: 3650 RANG2:1 3
1331: 3654 AS21
1332: 3656 LINO 221
1333: 3660 RV1:4 -2
1334: 3664 CON1:1
1335: 3666 REL2 EQ
1336: 3668 RV1:4 -3
1337: 3672 CON1:3
1338: 3674 REL2 EQ
1339: 3676 AND
1340: 3678 IF -2
1341: 3682 LINO 222
1342: 3686 CON1:3
1343: 3688 RANG2:1 3
1344: 3692 CON1:2
1345: 3694 RANG2:1 3
1346: 3698 CALL:2 2904
1347: 3704 TRA -2
1348: patch 3678 28
1349: 3708 LINO 224
1350: 3712 RV1:4 -2
1351: 3716 CON1:2
1352: 3718 REL2 EQ
1353: 3720 IF -2
1354: 3724 LINO 226
1355: 3728 RV1:4 -3
1356: 3732 CON1:1
1357: 3734 REL2 EQ
1358: 3736 IF -2
1359: 3740 LINO 228
1360: 3744 CON1:1
1361: 3746 RANG2:1 3
1362: 3750 CON1:3
1363: 3752 RANG2:1 3
1364: 3756 CALL:2 2904
1365: 3762 LINO 229
1366: 3766 CON1:2
1367: 3768 RANG2:1 3
1368: 3772 CON1:1
1369: 3774 RANG2:1 3
1370: 3778 CALL:2 2904
1371: 3784 LINO 230
1372: 3788 CON1:3
1373: 3790 RANG2:1 3
1374: 3794 CON1:2
1375: 3796 RANG2:1 3
1376: 3800 CALL:2 2904
1377: 3806 TRA -2
1378: patch 3736 72
1379: 3810 LINO 233
1380: 3814 CON1:2
1381: 3816 RANG2:1 3
1382: 3820 CON1:1
1383: 3822 RANG2:1 3
1384: 3826 CALL:2 2904
1385: 3832 LINO 234
1386: 3836 CON1:3
1387: 3838 RANG2:1 3
1388: 3842 CON1:2
1389: 3844 RANG2:1 3
1390: 3848 CALL:2 2904
1391: patch 3806 46
1392: 3854 TRA -2
1393: patch 3720 136
1394: 3858 LINO 237
1395: 3862 RV1:4 -3
1396: 3866 CON1:1
1397: 3868 REL2 EQ
1398: 3870 IF -2
1399: 3874 LINO 239
1400: 3878 CON1:1
1401: 3880 RANG2:1 3
1402: 3884 CON1:2
1403: 3886 RANG2:1 3
1404: 3890 CALL:2 2904
1405: 3896 LINO 240
1406: 3900 CON1:3
1407: 3902 RANG2:1 3
1408: 3906 CON1:1
1409: 3908 RANG2:1 3
1410: 3912 CALL:2 2904
1411: 3918 TRA -2
1412: patch 3870 50
1413: 3922 LINO 242
1414: 3926 CON1:3
1415: 3928 RANG2:1 3
1416: 3932 CON1:1
1417: 3934 RANG2:1 3
1418: 3938 CALL:2 2904
1419: patch 3918 24
1420: patch 3854 88
1421: patch 3704 238
1422: 3944 LINO 217
1423: 3948 RV4:4 -12
1424: 3952 LV:4 -13
1425: 3956 FOR1U -394
1426: patch 3534 424
1427: 3960 END
1428: patch 3478 16
1429: 245 end;
1430: 3962 TRA4 3962
1431:
1432: 247 procedure correct;
1433: 248 var
1434: 249 list: array[1..8] of integer;
1435: 250 done: Boolean;
1436: 251 side: face;
1437: 252 counter: integer;
1438: 3968 TRA4 3968
1439:
1440: 254 procedure check;
1441: 255 var
1442: 256 delux: array[red..white] of integer;
1443: 257 kolor: color;
1444: 258 counter: integer;
1445: 259 begin
1446: 260 done := true;
1447: 261 for kolor := red to white do
1448: 262 for counter := 1 to 4 do
1449: 263 delux[kolor] := 0;
1450: 264 for counter := 1 to 4 do
1451: 265 begin
1452: 266 delux[word(datas[counter,side])] :=
1453: 267 delux[word(datas[counter,side])] + 1;
1454: 268 if delux[word(datas[counter,side])] >= 2 then
1455: 269 done := false;
1456: 270 end;
1457: patch 3968 3974
1458: 3974 BEG:20 0
1459: 3980 CASE4 0
1460: 3984 CASE4 1
1461: 3988 CASE2 259
1462: 3990 "check"
1463: 3996 LINO 260
1464: 4000 LV:4 -33
1465: 4004 CON1:1
1466: 4006 RSNG2:1
1467: 4008 AS21
1468: 4010 LINO 261
1469: 4014 LV:6 -28
1470: 4018 CON1:1
1471: 4020 AS24
1472: 4022 LV:6 -32
1473: 4026 CON1:4
1474: 4028 AS24
1475: 4030 RV4:6 -28
1476: 4034 RV4:6 -32
1477: 4038 REL4 LE
1478: 4040 IF -2
1479: 4044 LV:6 -33
1480: 4048 RV4:6 -32
1481: 4052 RANG42:1 4
1482: 4056 AS41
1483: 4058 LV:6 -33
1484: 4062 RV4:6 -28
1485: 4066 RANG42:1 4
1486: 4070 AS41
1487: 4072 LV:6 -17
1488: 4076 RV14:6 -33
1489: 4080 AS41
1490: 4082 LINO 262
1491: 4086 LV:6 -40
1492: 4090 CON1:1
1493: 4092 AS24
1494: 4094 LV:6 -44
1495: 4098 CON1:4
1496: 4100 AS24
1497: 4102 RV4:6 -40
1498: 4106 RV4:6 -44
1499: 4110 REL4 LE
1500: 4112 IF -2
1501: 4116 LV:6 -48
1502: 4120 RV4:6 -44
1503: 4124 AS4
1504: 4126 LV:6 -48
1505: 4130 RV4:6 -40
1506: 4134 AS4
1507: 4136 LV:6 -24
1508: 4140 RV4:6 -48
1509: 4144 AS4
1510: 4146 LINO 263
1511: 4150 LV:6 -16
1512: 4154 RV1:6 -33
1513: 4158 INX2:4 1 4
1514: 4164 CON1
1515: 4166 AS24
1516: 4168 LINO 262
1517: 4172 RV4:6 -44
1518: 4176 LV:6 -48
1519: 4180 FOR4U:-46
1520: patch 4112 68
1521: 4182 LINO 261
1522: 4186 RV4:6 -32
1523: 4190 LV:6 -33
1524: 4194 FOR1U:-124
1525: patch 4040 154
1526: 4196 LINO 264
1527: 4200 LV:6 -52
1528: 4204 CON1:1
1529: 4206 AS24
1530: 4208 LV:6 -56
1531: 4212 CON1:4
1532: 4214 AS24
1533: 4216 RV4:6 -52
1534: 4220 RV4:6 -56
1535: 4224 REL4 LE
1536: 4226 IF -2
1537: 4230 LV:6 -60
1538: 4234 RV4:6 -56
1539: 4238 AS4
1540: 4240 LV:6 -60
1541: 4244 RV4:6 -52
1542: 4248 AS4
1543: 4250 LV:6 -24
1544: 4254 RV4:6 -60
1545: 4258 AS4
1546: 4260 LINO 266
1547: 4264 LV:6 -16
1548: 4268 PUSH:-4
1549: 4270 LV:2 -256
1550: 4274 RV4:6 -60
1551: 4278 INX4:60 1 4
1552: 4284 RV1:4 -34
1553: 4288 INX2:10 1 6
1554: 4294 IND:10
1555: 4296 CALL:1 12
1556: 4302 INX2:4 1 4
1557: 4308 LV:6 -16
1558: 4312 PUSH:-4
1559: 4314 LV:2 -256
1560: 4318 RV4:6 -60
1561: 4322 INX4:60 1 4
1562: 4328 RV1:4 -34
1563: 4332 INX2:10 1 6
1564: 4338 IND:10
1565: 4340 CALL:1 12
1566: 4346 INX2:4 1 4
1567: 4352 IND4
1568: 4354 CON1:1
1569: 4356 ADD24
1570: 4358 AS4
1571: 4360 LINO 268
1572: 4364 LV:6 -16
1573: 4368 PUSH:-4
1574: 4370 LV:2 -256
1575: 4374 RV4:6 -60
1576: 4378 INX4:60 1 4
1577: 4384 RV1:4 -34
1578: 4388 INX2:10 1 6
1579: 4394 IND:10
1580: 4396 CALL:1 12
1581: 4402 INX2:4 1 4
1582: 4408 IND4
1583: 4410 CON1:2
1584: 4412 REL24 GE
1585: 4414 IF -2
1586: 4418 LINO 269
1587: 4422 LV:4 -33
1588: 4426 CON1
1589: 4428 RSNG2:1
1590: 4430 AS21
1591: patch 4414 16
1592: 4432 LINO 264
1593: 4436 RV4:6 -56
1594: 4440 LV:6 -60
1595: 4444 FOR4U -198
1596: patch 4226 220
1597: 4448 END
1598: patch 3974 60
1599: 271 end;
1600: 4450 TRA4 4450
1601:
1602: 273 procedure rotate;
1603: 274 var
1604: 275 save: alfa;
1605: 276 opposite: face;
1606: 277 begin
1607: 278 if side = back then
1608: 279 opposite := front else
1609: 280 if side = front then
1610: 281 opposite := back else
1611: 282 if side = top then
1612: 283 opposite := bottom else
1613: 284 if side = bottom then
1614: 285 opposite := top;
1615: 286 save := datas[list[counter], side];
1616: 287 datas[list[counter], side] := datas[list[counter], opposite];
1617: 288 datas[list[counter], opposite] := save;
1618: patch 4450 4458
1619: 4458 BEG:22 0
1620: 4464 CASE4 0
1621: 4468 CASE4 1
1622: 4472 CASE2 277
1623: 4474 "rotate"
1624: 4482 LINO 278
1625: 4486 RV1:4 -34
1626: 4490 CON1:2
1627: 4492 REL2 EQ
1628: 4494 IF -2
1629: 4498 LINO 279
1630: 4502 LV:6 -13
1631: 4506 CON1:1
1632: 4508 RANG2:1 6
1633: 4512 AS21
1634: 4514 TRA -2
1635: patch 4494 22
1636: 4518 LINO 280
1637: 4522 RV1:4 -34
1638: 4526 CON1:1
1639: 4528 REL2 EQ
1640: 4530 IF -2
1641: 4534 LINO 281
1642: 4538 LV:6 -13
1643: 4542 CON1:2
1644: 4544 RANG2:1 6
1645: 4548 AS21
1646: 4550 TRA -2
1647: patch 4530 22
1648: 4554 LINO 282
1649: 4558 RV1:4 -34
1650: 4562 CON1:3
1651: 4564 REL2 EQ
1652: 4566 IF -2
1653: 4570 LINO 283
1654: 4574 LV:6 -13
1655: 4578 CON1:4
1656: 4580 RANG2:1 6
1657: 4584 AS21
1658: 4586 TRA -2
1659: patch 4566 22
1660: 4590 LINO 284
1661: 4594 RV1:4 -34
1662: 4598 CON1:4
1663: 4600 REL2 EQ
1664: 4602 IF -2
1665: 4606 LINO 285
1666: 4610 LV:6 -13
1667: 4614 CON1:3
1668: 4616 RANG2:1 6
1669: 4620 AS21
1670: patch 4602 18
1671: patch 4586 34
1672: patch 4550 70
1673: patch 4514 106
1674: 4622 LINO 286
1675: 4626 LV:6 -12
1676: 4630 LV:2 -256
1677: 4634 LV:4 -32
1678: 4638 RV4:4 -40
1679: 4642 INX4:4 1 8
1680: 4648 IND4
1681: 4650 INX4:60 1 4
1682: 4656 RV1:4 -34
1683: 4660 INX2:10 1 6
1684: 4666 IND:10
1685: 4668 AS:10
1686: 4670 LINO 287
1687: 4674 LV:2 -256
1688: 4678 LV:4 -32
1689: 4682 RV4:4 -40
1690: 4686 INX4:4 1 8
1691: 4692 IND4
1692: 4694 INX4:60 1 4
1693: 4700 RV1:4 -34
1694: 4704 INX2:10 1 6
1695: 4710 LV:2 -256
1696: 4714 LV:4 -32
1697: 4718 RV4:4 -40
1698: 4722 INX4:4 1 8
1699: 4728 IND4
1700: 4730 INX4:60 1 4
1701: 4736 RV1:6 -13
1702: 4740 INX2:10 1 6
1703: 4746 IND:10
1704: 4748 AS:10
1705: 4750 LINO 288
1706: 4754 LV:2 -256
1707: 4758 LV:4 -32
1708: 4762 RV4:4 -40
1709: 4766 INX4:4 1 8
1710: 4772 IND4
1711: 4774 INX4:60 1 4
1712: 4780 RV1:6 -13
1713: 4784 INX2:10 1 6
1714: 4790 RV:6 -12 10
1715: 4796 AS:10
1716: 4798 END
1717: patch 4458 16
1718: 289 end;
1719:
1720: 291 begin
1721: 292 list[1] := 4;
1722: 293 list[2] := 3;
1723: 294 list[3] := 4;
1724: 295 list[4] := 2;
1725: 296 list[5] := 4;
1726: 297 list[6] := 3;
1727: 298 list[7] := 4;
1728: 299 list[8] := 3;
1729: 300 for side := back to top do
1730: 301 begin
1731: 302 counter := 0;
1732: 303 check;
1733: 304 while not done do
1734: 305 begin
1735: 306 counter := counter + 1;
1736: 307 rotate;
1737: 308 check;
1738: 309 end;
1739: 310 end
1740: patch 3962 4802
1741: 4802 BEG:22 0
1742: 4808 CASE4 0
1743: 4812 CASE4 1
1744: 4816 CASE2 291
1745: 4818 "correct"
1746: 4826 LINO 292
1747: 4830 LV:4 -32
1748: 4834 CON1:4
1749: 4836 AS24
1750: 4838 LINO 293
1751: 4842 LV:4 -32
1752: 4846 CON1:4
1753: 4848 ADD24
1754: 4850 CON1:3
1755: 4852 AS24
1756: 4854 LINO 294
1757: 4858 LV:4 -32
1758: 4862 CON1:8
1759: 4864 ADD24
1760: 4866 CON1:4
1761: 4868 AS24
1762: 4870 LINO 295
1763: 4874 LV:4 -32
1764: 4878 CON1:12
1765: 4880 ADD24
1766: 4882 CON1:2
1767: 4884 AS24
1768: 4886 LINO 296
1769: 4890 LV:4 -32
1770: 4894 CON1:16
1771: 4896 ADD24
1772: 4898 CON1:4
1773: 4900 AS24
1774: 4902 LINO 297
1775: 4906 LV:4 -32
1776: 4910 CON1:20
1777: 4912 ADD24
1778: 4914 CON1:3
1779: 4916 AS24
1780: 4918 LINO 298
1781: 4922 LV:4 -32
1782: 4926 CON1:24
1783: 4928 ADD24
1784: 4930 CON1:4
1785: 4932 AS24
1786: 4934 LINO 299
1787: 4938 LV:4 -32
1788: 4942 CON1:28
1789: 4944 ADD24
1790: 4946 CON1:3
1791: 4948 AS24
1792: 4950 LINO 300
1793: 4954 LV:4 -44
1794: 4958 CON1:2
1795: 4960 AS24
1796: 4962 LV:4 -48
1797: 4966 CON1:3
1798: 4968 AS24
1799: 4970 RV4:4 -44
1800: 4974 RV4:4 -48
1801: 4978 REL4 LE
1802: 4980 IF -2
1803: 4984 LV:4 -49
1804: 4988 RV4:4 -48
1805: 4992 RANG42:1 6
1806: 4996 AS41
1807: 4998 LV:4 -49
1808: 5002 RV4:4 -44
1809: 5006 RANG42:1 6
1810: 5010 AS41
1811: 5012 LV:4 -34
1812: 5016 RV14:4 -49
1813: 5020 AS41
1814: 5022 LINO 302
1815: 5026 LV:4 -40
1816: 5030 CON1
1817: 5032 AS24
1818: 5034 LINO 303
1819: 5038 CALL:2 3968
1820: 5044 LINO 304
1821: 5048 RV1:4 -33
1822: 5052 NOT
1823: 5054 IF -2
1824: 5058 LINO 306
1825: 5062 LV:4 -40
1826: 5066 RV4:4 -40
1827: 5070 CON1:1
1828: 5072 ADD24
1829: 5074 AS4
1830: 5076 LINO 307
1831: 5080 CALL:2 4450
1832: 5086 LINO 308
1833: 5090 CALL:2 3968
1834: 5096 TRA -54
1835: patch 5054 44
1836: 5100 LINO 300
1837: 5104 RV4:4 -48
1838: 5108 LV:4 -49
1839: 5112 FOR1U:-102
1840: patch 4980 132
1841: 5114 END
1842: patch 4802 52
1843: 311 end;
1844: 5116 TRA4 5116
1845:
1846: 313 procedure printout;
1847: 314 var
1848: 315 space: integer;
1849: 316 cube: integer;
1850: 317 side: face;
1851: 318 begin
1852: 319 if nosolutions then
1853: 320 writeln('no solutions') else
1854: 321 begin
1855: 322 writeln('solution to instant insanity');
1856: 323 for cube := 1 to 4 do
1857: 324 begin
1858: 325 write(cube, ' ');
1859: 326 for side := front to bottom do
1860: 327 write(datas[cube, side]);
1861: 328 writeln;
1862: 329 end;
1863: 330 end;
1864: patch 5116 5122
1865: 5122 BEG:24 0
1866: 5128 CASE4 0
1867: 5132 CASE4 1
1868: 5136 CASE2 318
1869: 5138 "printout"
1870: 5148 LINO 319
1871: 5152 RV1:2 -1
1872: 5156 IF -2
1873: 5160 LINO 320
1874: 5164 UNITOUT
1875: 5166 FILE
1876: 5168 CON14:1
1877: 5170 CON14:12
1878: 5172 LVCON:14
1879: 5174 "no solutions"
1880: 5188 WRITES:16
1881: 5190 WRITLN
1882: 5192 TRA -2
1883: patch 5156 38
1884: 5196 LINO 322
1885: 5200 UNITOUT
1886: 5202 FILE
1887: 5204 CON14:1
1888: 5206 CON14:28
1889: 5208 LVCON:30
1890: 5210 "solution to instant insanity"
1891: 5240 WRITES:16
1892: 5242 WRITLN
1893: 5244 LINO 323
1894: 5248 LV:4 -16
1895: 5252 CON1:1
1896: 5254 AS24
1897: 5256 LV:4 -20
1898: 5260 CON1:4
1899: 5262 AS24
1900: 5264 RV4:4 -16
1901: 5268 RV4:4 -20
1902: 5272 REL4 LE
1903: 5274 IF -2
1904: 5278 LV:4 -24
1905: 5282 RV4:4 -20
1906: 5286 AS4
1907: 5288 LV:4 -24
1908: 5292 RV4:4 -16
1909: 5296 AS4
1910: 5298 LV:4 -8
1911: 5302 RV4:4 -24
1912: 5306 AS4
1913: 5308 LINO 325
1914: 5312 UNITOUT
1915: 5314 RV4:4 -24
1916: 5318 LVCON:6
1917: 5320 "%10D"
1918: 5326 FILE
1919: 5328 WRITEF:12
1920: 5330 FILE
1921: 5332 CON14:1
1922: 5334 CON14:3
1923: 5336 LVCON:4
1924: 5338 " "
1925: 5342 WRITES:16
1926: 5344 LINO 326
1927: 5348 LV:4 -28
1928: 5352 CON1:1
1929: 5354 AS24
1930: 5356 LV:4 -32
1931: 5360 CON1:4
1932: 5362 AS24
1933: 5364 RV4:4 -28
1934: 5368 RV4:4 -32
1935: 5372 REL4 LE
1936: 5374 IF -2
1937: 5378 LV:4 -33
1938: 5382 RV4:4 -32
1939: 5386 RANG42:1 6
1940: 5390 AS41
1941: 5392 LV:4 -33
1942: 5396 RV4:4 -28
1943: 5400 RANG42:1 6
1944: 5404 AS41
1945: 5406 LV:4 -9
1946: 5410 RV14:4 -33
1947: 5414 AS41
1948: 5416 LINO 327
1949: 5420 UNITOUT
1950: 5422 FILE
1951: 5424 CON14:1
1952: 5426 CON14:10
1953: 5428 LV:2 -256
1954: 5432 RV4:4 -24
1955: 5436 INX4:60 1 4
1956: 5442 RV1:4 -33
1957: 5446 INX2:10 1 6
1958: 5452 WRITES:16
1959: 5454 LINO 326
1960: 5458 RV4:4 -32
1961: 5462 LV:4 -33
1962: 5466 FOR1U:-62
1963: patch 5374 92
1964: 5468 LINO 328
1965: 5472 UNITOUT
1966: 5474 WRITLN
1967: 5476 LINO 323
1968: 5480 RV4:4 -20
1969: 5484 LV:4 -24
1970: 5488 FOR4U -194
1971: patch 5274 216
1972: patch 5192 298
1973: 331 end;
1974: In procedure printout:
1975: w - variable space is neither used nor set
1976: 5492 END
1977: patch 5122 36
1978:
1979: 333 begin
1980: 334 reset(input);
1981: 335 readin;
1982: 336 sumcolors;
1983: 337 find2222;
1984: 338 simultaneous;
1985: 339 rearrange;
1986: 340 correct;
1987: 341 1:
1988: 342 printout;
1989: patch 0 5494
1990: 5494 BEG:22 0
1991: 5500 CASE4 0
1992: 5504 CASE4 1
1993: 5508 CASE2 333
1994: 5510 "insane"
1995: 5518 LINO 334
1996: 5522 CON14
1997: 5524 CON14
1998: 5526 CON4 0
1999: 5532 RV4 -8
2000: 5536 RESET
2001: 5538 LINO 335
2002: 5542 CALL:1 200
2003: 5548 LINO 336
2004: 5552 CALL:1 620
2005: 5558 LINO 337
2006: 5562 CALL:1 1456
2007: 5568 LINO 338
2008: 5572 CALL:1 2474
2009: 5578 LINO 339
2010: 5582 CALL:1 2898
2011: 5588 LINO 340
2012: 5592 CALL:1 3962
2013: patch 6 5598
2014: 5598 LINO 342
2015: 5602 CALL:1 5116
2016: 343 end.
2017: In program insane:
2018: w - type metacolor is never used
2019: w - constant notacolor is never used
2020: w - type metapair is never used
2021: w - type metaface is never used
2022: w - constant notapair is never used
2023: w - constant notaface is never used
2024: 5608 END
2025: patch 5494 568
2026: 344 {
2027: 345 wbggrb
2028: 346 wbrgrr
2029: 347 wbgwrg
2030: 348 wrgwbr
2031: 349 }
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.