/[mojave]/metaprl/theories/czf/czf_itt_cyclic_subgroup.prla
ViewVC logotype

Diff of /metaprl/theories/czf/czf_itt_cyclic_subgroup.prla

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3569 by xiny, Wed Apr 3 05:29:19 2002 UTC revision 3570 by xiny, Tue Apr 9 05:59:41 2002 UTC
# Line 1039  Line 1039 
1039  T       t386    o b258 b385  T       t386    o b258 b385
1040  B       b386    t386  B       b386    t386
1041  P       p388    Number 22  P       p388    Number 22
 P       p389    Number 43  
 O       o389    location p388 p389  
1042  P       p390    String Czf_itt_equiv  P       p390    String Czf_itt_equiv
1043  O       o390    parent p390  O       o390    parent p390
1044  T       t390    o390  T       t390    o390
# Line 1095  Line 1093 
1093  B       b533    t350  B       b533    t350
1094  T       t533    o1 b533  T       t533    o1 b533
1095  B       b594    t533  B       b594    t533
1096    P       p4      Number 47
1097    O       o14     location p388 p4
1098    P       p14     String Czf_itt_group_bvd
1099    O       o20     parent p14
1100    T       t243    o20
1101    B       b243    t243
1102    T       t298    o b243 b4
1103    B       b298    t298
1104    T       t299    o b298 b4
1105    B       b299    t299
1106    T       t300    o2 b298 b299 b386
1107    B       b300    t300
1108    T       t303    o14 b300
1109    B       b303    t303
1110    P       p309    Number 48
1111  T       t594    o2 b391 b4 b386  T       t594    o2 b391 b4 b386
1112  B       b599    t594  B       b599    t594
 T       t599    o389 b599  
 B       b633    t599  
 P       p409    Number 44  
 P       p410    Number 68  
 O       o410    location p409 p410  
1113  P       p411    String Czf_itt_subgroup  P       p411    String Czf_itt_subgroup
1114  O       o411    parent p411  O       o411    parent p411
1115  T       t411    o411  T       t411    o411
# Line 1120  Line 1128 
1128  B       b416    t416  B       b416    t416
1129  T       t417    o2 b412 b416 b386  T       t417    o2 b412 b416 b386
1130  B       b417    t417  B       b417    t417
 T       t418    o410 b417  
 B       b418    t418  
1131  P       p418    Number 69  P       p418    Number 69
1132  P       p419    Number 91  O       o310    location p309 p418
1133  O       o419    location p418 p419  T       t330    o310 b599
1134    B       b330    t330
1135    P       p337    Number 70
1136    P       p352    Number 94
1137    O       o352    location p337 p352
1138    T       t361    o352 b417
1139    B       b362    t361
1140    P       p367    Number 95
1141    P       p374    Number 117
1142    O       o374    location p367 p374
1143  T       t419    o2 b399 b4 b386  T       t419    o2 b399 b4 b386
1144  B       b419    t419  B       b419    t419
1145  T       t420    o419 b419  T       t387    o374 b419
1146  B       b420    t420  B       b387    t387
1147  P       p420    Number 92  P       p387    Number 118
1148  P       p421    Number 112  P       p392    Number 138
1149  O       o421    location p420 p421  O       o392    location p387 p392
1150  T       t421    o2 b71 b4 b386  T       t421    o2 b71 b4 b386
1151  B       b421    t421  B       b421    t421
1152  T       t422    o421 b421  T       t402    o392 b421
1153  B       b422    t422  B       b402    t402
1154  P       p422    Number 114  P       p402    Number 140
 P       p423    Number 143  
 O       o423    location p422 p423  
1155  NSummary!summary_item   summary_item    summary_item Summary  NSummary!summary_item   summary_item    summary_item Summary
1156  O       o424    summary_item  O       o424    summary_item
1157  NOcaml!str_open str_open        str_open Ocaml  NOcaml!str_open str_open        str_open Ocaml
 O       o425    str_open p422 p423  
1158  NOcaml!string   string  string Ocaml  NOcaml!string   string  string Ocaml
1159  P       p425    String Refiner  P       p425    String Refiner
1160  O       o426    string p425  O       o426    string p425
# Line 1158  Line 1170 
1170  B       b429    t429  B       b429    t429
1171  T       t430    o b426 b429  T       t430    o b426 b429
1172  B       b430    t430  B       b430    t430
 T       t431    o425 b430  
 B       b431    t431  
 T       t432    o424 b431  
 B       b432    t432  
 T       t433    o423 b432  
 B       b433    t433  
 P       p433    Number 144  
1173  P       p434    Number 169  P       p434    Number 169
1174  O       o434    location p433 p434  O       o402    location p402 p434
1175  O       o435    str_open p433 p434  O       o403    str_open p402 p434
1176    T       t403    o403 b430
1177    B       b403    t403
1178    T       t404    o424 b403
1179    B       b404    t404
1180    T       t405    o402 b404
1181    B       b405    t405
1182  P       p435    String Term  P       p435    String Term
1183  O       o436    string p435  O       o436    string p435
1184  T       t436    o436  T       t436    o436
# Line 1178  Line 1189 
1189  B       b438    t438  B       b438    t438
1190  T       t439    o b426 b438  T       t439    o b426 b438
1191  B       b439    t439  B       b439    t439
 T       t440    o435 b439  
 B       b440    t440  
 T       t441    o424 b440  
 B       b441    t441  
 T       t442    o434 b441  
 B       b442    t442  
1192  P       p442    Number 170  P       p442    Number 170
1193  P       p443    Number 197  P       p405    Number 195
1194  O       o443    location p442 p443  O       o405    location p442 p405
1195  O       o444    str_open p442 p443  O       o406    str_open p442 p405
1196    T       t406    o406 b439
1197    B       b406    t406
1198    T       t423    o424 b406
1199    B       b424    t423
1200    T       t424    o405 b424
1201    B       b425    t424
1202    P       p427    Number 196
1203    P       p428    Number 223
1204    O       o428    location p427 p428
1205    O       o429    str_open p427 p428
1206  P       p444    String TermOp  P       p444    String TermOp
1207  O       o445    string p444  O       o445    string p444
1208  T       t445    o445  T       t445    o445
# Line 1198  Line 1213 
1213  B       b447    t447  B       b447    t447
1214  T       t448    o b426 b447  T       t448    o b426 b447
1215  B       b448    t448  B       b448    t448
1216  T       t449    o444 b448  T       t434    o429 b448
1217  B       b449    t449  B       b434    t434
1218  T       t450    o424 b449  T       t435    o424 b434
1219  B       b450    t450  B       b435    t435
1220  T       t451    o443 b450  T       t443    o428 b435
1221  B       b451    t451  B       b443    t443
1222  P       p451    Number 198  P       p445    Number 224
1223  P       p452    Number 227  P       p446    Number 253
1224  O       o452    location p451 p452  O       o446    location p445 p446
1225  O       o453    str_open p451 p452  O       o447    str_open p445 p446
1226  P       p453    String TermAddr  P       p453    String TermAddr
1227  O       o454    string p453  O       o454    string p453
1228  T       t454    o454  T       t454    o454
# Line 1218  Line 1233 
1233  B       b456    t456  B       b456    t456
1234  T       t457    o b426 b456  T       t457    o b426 b456
1235  B       b457    t457  B       b457    t457
1236  T       t458    o453 b457  T       t452    o447 b457
1237  B       b458    t458  B       b452    t452
1238  T       t459    o424 b458  T       t453    o424 b452
1239  B       b459    t459  B       b453    t453
1240  T       t460    o452 b459  T       t461    o446 b453
1241  B       b460    t460  B       b461    t461
1242  P       p460    Number 228  P       p463    Number 254
1243  P       p461    Number 256  P       p464    Number 282
1244  O       o461    location p460 p461  O       o464    location p463 p464
1245  O       o462    str_open p460 p461  O       o465    str_open p463 p464
1246  P       p462    String TermMan  P       p462    String TermMan
1247  O       o463    string p462  O       o463    string p462
1248  T       t463    o463  T       t463    o463
# Line 1238  Line 1253 
1253  B       b465    t465  B       b465    t465
1254  T       t466    o b426 b465  T       t466    o b426 b465
1255  B       b466    t466  B       b466    t466
1256  T       t467    o462 b466  T       t470    o465 b466
1257  B       b467    t467  B       b470    t470
1258  T       t468    o424 b467  T       t471    o424 b470
1259  B       b468    t468  B       b471    t471
1260  T       t469    o461 b468  T       t480    o464 b471
1261  B       b469    t469  B       b488    t480
1262  P       p469    Number 257  P       p490    Number 283
1263  P       p470    Number 287  P       p491    Number 313
1264  O       o470    location p469 p470  O       o491    location p490 p491
1265  O       o471    str_open p469 p470  O       o492    str_open p490 p491
1266  P       p471    String TermSubst  P       p471    String TermSubst
1267  O       o472    string p471  O       o472    string p471
1268  T       t472    o472  T       t472    o472
# Line 1258  Line 1273 
1273  B       b474    t474  B       b474    t474
1274  T       t475    o b426 b474  T       t475    o b426 b474
1275  B       b475    t475  B       b475    t475
1276  T       t476    o471 b475  T       t497    o492 b475
1277  B       b476    t476  B       b497    t497
1278  T       t477    o424 b476  T       t498    o424 b497
1279  B       b477    t477  B       b498    t498
1280  T       t478    o470 b477  T       t504    o491 b498
1281  B       b478    t478  B       b504    t504
1282  P       p478    Number 288  P       p506    Number 314
1283  P       p479    Number 315  P       p507    Number 341
1284  O       o479    location p478 p479  O       o508    location p506 p507
1285  O       o480    str_open p478 p479  O       o509    str_open p506 p507
1286  P       p480    String Refine  P       p480    String Refine
1287  O       o481    string p480  O       o481    string p480
1288  T       t481    o481  T       t481    o481
# Line 1278  Line 1293 
1293  B       b483    t483  B       b483    t483
1294  T       t484    o b426 b483  T       t484    o b426 b483
1295  B       b484    t484  B       b484    t484
1296  T       t485    o480 b484  T       t512    o509 b484
1297  B       b485    t485  B       b512    t512
1298  T       t486    o424 b485  T       t525    o424 b512
1299  B       b486    t486  B       b525    t525
1300  T       t487    o479 b486  T       t526    o508 b525
1301  B       b487    t487  B       b526    t526
1302  P       p487    Number 316  P       p527    Number 342
1303  P       p488    Number 348  P       p528    Number 374
1304  O       o488    location p487 p488  O       o528    location p527 p528
1305  O       o489    str_open p487 p488  O       o529    str_open p527 p528
1306  P       p489    String RefineError  P       p489    String RefineError
1307  O       o490    string p489  O       o490    string p489
1308  T       t490    o490  T       t490    o490
# Line 1298  Line 1313 
1313  B       b492    t492  B       b492    t492
1314  T       t493    o b426 b492  T       t493    o b426 b492
1315  B       b493    t493  B       b493    t493
1316  T       t494    o489 b493  T       t532    o529 b493
1317  B       b494    t494  B       b532    t532
1318  T       t495    o424 b494  T       t540    o424 b532
1319  B       b495    t495  B       b540    t540
1320  T       t496    o488 b495  T       t541    o528 b540
1321  B       b496    t496  B       b541    t541
1322  P       p496    Number 349  P       p543    Number 375
1323  P       p497    Number 365  P       p544    Number 391
1324  O       o497    location p496 p497  O       o544    location p543 p544
1325  O       o498    str_open p496 p497  O       o545    str_open p543 p544
1326  P       p498    String Mp_resource  P       p498    String Mp_resource
1327  O       o499    string p498  O       o499    string p498
1328  T       t499    o499  T       t499    o499
1329  B       b499    t499  B       b499    t499
1330  T       t500    o b499 b4  T       t500    o b499 b4
1331  B       b500    t500  B       b500    t500
1332  T       t501    o498 b500  T       t548    o545 b500
1333  B       b501    t501  B       b548    t548
1334  T       t502    o424 b501  T       t549    o424 b548
1335  B       b502    t502  B       b549    t549
1336  T       t503    o497 b502  T       t556    o544 b549
1337  B       b503    t503  B       b557    t556
1338  P       p503    Number 366  P       p557    Number 392
 P       p504    Number 383  
 O       o504    location p503 p504  
 O       o505    str_open p503 p504  
1339  P       p505    String Simple_print  P       p505    String Simple_print
1340  O       o506    string p505  O       o506    string p505
1341  T       t506    o506  T       t506    o506
1342  B       b506    t506  B       b506    t506
1343  T       t507    o b506 b4  T       t507    o b506 b4
1344  B       b507    t507  B       b507    t507
 T       t508    o505 b507  
 B       b508    t508  
 T       t509    o424 b508  
 B       b509    t509  
 T       t510    o504 b509  
 B       b510    t510  
 P       p510    Number 384  
 P       p511    Number 395  
 O       o511    location p510 p511  
 O       o512    str_open p510 p511  
1345  P       p512    String Printf  P       p512    String Printf
1346  O       o513    string p512  O       o513    string p512
1347  T       t513    o513  T       t513    o513
1348  B       b513    t513  B       b513    t513
1349  T       t514    o b513 b4  T       t514    o b513 b4
1350  B       b514    t514  B       b514    t514
 T       t515    o512 b514  
 B       b515    t515  
 T       t516    o424 b515  
 B       b516    t516  
 T       t517    o511 b516  
 B       b517    t517  
 P       p517    Number 396  
1351  P       p518    Number 409  P       p518    Number 409
1352  O       o518    location p517 p518  O       o559    location p557 p518
1353  O       o519    str_open p517 p518  O       o560    str_open p557 p518
1354    T       t563    o560 b507
1355    B       b563    t563
1356    T       t564    o424 b563
1357    B       b564    t564
1358    T       t570    o559 b564
1359    B       b571    t570
1360    P       p571    Number 410
1361    P       p572    Number 421
1362    O       o573    location p571 p572
1363    O       o574    str_open p571 p572
1364    T       t577    o574 b514
1365    B       b577    t577
1366    T       t578    o424 b577
1367    B       b578    t578
1368    T       t584    o573 b578
1369    B       b584    t584
1370    P       p589    Number 422
1371    P       p590    Number 435
1372    O       o590    location p589 p590
1373    O       o591    str_open p589 p590
1374  P       p519    String Mp_debug  P       p519    String Mp_debug
1375  O       o520    string p519  O       o520    string p519
1376  T       t520    o520  T       t520    o520
1377  B       b520    t520  B       b520    t520
1378  T       t521    o b520 b4  T       t521    o b520 b4
1379  B       b521    t521  B       b521    t521
1380  T       t522    o519 b521  T       t593    o591 b521
1381  B       b522    t522  B       b593    t593
1382  T       t523    o424 b522  T       t595    o424 b593
1383  B       b523    t523  B       b595    t595
1384  T       t524    o518 b523  T       t597    o590 b595
1385  B       b524    t524  B       b597    t597
1386  P       p524    Number 411  P       p597    Number 437
1387  P       p525    Number 427  P       p598    Number 453
1388  O       o525    location p524 p525  O       o598    location p597 p598
1389  O       o526    str_open p524 p525  O       o599    str_open p597 p598
1390  P       p526    String Tactic_type  P       p526    String Tactic_type
1391  O       o527    string p526  O       o527    string p526
1392  T       t527    o527  T       t527    o527
1393  B       b527    t527  B       b527    t527
1394  T       t528    o b527 b4  T       t528    o b527 b4
1395  B       b528    t528  B       b528    t528
1396  T       t529    o526 b528  T       t600    o599 b528
1397  B       b529    t529  B       b601    t600
1398  T       t530    o424 b529  T       t601    o424 b601
1399  B       b530    t530  B       b602    t601
1400  T       t531    o525 b530  T       t602    o598 b602
1401  B       b531    t531  B       b603    t602
 P       p531    Number 428  
1402  P       p532    Number 454  P       p532    Number 454
 O       o532    location p531 p532  
 O       o533    str_open p531 p532  
1403  P       p533    String Tacticals  P       p533    String Tacticals
1404  O       o534    string p533  O       o534    string p533
1405  T       t534    o534  T       t534    o534
# Line 1396  Line 1408 
1408  B       b535    t535  B       b535    t535
1409  T       t536    o b527 b535  T       t536    o b527 b535
1410  B       b536    t536  B       b536    t536
 T       t537    o533 b536  
 B       b537    t537  
 T       t538    o424 b537  
 B       b538    t538  
 T       t539    o532 b538  
 B       b539    t539  
 P       p539    Number 455  
 P       p540    Number 479  
 O       o540    location p539 p540  
 O       o541    str_open p539 p540  
1411  P       p541    String Sequent  P       p541    String Sequent
1412  O       o542    string p541  O       o542    string p541
1413  T       t542    o542  T       t542    o542
# Line 1414  Line 1416 
1416  B       b543    t543  B       b543    t543
1417  T       t544    o b527 b543  T       t544    o b527 b543
1418  B       b544    t544  B       b544    t544
 T       t545    o541 b544  
 B       b545    t545  
 T       t546    o424 b545  
 B       b546    t546  
 T       t547    o540 b546  
 B       b547    t547  
1419  P       p547    Number 480  P       p547    Number 480
1420  P       p548    Number 510  O       o607    location p532 p547
1421  O       o548    location p547 p548  O       o608    str_open p532 p547
1422  O       o549    str_open p547 p548  T       t618    o608 b536
1423    B       b618    t618
1424    T       t619    o424 b618
1425    B       b619    t619
1426    T       t620    o607 b619
1427    B       b620    t620
1428    P       p622    Number 481
1429    P       p623    Number 505
1430    O       o624    location p622 p623
1431    O       o625    str_open p622 p623
1432    T       t625    o625 b544
1433    B       b625    t625
1434    T       t626    o424 b625
1435    B       b626    t626
1436    T       t627    o624 b626
1437    B       b627    t627
1438    P       p627    Number 506
1439    P       p628    Number 536
1440    O       o628    location p627 p628
1441    O       o629    str_open p627 p628
1442  P       p549    String Conversionals  P       p549    String Conversionals
1443  O       o550    string p549  O       o550    string p549
1444  T       t550    o550  T       t550    o550
# Line 1432  Line 1447 
1447  B       b551    t551  B       b551    t551
1448  T       t552    o b527 b551  T       t552    o b527 b551
1449  B       b552    t552  B       b552    t552
1450  T       t553    o549 b552  T       t629    o629 b552
1451  B       b553    t553  B       b629    t629
1452  T       t554    o424 b553  T       t630    o424 b629
1453  B       b554    t554  B       b630    t630
1454  T       t555    o548 b554  T       t631    o628 b630
1455  B       b555    t555  B       b631    t631
1456  P       p555    Number 511  P       p631    Number 537
1457  P       p556    Number 521  P       p632    Number 547
1458  O       o556    location p555 p556  O       o632    location p631 p632
1459  O       o557    str_open p555 p556  O       o633    str_open p631 p632
1460  O       o558    string p151  O       o558    string p151
1461  T       t558    o558  T       t558    o558
1462  B       b558    t558  B       b558    t558
1463  T       t559    o b558 b4  T       t559    o b558 b4
1464  B       b559    t559  B       b559    t559
1465  T       t560    o557 b559  T       t633    o633 b559
1466  B       b560    t560  B       b635    t633
1467  T       t561    o424 b560  T       t637    o424 b635
1468  B       b561    t561  B       b637    t637
1469  T       t562    o556 b561  T       t639    o632 b637
1470  B       b562    t562  B       b639    t639
1471  P       p562    Number 522  P       p640    Number 548
1472  P       p563    Number 530  P       p641    Number 556
1473  O       o563    location p562 p563  O       o642    location p640 p641
1474  O       o564    str_open p562 p563  O       o643    str_open p640 p641
1475  O       o565    string p149  O       o565    string p149
1476  T       t565    o565  T       t565    o565
1477  B       b565    t565  B       b565    t565
1478  T       t566    o b565 b4  T       t566    o b565 b4
1479  B       b566    t566  B       b566    t566
1480  T       t567    o564 b566  T       t643    o643 b566
1481  B       b567    t567  B       b643    t643
1482  T       t568    o424 b567  T       t644    o424 b643
1483  B       b568    t568  B       b644    t644
1484  T       t569    o563 b568  T       t645    o642 b644
1485  B       b569    t569  B       b645    t645
1486  P       p569    Number 532  P       p645    Number 558
1487  P       p570    Number 549  P       p646    Number 575
1488  O       o570    location p569 p570  O       o647    location p645 p646
1489  O       o571    str_open p569 p570  O       o648    str_open p645 p646
1490  O       o572    string p139  O       o572    string p139
1491  T       t572    o572  T       t572    o572
1492  B       b572    t572  B       b572    t572
1493  T       t573    o b572 b4  T       t573    o b572 b4
1494  B       b573    t573  B       b573    t573
1495  T       t574    o571 b573  T       t648    o648 b573
1496  B       b574    t574  B       b648    t648
1497  T       t575    o424 b574  T       t649    o424 b648
1498  B       b575    t575  B       b649    t649
1499  T       t576    o570 b575  T       t650    o647 b649
1500  B       b576    t576  B       b650    t650
1501  P       p576    Number 550  P       p650    Number 576
1502  P       p577    Number 571  P       p651    Number 597
1503  O       o577    location p576 p577  O       o651    location p650 p651
1504  O       o578    str_open p576 p577  O       o652    str_open p650 p651
1505  O       o579    string p141  O       o579    string p141
1506  T       t579    o579  T       t579    o579
1507  B       b579    t579  B       b579    t579
1508  T       t580    o b579 b4  T       t580    o b579 b4
1509  B       b580    t580  B       b580    t580
1510  T       t581    o578 b580  T       t652    o652 b580
1511  B       b581    t581  B       b652    t652
1512  T       t582    o424 b581  T       t657    o424 b652
1513  B       b582    t582  B       b657    t657
1514  T       t583    o577 b582  T       t658    o651 b657
1515  B       b583    t583  B       b658    t658
 P       p583    Number 573  
 P       p584    Number 598  
 O       o584    location p583 p584  
1516  NSummary!opname opname  opname Summary  NSummary!opname opname  opname Summary
1517  P       p585    String power  P       p585    String power
1518  O       o585    opname p585  O       o585    opname p585
# Line 1524  Line 1536 
1536  B       b590    t590  B       b590    t590
1537  T       t591    o585 b590  T       t591    o585 b590
1538  B       b591    t591  B       b591    t591
 T       t592    o584 b591  
 B       b592    t592  
1539  P       p592    Number 599  P       p592    Number 599
1540  P       p3      Number 627  P       p658    Number 624
1541  O       o6      location p592 p3  O       o658    location p592 p658
1542    T       t660    o658 b591
1543    B       b660    t660
1544    P       p660    Number 625
1545    P       p661    Number 653
1546    O       o661    location p660 p661
1547  P       p12     String cyc_subg  P       p12     String cyc_subg
1548  O       o16     opname p12  O       o16     opname p12
1549  NCzf_itt_cyclic_subgroup!cyc_subg       cyc_subg        cyc_subg Czf_itt_cyclic_subgroup  NCzf_itt_cyclic_subgroup!cyc_subg       cyc_subg        cyc_subg Czf_itt_cyclic_subgroup
# Line 5749  Line 5764 
5764  B       b636    t635  B       b636    t635
5765  T       t636    o16 b636  T       t636    o16 b636
5766  B       b653    t636  B       b653    t636
5767  T       t653    o6 b653  T       t663    o661 b653
5768  B       b669    t653  B       b663    t663
5769  P       p599    Number 629  P       p663    Number 655
5770  P       p600    Number 790  P       p664    Number 816
5771  O       o600    location p599 p600  O       o664    location p663 p664
5772  T       t617    o600 b616  T       t664    o664 b616
5773  B       b617    t617  B       b664    t664
5774  P       p617    Number 792  P       p665    Number 818
5775  P       p16     Number 1301  P       p666    Number 971
5776  O       o30     location p617 p16  O       o666    location p665 p666
5777  P       p620    String unfold_cyc_subg  P       p620    String unfold_cyc_subg
5778  O       o623    rewrite p620  O       o623    rewrite p620
5779  NItt_logic!and  and     and Itt_logic  NItt_logic!and  and     and Itt_logic
# Line 8790  Line 8805 
8805  T       t4570   o644 b3699 b4570  T       t4570   o644 b3699 b4570
8806  B       b4571   t4570  B       b4571   t4570
8807  B       b4572   t2226  B       b4572   t2226
8808    NCzf_itt_group_bvd      Czf_itt_group_bvd       Czf_itt_group_bvd NIL
8809    NCzf_itt_group_bvd!group_bvd    group_bvd       group_bvd Czf_itt_group_bvd
8810    O       o667    group_bvd
8811    T       t667    o667 b2314 b587 b624
8812    B       b667    t667
8813    T       t668    o644 b4572 b667
8814    B       b668    t668
8815    T       t669    o644 b656 b668
8816    B       b671    t669
8817    T       t671    o644 b1680 b671
8818    B       b672    t671
8819    T       t672    o623 b636 b672 b615 b4
8820    B       b673    t672
8821    T       t673    o666 b673
8822    B       b674    t673
8823    P       p674    Number 973
8824    P       p675    Number 1036
8825    O       o675    location p674 p675
8826    O       o676    str_let p674 p675
8827    P       p676    Number 977
8828    P       p677    Number 987
8829    O       o677    patt_var p676 p677
8830    O       o678    patt_done p674 p675
8831    T       t678    o678
8832    B       b678    t678 fold_power
8833    T       t679    o677 b678
8834    B       b679    t679
8835    P       p679    Number 990
8836    O       o679    apply p679 p675
8837    P       p680    Number 1023
8838    O       o680    apply p679 p680
8839    P       p683    Number 999
8840    O       o683    lid p679 p683
8841    T       t683    o683 b634
8842    B       b683    t683
8843    P       p684    Number 1000
8844    O       o685    apply p684 p680
8845    O       o686    proj p684 p680
8846    O       o691    uid p684 p680
8847    T       t702    o691 b638
8848    B       b702    t702
8849    O       o702    lid p684 p680
8850    T       t703    o702 b640
8851    B       b703    t703
8852    T       t710    o686 b702 b703
8853    B       b710    t710
8854  P       p30     Var c  P       p30     Var c
8855  O       o32     var p30  O       o32     var p30
8856  T       t370    o32  T       t370    o32
# Line 8841  Line 8902 
8902  T       t1688   o644 b656 b1688  T       t1688   o644 b656 b1688
8903  B       b1689   t1688  B       b1689   t1688
8904  T       t1689   o644 b1680 b1689  T       t1689   o644 b1680 b1689
 B       b1734   t1689  
 T       t1734   o623 b636 b1734 b615 b4  
 B       b1735   t1734  
 T       t1735   o30 b1735  
 B       b1736   t1735  
 P       p1736   Number 1303  
8905  P       p1737   Number 1366  P       p1737   Number 1366
 O       o1737   location p1736 p1737  
 O       o1738   str_let p1736 p1737  
 P       p1738   Number 1307  
 P       p1739   Number 1317  
 O       o1739   patt_var p1738 p1739  
 O       o1740   patt_done p1736 p1737  
 T       t1741   o1740  
 B       b1861   t1741 fold_power  
 T       t1861   o1739 b1861  
 B       b1862   t1861  
 P       p1862   Number 1320  
 O       o1862   apply p1862 p1737  
 P       p1863   Number 1353  
 O       o1863   apply p1862 p1863  
 P       p1864   Number 1329  
 O       o1864   lid p1862 p1864  
 T       t1874   o1864 b634  
 B       b1881   t1874  
 P       p1881   Number 1330  
 O       o1881   apply p1881 p1863  
 O       o1883   proj p1881 p1863  
 O       o1884   uid p1881 p1863  
 T       t1886   o1884 b638  
 B       b1953   t1886  
 O       o1953   lid p1881 p1863  
 T       t1953   o1953 b640  
 B       b1957   t1953  
 T       t1957   o1883 b1953 b1957  
 B       b1958   t1957  
8906  P       p8      String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000\\\\\\000\\000\\000!\\000\\000\\000`\\000\\000\\000[\\160\\160\\160$\\000\\000\\000\\000\\160%power\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!g@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!z@@\\160\\160@\\160\\160\\004\\018\\160\\148!n@@@"  P       p8      String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000\\\\\\000\\000\\000!\\000\\000\\000`\\000\\000\\000[\\160\\160\\160$\\000\\000\\000\\000\\160%power\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!g@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!z@@\\160\\160@\\160\\160\\004\\018\\160\\148!n@@@"
8907  O       o1958   string p1881 p1863 p8  O       o710    string p684 p680 p8
8908  T       t1958   o1958  T       t713    o710
8909  B       b2108   t1958  B       b713    t713
8910  T       t2108   o1881 b1958 b2108  T       t730    o685 b710 b713
8911  B       b2111   t2108  B       b730    t730
8912  T       t2111   o1863 b1881 b2111  T       t732    o680 b683 b730
8913  B       b2112   t2111  B       b732    t732
8914  P       p2112   Number 1354  P       p732    Number 1024
8915  O       o2112   lid p2112 p1737  O       o734    lid p732 p675
8916  T       t2112   o2112 b646  T       t738    o734 b646
8917  B       b2113   t2112  B       b738    t738
8918  T       t2113   o1862 b2112 b2113  T       t739    o679 b732 b738
8919  B       b2114   t2113  B       b739    t739
8920  T       t2114   o1738 b1862 b2114  T       t740    o676 b679 b739
8921  B       b2137   t2114  B       b740    t740
8922  T       t2137   o b2137 b4  T       t741    o b740 b4
8923  B       b2138   t2137  B       b741    t741
8924  T       t2138   o1738 b2138  T       t742    o676 b741
8925  B       b2139   t2138  B       b742    t742
8926  T       t2139   o424 b2139  T       t745    o424 b742
8927  B       b2140   t2139  B       b745    t745
8928  T       t2140   o1737 b2140  T       t748    o675 b745
8929  B       b2141   t2140  B       b748    t748
8930  P       p2141   Number 1367  P       p748    Number 1037
8931  P       p2142   Number 1439  P       p749    Number 1109
8932  O       o2142   location p2141 p2142  O       o749    location p748 p749
8933  O       o2143   str_let p2141 p2142  O       o750    str_let p748 p749
8934  P       p2143   Number 1371  P       p750    Number 1041
8935  P       p2144   Number 1384  P       p751    Number 1054
8936  O       o2144   patt_var p2143 p2144  O       o751    patt_var p750 p751
8937  O       o2145   patt_done p2141 p2142  O       o753    patt_done p748 p749
8938  T       t2145   o2145  T       t754    o753
8939  B       b2176   t2145 fold_cyc_subg  B       b754    t754 fold_cyc_subg
8940  T       t2176   o2144 b2176  T       t767    o751 b754
8941  B       b2177   t2176  B       b767    t767
8942  P       p2177   Number 1387  P       p767    Number 1057
8943  O       o2177   apply p2177 p2142  O       o767    apply p767 p749
8944  P       p2178   Number 1423  P       p768    Number 1093
8945  O       o2178   apply p2177 p2178  O       o768    apply p767 p768
8946  P       p2179   Number 1396  P       p769    Number 1066
8947  O       o2179   lid p2177 p2179  O       o769    lid p767 p769
8948  T       t2179   o2179 b634  T       t770    o769 b634
8949  B       b2179   t2179  B       b770    t770
8950  P       p2180   Number 1397  P       p770    Number 1067
8951  O       o2180   apply p2180 p2178  O       o770    apply p770 p768
8952  O       o2181   proj p2180 p2178  O       o771    proj p770 p768
8953  O       o2182   uid p2180 p2178  O       o772    uid p770 p768
8954  T       t2182   o2182 b638  T       t773    o772 b638
8955  B       b2182   t2182  B       b774    t773
8956  O       o2183   lid p2180 p2178  O       o776    lid p770 p768
8957  T       t2183   o2183 b640  T       t776    o776 b640
8958  B       b2183   t2183  B       b777    t776
8959  T       t2184   o2181 b2182 b2183  T       t782    o771 b774 b777
8960  B       b2184   t2184  B       b782    t782
8961  P       p647    String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000_\\000\\000\\000!\\000\\000\\000a\\000\\000\\000\\\\\\160\\160\\160$\\000\\000\\000\\000\\160(cyc_subg\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!s@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!g@@\\160\\160@\\160\\160\\004\\008\\160\\148!a@@@"  P       p647    String "MP-Caml3.02 term:\\132\\149\\166\\190\\000\\000\\000_\\000\\000\\000!\\000\\000\\000a\\000\\000\\000\\\\\\160\\160\\160$\\000\\000\\000\\000\\160(cyc_subg\\1607Czf_itt_cyclic_subgroup@@\\160\\160@\\160\\160\\160\\004\\n\\160#var@\\160\\148!s@@\\160\\160@\\160\\160\\160\\004\\020\\004\\n\\160\\148!g@@\\160\\160@\\160\\160\\004\\008\\160\\148!a@@@"
8962  O       o2184   string p2180 p2178 p647  O       o782    string p770 p768 p647
8963  T       t2185   o2184  T       t783    o782
8964  B       b2185   t2185  B       b783    t783
8965  T       t2186   o2180 b2184 b2185  T       t784    o770 b782 b783
8966  B       b2186   t2186  B       b784    t784
8967  T       t2192   o2178 b2179 b2186  T       t785    o768 b770 b784
8968  B       b2199   t2192  B       b785    t785
8969  O       o2199   lid p259 p2142  P       p785    Number 1094
8970  T       t2199   o2199 b670  O       o785    lid p785 p749
8971  B       b2200   t2199  T       t786    o785 b670
8972  T       t2200   o2177 b2199 b2200  B       b786    t786
8973  B       b2202   t2200  T       t787    o767 b785 b786
8974  T       t2202   o2143 b2177 b2202  B       b787    t787
8975  B       b2204   t2202  T       t789    o750 b767 b787
8976  T       t2204   o b2204 b4  B       b789    t789
8977  B       b2205   t2204  T       t793    o b789 b4
8978  T       t2205   o2143 b2205  B       b793    t793
8979  B       b2210   t2205  T       t794    o750 b793
8980  T       t2211   o424 b2210  B       b795    t794
8981  B       b2211   t2211  T       t796    o424 b795
8982  T       t2212   o2142 b2211  B       b797    t796
8983  B       b2212   t2212  T       t797    o749 b797
8984  P       p2212   Number 1565  B       b798    t797
8985  O       o2212   location p263 p2212  P       p798    Number 1111
8986  T       t2213   o2212 b2257  P       p799    Number 1235
8987  B       b2213   t2213  O       o799    location p798 p799
8988  P       p2213   Number 1567  T       t799    o799 b2257
8989  P       p2214   Number 1696  B       b799    t799
8990  O       o2214   location p2213 p2214  P       p800    Number 1237
8991  T       t2214   o2214 b2277  O       o800    location p800 p1737
8992  B       b2214   t2214  T       t800    o800 b2277
8993  P       p2215   Number 1741  B       b800    t800
8994  P       p2216   Number 1969  P       p801    Number 1411
8995  O       o2216   location p2215 p2216  P       p802    Number 1639
8996  P       p2217   Number 1766  O       o802    location p801 p802
8997  P       p2218   Number 1774  P       p803    Number 1444
8998  O       o2218   resource_defs p2217 p2218 p294  O       o803    resource_defs p262 p803 p294
8999  O       o2219   uid p273 p2218  P       p804    Number 1442
9000  T       t2219   o2219 b816  O       o804    uid p804 p803
9001  B       b2219   t2219  T       t804    o804 b816
9002  T       t2220   o b2219 b4  B       b804    t804
9003  B       b2220   t2220  T       t805    o b804 b4
9004  T       t2221   o2218 b2220  B       b805    t805
9005  B       b2221   t2221  T       t806    o803 b805
9006  T       t2222   o b2221 b4  B       b806    t806
9007  B       b2222   t2222  T       t807    o b806 b4
9008  T       t2223   o716 b718 b2293 b2373 b2222  B       b807    t807
9009  B       b2223   t2223  T       t808    o716 b718 b2293 b2373 b807
9010  T       t2225   o2216 b2223  B       b808    t808
9011  B       b2225   t2225  T       t809    o802 b808
9012  P       p2225   Number 2050  B       b809    t809
9013  P       p2226   Number 2376  P       p809    Number 1720
9014  O       o2226   location p2225 p2226  P       p810    Number 2046
9015  P       p2227   Number 2075  O       o810    location p809 p810
9016  P       p2228   Number 2083  P       p811    Number 1745
9017  O       o2228   resource_defs p2227 p2228 p294  P       p812    Number 1753
9018    O       o812    resource_defs p811 p812 p294
9019    P       p813    Number 1751
9020    O       o813    uid p813 p812
9021    T       t813    o813 b816
9022    B       b813    t813
9023    T       t814    o b813 b4
9024    B       b815    t814
9025    T       t815    o812 b815
9026    B       b820    t815
9027    T       t820    o b820 b4
9028    B       b821    t820
9029    T       t821    o824 b718 b2233 b3191 b821
9030    B       b822    t821
9031    T       t822    o810 b822
9032    B       b827    t822
9033    P       p827    Number 2048
9034    P       p828    Number 2395
9035    O       o828    location p827 p828
9036    P       p829    Number 2073
9037  P       p2229   Number 2081  P       p2229   Number 2081
9038  O       o2229   uid p2229 p2228  O       o829    resource_defs p829 p2229 p294
9039  T       t2233   o2229 b816  P       p830    Number 2079
9040  B       b2234   t2233  O       o830    uid p830 p2229
9041  T       t2234   o b2234 b4  T       t830    o830 b816
9042  B       b2235   t2234  B       b830    t830
9043  T       t2235   o2228 b2235  T       t831    o b830 b4
9044  B       b2236   t2235  B       b831    t831
9045  T       t2236   o b2236 b4  T       t832    o829 b831
9046  B       b2237   t2236  B       b832    t832
9047  T       t2237   o824 b718 b2233 b3191 b2237  T       t835    o b832 b4
9048  B       b2238   t2237  B       b835    t835
9049  T       t2238   o2226 b2238  T       t837    o8 b718 b2258 b3494 b835
9050  B       b2239   t2238  B       b837    t837
9051  P       p2239   Number 2378  T       t838    o828 b837
9052  P       p2240   Number 2725  B       b839    t838
9053  O       o2240   location p2239 p2240  P       p839    Number 2397
9054  P       p2241   Number 2403  P       p840    Number 2737
9055  P       p2242   Number 2411  O       o840    location p839 p840
9056  O       o2242   resource_defs p2241 p2242 p294  P       p841    Number 2428
9057  P       p2243   Number 2409  P       p842    Number 2436
9058  O       o2243   uid p2243 p2242  O       o842    resource_defs p841 p842 p294
9059  T       t2243   o2243 b816  P       p843    Number 2434
9060  B       b2243   t2243  O       o843    uid p843 p842
9061  T       t2244   o b2243 b4  T       t843    o843 b816
9062  B       b2244   t2244  B       b844    t843
9063  T       t2245   o2242 b2244  T       t844    o b844 b4
9064  B       b2245   t2245  B       b845    t844
9065  T       t2246   o b2245 b4  T       t845    o842 b845
9066  B       b2246   t2246  B       b846    t845
9067  T       t2247   o8 b718 b2258 b3494 b2246  T       t846    o b846 b4
9068  B       b2247   t2247  B       b847    t846
9069  T       t2248   o2240 b2247  T       t847    o2487 b718 b3508 b3815 b847
9070  B       b2248   t2248  B       b848    t847
9071  P       p2248   Number 2727  T       t848    o840 b848
9072  P       p2249   Number 3067  B       b849    t848
9073  O       o2249   location p2248 p2249  P       p849    Number 2739
9074  P       p2250   Number 2758  P       p850    Number 3001
9075  P       p2251   Number 2766  O       o850    location p849 p850
9076  O       o2251   resource_defs p2250 p2251 p294  P       p851    Number 2771
9077  P       p2252   Number 2764  P       p852    Number 2779
9078  O       o2252   uid p2252 p2251  O       o852    resource_defs p851 p852 p294
9079  T       t2252   o2252 b816  P       p853    Number 2777
9080  B       b2252   t2252  O       o853    uid p853 p852
9081  T       t2255   o b2252 b4  T       t853    o853 b816
9082  B       b2255   t2255  B       b853    t853
9083  T       t2259   o2251 b2255  T       t855    o b853 b4
9084  B       b2259   t2259  B       b856    t855
9085  T       t2260   o b2259 b4  T       t856    o852 b856
9086  B       b2260   t2260  B       b858    t856
9087  T       t2261   o2487 b718 b3508 b3815 b2260  T       t858    o b858 b4
9088  B       b2261   t2261  B       b860    t858
9089  T       t2262   o2249 b2261  T       t860    o2739 b718 b3826 b3833 b860
9090  B       b2262   t2262  B       b861    t860
9091  P       p2262   Number 3069  T       t861    o850 b861
9092  P       p2263   Number 3331  B       b862    t861
9093  O       o2263   location p2262 p2263  P       p862    Number 3040
9094  P       p2264   Number 3101  P       p863    Number 3430
9095  P       p2265   Number 3109  O       o863    location p862 p863
 O       o2265   resource_defs p2264 p2265 p294  
 P       p2266   Number 3107  
 O       o2266   uid p2266 p2265  
 T       t2266   o2266 b816  
 B       b2266   t2266  
 T       t2267   o b2266 b4  
 B       b2267   t2267  
 T       t2268   o2265 b2267  
 B       b2268   t2268  
 T       t2269   o b2268 b4  
 B       b2269   t2269  
 T       t2271   o2739 b718 b3826 b3833 b2269  
 B       b2271   t2271  
 T       t2274   o2263 b2271  
 B       b2274   t2274  
 P       p2274   Number 3370  
 P       p2275   Number 3760  
 O       o2275   location p2274 p2275  
9096  T       t4572   o732 b2507 b733  T       t4572   o732 b2507 b733
9097  B       b4573   t4572  B       b4573   t4572
9098  T       t4573   o644 b4572 b4573  T       t4573   o644 b4572 b4573
# Line 9251  Line 9278 
9278  B       b4656   t4655  B       b4656   t4655
9279  T       t4656   o742 b4656  T       t4656   o742 b4656
9280  B       b4657   t4656  B       b4657   t4656
9281  P       p2276   Number 3401  P       p864    Number 3071
9282  P       p2277   Number 3409  P       p865    Number 3079
9283  O       o2277   resource_defs p2276 p2277 p294  O       o865    resource_defs p864 p865 p294
9284  P       p2278   Number 3407  P       p866    Number 3077
9285  O       o2278   uid p2278 p2277  O       o866    uid p866 p865
9286  T       t2278   o2278 b816  T       t866    o866 b816
9287  B       b2278   t2278  B       b866    t866
9288  T       t2279   o b2278 b4  T       t867    o b866 b4
9289  B       b2279   t2279  B       b867    t867
9290  T       t2280   o2277 b2279  T       t868    o865 b867
9291  B       b2280   t2280  B       b868    t868
9292  T       t2281   o b2280 b4  T       t869    o b868 b4
9293  B       b2281   t2281  B       b869    t869
9294  T       t2282   o885 b718 b3846 b4657 b2281  T       t870    o885 b718 b3846 b4657 b869
9295  B       b2282   t2282  B       b870    t870
9296  T       t2283   o2275 b2282  T       t871    o863 b870
9297  B       b2283   t2283  B       b871    t871
9298  P       p2283   Number 3792  P       p871    Number 3462
9299  P       p2284   Number 4173  P       p872    Number 3843
9300  O       o2284   location p2283 p2284  O       o872    location p871 p872
9301  T       t4665   o888 b733 b711 b1686 b895  T       t4665   o888 b733 b711 b1686 b895
9302  S       s4665   t726 h  S       s4665   t726 h
9303  G       s4665   t4665  G       s4665   t4665
# Line 11024  Line 11051 
11051  B       b5403   t5402  B       b5403   t5402
11052  T       t5403   o742 b5403  T       t5403   o742 b5403
11053  B       b5404   t5403  B       b5404   t5403
11054  P       p2285   Number 3823  P       p873    Number 3493
11055  P       p2286   Number 3831  P       p874    Number 3501
11056  O       o2286   resource_defs p2285 p2286 p294  O       o874    resource_defs p873 p874 p294
11057  P       p2287   Number 3829  P       p875    Number 3499
11058  O       o2287   uid p2287 p2286  O       o875    uid p875 p874
11059  T       t2287   o2287 b816  T       t875    o875 b816
11060  B       b2287   t2287  B       b875    t875
11061  T       t2288   o b2287 b4  T       t876    o b875 b4
11062  B       b2288   t2288  B       b876    t876
11063  T       t2289   o2286 b2288  T       t877    o874 b876
11064  B       b2289   t2289  B       b878    t877
11065  T       t2290   o b2289 b4  T       t878    o b878 b4
11066  B       b2290   t2290  B       b879    t878
11067  T       t2291   o1686 b718 b4671 b5404 b2290  T       t879    o1686 b718 b4671 b5404 b879
11068  B       b2291   t2291  B       b880    t879
11069  T       t2294   o2284 b2291  T       t880    o872 b880
11070  B       b2294   t2294  B       b881    t880
11071  P       p2294   Number 4196  P       p881    Number 3866
11072  P       p2295   Number 4636  P       p882    Number 4306
11073  O       o2295   location p2294 p2295  O       o882    location p881 p882
11074  P       p20     String power_simplify  P       p20     String power_simplify
11075  O       o24     rule p20  O       o24     rule p20
11076  S       s3156   t721 h  S       s3156   t721 h
# Line 11595  Line 11622 
11622  B       b1622   t1621  B       b1622   t1621
11623  T       t1622   o742 b1622  T       t1622   o742 b1622
11624  B       b1669   t1622  B       b1669   t1622
11625  P       p2296   Number 4226  P       p883    Number 3896
11626  P       p2297   Number 4234  P       p884    Number 3904
11627  O       o2297   resource_defs p2296 p2297 p294  O       o884    resource_defs p883 p884 p294
11628  P       p2298   Number 4232  P       p887    Number 3902
11629  O       o2298   uid p2298 p2297  O       o887    uid p887 p884
11630  T       t2299   o2298 b816  T       t888    o887 b816
11631  B       b2302   t2299  B       b888    t888
11632  T       t2302   o b2302 b4  T       t890    o b888 b4
11633  B       b2303   t2302  B       b890    t890
11634  T       t2303   o2297 b2303  T       t892    o884 b890
11635  B       b2304   t2303  B       b892    t892
11636  T       t2304   o b2304 b4  T       t900    o b892 b4
11637  B       b2305   t2304  B       b900    t900
11638  T       t2305   o24 b718 b5419 b1669 b2305  T       t901    o24 b718 b5419 b1669 b900
11639  B       b2307   t2305  B       b901    t901
11640  T       t2307   o2295 b2307  T       t902    o882 b901
11641  B       b2308   t2307  B       b902    t902
11642  P       p2308   Number 4672  P       p902    Number 4342
11643  P       p2309   Number 4908  P       p903    Number 4578
11644  O       o2309   location p2308 p2309  O       o903    location p902 p903
11645  P       p2305   String cyc_subg_wf  P       p2305   String cyc_subg_wf
11646  O       o2305   rule p2305  O       o2305   rule p2305
11647  T       t3200   o721 b722 b2314 b2314  T       t3200   o721 b722 b2314 b2314
# Line 11665  Line 11692 
11692  B       b5644   t5644  B       b5644   t5644
11693  T       t5645   o742 b5644  T       t5645   o742 b5644
11694  B       b5645   t5645  B       b5645   t5645
11695  P       p2310   Number 4699  P       p904    Number 4369
11696  P       p2311   Number 4707  P       p905    Number 4377
11697  O       o2311   resource_defs p2310 p2311 p294  O       o905    resource_defs p904 p905 p294
11698  P       p2312   Number 4705  P       p906    Number 4375
11699  O       o2312   uid p2312 p2311  O       o906    uid p906 p905
11700  T       t2313   o2312 b816  T       t906    o906 b816
11701  B       b2320   t2313  B       b906    t906
11702  T       t2320   o b2320 b4  T       t907    o b906 b4
11703  B       b2321   t2320  B       b907    t907
11704  T       t2321   o2311 b2321  T       t927    o905 b907
11705  B       b2322   t2321  B       b963    t927
11706  T       t2322   o b2322 b4  T       t963    o b963 b4
11707  B       b2323   t2322  B       b964    t963
11708  T       t2323   o2305 b718 b5637 b5645 b2323  T       t964    o2305 b718 b5637 b5645 b964
11709  B       b2324   t2323  B       b965    t964
11710  T       t2325   o2309 b2324  T       t965    o903 b965
11711  B       b2325   t2325  B       b966    t965
11712  P       p2325   Number 4910  P       p967    Number 4580
11713  P       p2326   Number 5777  P       p968    Number 5447
11714  O       o2326   location p2325 p2326  O       o968    location p967 p968
11715  P       p2319   String "rwh unfold_cyc_subg 0 ttca"  P       p2319   String "rwh unfold_cyc_subg 0 ttca"
11716  O       o2319   ext_rule p2319  O       o2319   ext_rule p2319
11717  P       p2352   String cyc_subg_intro  P       p2352   String cyc_subg_intro
# Line 11758  Line 11785 
11785  B       b5694   t5694  B       b5694   t5694
11786  T       t5695   o718 b724 b5694  T       t5695   o718 b724 b5694
11787  B       b5695   t5695  B       b5695   t5695
 P       p2768   String "assumT 7 thenT rwh unfold_cyc_subg 2 thenT autoT"  
 O       o2768   ext_rule p2768  
11788  T       t5696   o b5655 b4  T       t5696   o b5655 b4
11789  B       b5696   t5696  B       b5696   t5696
11790  T       t5697   o b2226 b5696  T       t5697   o b2226 b5696
# Line 11889  Line 11914 
11914  B       b2402   t2401  B       b2402   t2401
11915  T       t2402   o742 b2402  T       t2402   o742 b2402
11916  B       b2403   t2402  B       b2403   t2402
11917  P       p2403   Number 4940  P       p969    Number 4610
11918  P       p2404   Number 4948  P       p970    Number 4618
11919  O       o2404   resource_defs p2403 p2404 p294  O       o970    resource_defs p969 p970 p294
11920  P       p2407   Number 4946  P       p971    Number 4616
11921  O       o2407   uid p2407 p2404  O       o972    uid p971 p970
11922  T       t2407   o2407 b816  T       t978    o972 b816
11923  B       b2407   t2407  B       b979    t978
11924  T       t2409   o b2407 b4  T       t979    o b979 b4
11925  B       b2409   t2409  B       b980    t979
11926  T       t2410   o2404 b2409  T       t985    o970 b980
11927  B       b2410   t2410  B       b1007   t985
11928  T       t2411   o b2410 b4  T       t1007   o b1007 b4
11929  B       b2411   t2411  B       b1008   t1007
11930  T       t2412   o2352 b718 b2383 b2403 b2411  T       t1010   o2352 b718 b2383 b2403 b1008
11931  B       b2412   t2412  B       b1038   t1010
11932  T       t2413   o2326 b2412  T       t1038   o968 b1038
11933  B       b2413   t2413  B       b1040   t1038
11934  P       p2413   Number 5779  P       p1040   Number 5449
11935  P       p2414   Number 6182  P       p1041   Number 5852
11936  O       o2414   location p2413 p2414  O       o1041   location p1040 p1041
11937  P       p2416   String cycsubg_subgroup  P       p2416   String cycsubg_subgroup
11938  O       o2416   rule p2416  O       o2416   rule p2416
11939    P       p1042   String "assumT 7 thenT rwh unfold_cyc_subg 2 thenT rwh unfold_group_bvd 2 thenT autoT"
11940    O       o1044   ext_rule p1042
11941    H       h1044   y_3 t774
11942    H       h1046   y_4 t727
11943    T       t1103   o730 b624
11944    H       h1103   y_5 t1103
11945    H       h1104   y_6 t1681
11946    P       p1104   Var a_1
11947    O       o1104   var p1104
11948    T       t1104   o1104
11949    B       b1104   t1104
11950    T       t1107   o732 b1104 b1681
11951    B       b1108   t1107
11952    T       t1112   o603 b2314 b1104 b2507
11953    B       b1222   t1112
11954    T       t1222   o603 b587 b1104 b2507
11955    B       b1223   t1222
11956    T       t1223   o888 b1681 b706 b1222 b1223
11957    B       b1445   t1223
11958    T       t1445   o348 b1684 b1445
11959    B       b1446   t1445
11960    T       t1446   o348 b1108 b1446
11961    B       b1447   t1446 b
11962    T       t1447   o775 b365 b1447
11963    B       b1448   t1447 a_1
11964    T       t1448   o775 b365 b1448
11965    H       h1448   y_7 t1448
11966    T       t1449   o888 b1681 b706 b1104 b2507
11967    B       b1449   t1449
11968    T       t1452   o888 b733 b711 b1104 b2507
11969    B       b1452   t1452
11970    T       t1453   o348 b1449 b1452
11971    B       b1453   t1453 b
11972    T       t1454   o775 b365 b1453
11973    B       b1454   t1454 a_1
11974    T       t1455   o775 b365 b1454
11975    H       h1455   y_8 t1455
11976    T       t1456   o348 b1452 b1449
11977    B       b1456   t1456
11978    T       t1457   o348 b1684 b1456
11979    B       b1457   t1457
11980    T       t1459   o348 b1108 b1457
11981    B       b1623   t1459 b
11982    T       t1626   o775 b365 b1623
11983    B       b1670   t1626 a_1
11984    T       t1670   o775 b365 b1670
11985    H       h1670   z t1670
11986    S       s1670   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1448 h1455 h1670 h3294 h3295
11987    G       s1670   t893
11988    B       b1677   s1670
11989    T       t1677   o747 b1677 b5702
11990    B       b1678   t1677
11991    S       s1678   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1448 h1455 h1670
11992    G       s1678   t3296
11993    B       b1679   s1678
11994    T       t1679   o747 b1679 b5702
11995    B       b1683   t1679
11996    S       s1683   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1448 h1455 h1670
11997    G       s1683   t5687
11998    B       b1685   s1683
11999    T       t1685   o747 b1685 b5702
12000    B       b1690   t1685
12001    B       b1691   t1455
12002    B       b1692   t1670
12003    T       t1692   o644 b1691 b1692
12004    H       h1692   z_1 t1692
12005    S       s1692   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1448 h1692
12006    G       s1692   t5687
12007    B       b1693   s1692
12008    T       t1693   o747 b1693 b5702
12009    B       b1694   t1693
12010    B       b1695   t1448
12011    B       b1699   t1692
12012    T       t1704   o644 b1695 b1699
12013    H       h1704   z t1704
12014    S       s1705   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1704
12015    G       s1705   t5687
12016    B       b1737   s1705
12017    T       t1737   o747 b1737 b5702
12018    B       b1863   t1737
12019    B       b1864   t1704
12020    T       t1880   o644 b1682 b1864
12021    H       h1880   z_1 t1880
12022    S       s1880   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1880
12023    G       s1880   t5687
12024    B       b1882   s1880
12025    T       t1882   o747 b1882 b5702
12026    B       b1954   t1882
12027    B       b1955   t1103
12028    B       b1956   t1880
12029    T       t1956   o644 b1955 b1956
12030    H       h1956   z t1956
12031    S       s1956   t726 h h5704 h5705 h782 h1044 h1046 h1956
12032    G       s1956   t5687
12033    B       b1959   s1956
12034    T       t1959   o747 b1959 b5702
12035    B       b2109   t1959
12036    B       b2110   t1956
12037    T       t2110   o644 b656 b2110
12038    H       h2110   z_1 t2110
12039    S       s2110   t726 h h5704 h5705 h782 h1044 h2110
12040    G       s2110   t5687
12041    B       b2115   s2110
12042    T       t2118   o747 b2115 b5702
12043    B       b2178   t2118
12044    B       b2180   t2110
12045    T       t2180   o644 b1680 b2180
12046    H       h2180   z t2180
12047    S       s2180   t726 h h5704 h5705 h782 h2180
12048    G       s2180   t5687
12049    B       b2181   s2180
12050    T       t2181   o747 b2181 b5702
12051    B       b2187   t2181
12052    B       b2188   t2180
12053    T       t2188   o644 b4572 b2188
12054    H       h2188   z_1 t2188
12055    S       s2188   t726 h h5704 h5705 h2188
12056    G       s2188   t5687
12057    B       b2189   s2188
12058    T       t2189   o747 b2189 b5702
12059    B       b2190   t2189
12060    B       b2191   t2188
12061    T       t2191   o644 b656 b2191
12062    H       h2191   z t2191
12063    S       s2191   t726 h h5704 h2191
12064    G       s2191   t5687
12065    B       b2192   s2191
12066    T       t2194   o747 b2192 b5702
12067    B       b2194   t2194
12068    B       b2198   t2191
12069    T       t2198   o644 b1680 b2198
12070    H       h2198   v t2198
12071    S       s2198   t726 h h2198
12072    G       s2198   t5687
12073    B       b2201   s2198
12074    T       t2201   o747 b2201 b5702
12075    B       b2203   t2201
12076    H       h2203   v t671
12077    S       s2203   t726 h h2203
12078    G       s2203   t5687
12079    B       b2206   s2203
12080    T       t2206   o747 b2206 b5702
12081    B       b2207   t2206
12082    T       t2207   o746 b2207 b4 b5732
12083    B       b2208   t2207
12084    T       t2208   o2 b2208
12085    B       b2209   t2208
12086    T       t2209   o746 b2203 b4 b2209
12087    B       b2215   t2209
12088    T       t2215   o2 b2215
12089    B       b2216   t2215
12090    T       t2216   o746 b2194 b4 b2216
12091    B       b2217   t2216
12092    T       t2217   o2 b2217
12093    B       b2218   t2217
12094    T       t2218   o746 b2190 b4 b2218
12095    B       b2224   t2218
12096    T       t2228   o2 b2224
12097    B       b2228   t2228
12098    T       t2239   o746 b2187 b4 b2228
12099    B       b2240   t2239
12100    T       t2240   o2 b2240
12101    B       b2241   t2240
12102    T       t2241   o746 b2178 b4 b2241
12103    B       b2249   t2241
12104    T       t2249   o2 b2249
12105    B       b2250   t2249
12106    T       t2250   o746 b2109 b4 b2250
12107    B       b2251   t2250
12108    T       t2251   o2 b2251
12109    B       b2265   t2251
12110    T       t2265   o746 b1954 b4 b2265
12111    B       b2286   t2265
12112    T       t2286   o2 b2286
12113    B       b2292   t2286
12114    T       t2295   o746 b1863 b4 b2292
12115    B       b2295   t2295
12116    T       t2308   o2 b2295
12117    B       b2309   t2308
12118    T       t2309   o746 b1694 b4 b2309
12119    B       b2312   t2309
12120    T       t2319   o2 b2312
12121    B       b2326   t2319
12122    T       t2326   o746 b1690 b780 b2326
12123    B       b2328   t2326
12124    T       t2328   o2 b2328
12125    B       b2346   t2328
12126    T       t2381   o746 b1683 b780 b2346
12127    B       b2404   t2381
12128    T       t2404   o2 b2404
12129    B       b2405   t2404
12130    T       t2405   o746 b1678 b4 b2405
12131    B       b2414   t2405
12132    T       t2414   o b2414 b4
12133    B       b2415   t2414
12134    T       t2415   o745 b5704 b2415
12135    B       b2417   t2415
12136    P       p2417   String "setSubstT << equal{car{'s}; collect{int; x. power{'g; 'a; 'x}}} >> 13 thenT autoT"
12137    O       o2417   ext_rule p2417
12138    S       s2417   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1448 h1455 h1670 h3294 h3295 h3335
12139    G       s2417   t893
12140    B       b2785   s2417
12141    T       t2786   o747 b2785 b5702
12142    B       b2786   t2786
12143    T       t2787   o2 b2414
12144    B       b2787   t2787
12145    T       t2788   o746 b2786 b4 b2787
12146    B       b2788   t2788
12147    T       t2789   o b2788 b4
12148    B       b2789   t2789
12149    T       t2790   o745 b2414 b2789
12150    B       b2790   t2790
12151    P       p2790   String "rwh reduceC 14 thenT autoT"
12152    O       o2790   ext_rule p2790
12153    H       h2790   y_9 t621
12154    P       p2791   Var y_9
12155    O       o2791   var p2791
12156    T       t2791   o2791
12157    B       b2791   t2791
12158    T       t2792   o586 b587 b596 b2791
12159    B       b2792   t2792
12160    T       t2793   o507 b622 b2792
12161    H       h2793   z_1 t2793
12162    S       s2793   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1448 h1455 h1670 h3294 h3295 h2790 h2793
12163    G       s2793   t893
12164    B       b2793   s2793
12165    T       t2794   o747 b2793 b5702
12166    B       b2794   t2794
12167    S       s2794   t726 h h5704 h5705 h782 h1044 h1046 h1103 h1104 h1448 h1455 h1670 h3294 h3295 h3349
12168    G       s2794   t893
12169    B       b2795   s2794
12170    T       t2795   o747 b2795 b5702
12171    B       b2796   t2795
12172    T       t2796   o2 b2788
12173    B       b2797   t2796
12174    T       t2797   o746 b2796 b4 b2797
12175    B       b2798   t2797
12176    T       t2798   o2 b2798
12177    B       b2799   t2798
12178    T       t2799   o746 b2794 b4 b2799
12179    B       b2807   t2799
12180    T       t2807   o b2807 b4
12181    B       b2812   t2807
12182    T       t2812   o745 b2788 b2812
12183    B       b2813   t2812
12184    P       p2813   String "setSubstT << equal{'x; power{'g; 'a; 'y_9}} >> 0 thenT autoT"
12185    O       o2813   ext_rule p2813
12186    T       t2813   o745 b2807 b4
12187    B       b2814   t2813
12188    T       t2814   o2813 b744 b2814 b4 b4
12189    B       b2815   t2814
12190    T       t2815   o b2815 b4
12191    B       b2816   t2815
12192    T       t2816   o2790 b744 b2813 b2816 b4
12193    B       b2817   t2816
12194    T       t2817   o b2817 b4
12195    B       b2818   t2817
12196    T       t2818   o2417 b744 b2790 b2818 b4
12197    B       b2819   t2818
12198    T       t2820   o b2819 b4
12199    B       b2821   t2820
12200  H       h2416   y_4 t790  H       h2416   y_4 t790
12201  H       h2417   y_5 t1224  H       h2417   y_5 t1224
12202  H       h2418   z_1 t1672  H       h2418   z_1 t1672
# Line 11999  Line 12285 
12285  B       b2458   t2457  B       b2458   t2457
12286  T       t2458   o746 b2420 b4 b2458  T       t2458   o746 b2420 b4 b2458
12287  B       b2459   t2458  B       b2459   t2458
 T       t2459   o b2459 b4  
 B       b2460   t2459  
 T       t2460   o745 b5704 b2460  
 B       b2461   t2460  
12288  P       p2461   String "setSubstT << equal{car{'s}; collect{int; x. power{'g; 'a; 'x}}} >> 10 thenT autoT"  P       p2461   String "setSubstT << equal{car{'s}; collect{int; x. power{'g; 'a; 'x}}} >> 10 thenT autoT"
12289  O       o2461   ext_rule p2461  O       o2461   ext_rule p2461
12290    H       h2821   z t667
12291    S       s2821   t726 h h5704 h5705 h782 h2821 h3294 h3295
12292    G       s2821   t893
12293    B       b2822   s2821
12294    T       t2824   o747 b2822 b5702
12295    B       b2825   t2824
12296    S       s2825   t726 h h5704 h5705 h782 h2821
12297    G       s2825   t3296
12298    B       b2826   s2825
12299    T       t2827   o747 b2826 b5702
12300    B       b2827   t2827
12301    S       s2827   t726 h h5704 h5705 h782 h2821
12302    G       s2827   t5687
12303    B       b2828   s2827
12304    T       t2828   o747 b2828 b5702
12305    B       b2829   t2828
12306    H       h2829   z_1 t668
12307    S       s2829   t726 h h5704 h5705 h2829
12308    G       s2829   t5687
12309    B       b2830   s2829
12310    T       t2830   o747 b2830 b5702
12311    B       b2831   t2830
12312    H       h2831   z t669
12313    S       s2831   t726 h h5704 h2831
12314    G       s2831   t5687
12315    B       b2832   s2831
12316    T       t2832   o747 b2832 b5702
12317    B       b2833   t2832
12318    T       t2839   o746 b2833 b4 b2209
12319    B       b2839   t2839
12320    T       t2840   o2 b2839
12321    B       b2840   t2840
12322    T       t2841   o746 b2831 b4 b2840
12323    B       b2841   t2841
12324    T       t2842   o2 b2841
12325    B       b2842   t2842
12326    T       t2843   o746 b2829 b780 b2842
12327    B       b2843   t2843
12328    T       t2844   o2 b2843
12329    B       b2844   t2844
12330    T       t2845   o746 b2827 b780 b2844
12331    B       b2845   t2845
12332    T       t2846   o2 b2845
12333    B       b2846   t2846
12334    T       t2847   o746 b2825 b4 b2846
12335    B       b2847   t2847
12336  S       s2461   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418 h3294 h3295 h3335  S       s2461   t726 h h5704 h5705 h782 h783 h2416 h2417 h2418 h3294 h3295 h3335
12337  G       s2461   t893  G       s2461   t893
12338  B       b2462   s2461  B       b2462   s2461
# Line 12016  Line 12344 
12344  B       b2465   t2464  B       b2465   t2464
12345  T       t2465   o b2465 b4  T       t2465   o b2465 b4
12346  B       b2466   t2465  B       b2466   t2465
12347  T       t2466   o745 b2459 b2466  T       t2848   o745 b2847 b2466
12348  B       b2467   t2466  B       b2848   t2848
12349  P       p2467   String "rwh reduceC 11 thenT autoT"  P       p2467   String "rwh reduceC 11 thenT autoT"
12350  O       o2467   ext_rule p2467  O       o2467   ext_rule p2467
12351  H       h2467   y_6 t621  H       h2467   y_6 t621
# Line 12063  Line 12391 
12391  B       b2484   t2483  B       b2484   t2483
12392  T       t2484   o b2484 b4  T       t2484   o b2484 b4
12393  B       b2485   t2484  B       b2485   t2484
12394  T       t2485   o2461 b744 b2467 b2485 b4  T       t2850   o2461 b744 b2848 b2485 b4
12395  B       b2489   t2485  B       b2851   t2850
12396  T       t2489   o b2489 b4  T       t2851   o b2851 b4
12397  B       b2491   t2489  B       b2852   t2851
12398  T       t2491   o2768 b744 b2461 b2491 b4  T       t2852   o1044 b744 b2417 b2821 b2852
12399  B       b2492   t2491  B       b2853   t2852
12400  T       t2492   o742 b2492  T       t2853   o742 b2853
12401  B       b2493   t2492  B       b2854   t2853
12402  T       t2493   o2416 b3265 b5695 b2493 b4  T       t2855   o2416 b3265 b5695 b2854 b4
12403  B       b2516   t2493  B       b2856   t2855
12404  T       t2518   o2414 b2516  T       t2856   o1041 b2856
12405  B       b2518   t2518  B       b2857   t2856
12406  P       p2518   Number 6184  P       p2857   Number 5854
12407  P       p2519   Number 6253  P       p2858   Number 5923
12408  O       o2519   location p2518 p2519  O       o2858   location p2857 p2858
12409  O       o2520   str_let p2518 p2519  O       o2859   str_let p2857 p2858
12410  P       p2520   Number 6188  P       p2859   Number 5858
12411  O       o2521   patt_var p2520 p2519  O       o2860   patt_var p2859 p2858
12412  O       o2522   patt_done p2518 p2519  O       o2861   patt_done p2857 p2858
12413  T       t2524   o2522  T       t2861   o2861
12414  B       b2592   t2524 cycsubgSubgroupT  B       b2861   t2861 cycsubgSubgroupT
12415  T       t2592   o2521 b2592  T       t2862   o2860 b2861
12416  B       b2593   t2592  B       b2862   t2862
12417  O       o2594   fun p2520 p2519  O       o2862   fun p2859 p2858
12418  O       o2595   patt_if p2520 p2519  O       o2863   patt_if p2859 p2858
12419  P       p2595   Number 6205  P       p2863   Number 5875
12420  P       p2596   Number 6206  P       p2864   Number 5876
12421  O       o2596   patt_var p2595 p2596  O       o2864   patt_var p2863 p2864
12422  O       o2597   patt_body p2520 p2519  O       o2865   patt_body p2859 p2858
12423  P       p2597   Number 6207  P       p2865   Number 5877
12424  P       p2598   Number 6208  P       p2866   Number 5878
12425  O       o2598   patt_var p2597 p2598  O       o2866   patt_var p2865 p2866
12426  P       p2599   Number 6214  P       p2867   Number 5884
12427  O       o2599   apply p2599 p2519  O       o2867   apply p2867 p2858
12428  P       p2600   Number 6251  P       p2868   Number 5921
12429  O       o2600   apply p2599 p2600  O       o2868   apply p2867 p2868
12430  P       p2601   Number 6249  P       p2869   Number 5919
12431  O       o2601   apply p2599 p2601  O       o2869   apply p2867 p2869
12432  P       p2602   Number 6230  P       p2870   Number 5900
12433  O       o2602   lid p2599 p2602  O       o2870   lid p2867 p2870
12434  O       o2603   lid p2416  O       o2603   lid p2416
12435  T       t2613   o2603  T       t2613   o2603
12436  B       b2680   t2613  B       b2680   t2613
12437  T       t2680   o2602 b2680  T       t2870   o2870 b2680
12438  B       b2681   t2680  B       b2870   t2870
12439  P       p2682   Number 6232  P       p2871   Number 5902
12440  P       p2683   Number 6248  P       p2872   Number 5918
12441  O       o2683   apply p2682 p2683  O       o2872   apply p2871 p2872
12442  P       p2684   Number 6246  P       p2873   Number 5916
12443  O       o2684   lid p2682 p2684  O       o2873   lid p2871 p2873
12444  T       t2684   o2684 b3188  T       t2873   o2873 b3188
12445  B       b2684   t2684  B       b2873   t2873
12446  P       p2685   Number 6247  P       p2874   Number 5917
12447  O       o2685   lid p2685 p2683  O       o2874   lid p2874 p2872
12448  T       t2685   o2685 b3190  T       t2874   o2874 b3190
12449  B       b2685   t2685  B       b2874   t2874
12450  T       t2686   o2683 b2684 b2685  T       t2875   o2872 b2873 b2874
12451  B       b2686   t2686  B       b2875   t2875
12452  T       t2687   o2601 b2681 b2686  T       t2877   o2869 b2870 b2875
12453  B       b2687   t2687  B       b2878   t2877
12454  P       p2687   Number 6250  P       p2878   Number 5920
12455  O       o2687   lid p2687 p2600  O       o2878   lid p2878 p2868
12456  T       t2688   o2687 b3346  T       t2878   o2878 b3346
12457  B       b2688   t2688  B       b2879   t2878
12458  T       t2689   o2600 b2687 b2688  T       t2879   o2868 b2878 b2879
12459  B       b2689   t2689  B       b2880   t2879
12460  P       p2689   Number 6252  P       p2880   Number 5922
12461  O       o2689   lid p2689 p2519  O       o2880   lid p2880 p2858
12462  T       t2690   o2689 b3190  T       t2880   o2880 b3190
12463  B       b2690   t2690  B       b2881   t2880
12464  T       t2691   o2599 b2689 b2690  T       t2881   o2867 b2880 b2881
12465  B       b2691   t2691  B       b2882   t2881
12466  T       t2692   o2597 b2691  T       t2882   o2865 b2882
12467  B       b2692   t2692 p  B       b2883   t2882 p
12468  T       t2693   o2598 b2692  T       t2883   o2866 b2883
12469  B       b2693   t2693  B       b2884   t2883
12470  T       t2694   o2595 b2693  T       t2884   o2863 b2884
12471  B       b2694   t2694  B       b2885   t2884
12472  T       t2695   o2594 b2694  T       t2885   o2862 b2885
12473  B       b2695   t2695  B       b2886   t2885
12474  T       t2696   o2597 b2695  T       t2886   o2865 b2886
12475  B       b2696   t2696 t  B       b2887   t2886 t
12476  T       t2697   o2596 b2696  T       t2887   o2864 b2887
12477  B       b2718   t2697  B       b2888   t2887
12478  T       t2718   o2595 b2718  T       t2888   o2863 b2888
12479  B       b2719   t2718  B       b2889   t2888
12480  T       t2719   o2594 b2719  T       t2889   o2862 b2889
12481  B       b2720   t2719  B       b2890   t2889
12482  T       t2720   o2520 b2593 b2720  T       t2890   o2859 b2862 b2890
12483  B       b2721   t2720  B       b2891   t2890
12484  T       t2721   o b2721 b4  T       t2891   o b2891 b4
12485  B       b2722   t2721  B       b2892   t2891
12486  T       t2722   o2520 b2722  T       t2892   o2859 b2892
12487  B       b2723   t2722  B       b2893   t2892
12488  T       t2723   o424 b2723  T       t2893   o424 b2893
12489  B       b2724   t2723  B       b2894   t2893
12490  T       t2724   o2519 b2724  T       t2894   o2858 b2894
12491  B       b2725   t2724  B       b2895   t2894
12492  NSummary!id     id2334  id Summary  NSummary!id     id2334  id Summary
12493  P       p2334   Number 477186461  P       p2334   Number 477186461
12494  O       o2334   id2334 p2334  O       o2334   id2334 p2334
# Line 12170  Line 12498 
12498  B       b2336   t2336  B       b2336   t2336
12499  T       t2337   o b2336 b4  T       t2337   o b2336 b4
12500  B       b2337   t2337  B       b2337   t2337
12501  T       t2725   o b2725 b2337  T       t2899   o b2895 b2337
12502  B       b2726   t2725  B       b2900   t2899
12503  T       t2726   o b2518 b2726  T       t2900   o b2857 b2900
12504  B       b2727   t2726  B       b2901   t2900
12505  T       t2727   o b2413 b2727  T       t2901   o b1040 b2901
12506  B       b2728   t2727  B       b2902   t2901
12507  T       t2728   o b2325 b2728  T       t2902   o b966 b2902
12508  B       b2729   t2728  B       b2903   t2902
12509  T       t2729   o b2308 b2729  T       t2903   o b902 b2903
12510  B       b2730   t2729  B       b2904   t2903
12511  T       t2730   o b2294 b2730  T       t2904   o b881 b2904
12512  B       b2731   t2730  B       b2905   t2904
12513  T       t2731   o b2283 b2731  T       t2908   o b871 b2905
12514  B       b2732   t2731  B       b2909   t2908
12515  T       t2732   o b2274 b2732  T       t2909   o b862 b2909
12516  B       b2734   t2732  B       b2910   t2909
12517  T       t2734   o b2262 b2734  T       t2910   o b849 b2910
12518  B       b2735   t2734  B       b2911   t2910
12519  T       t2735   o b2248 b2735  T       t2911   o b839 b2911
12520  B       b2736   t2735  B       b2912   t2911
12521  T       t2736   o b2239 b2736  T       t2912   o b827 b2912
12522  B       b2737   t2736  B       b2913   t2912
12523  T       t2737   o b2225 b2737  T       t2913   o b809 b2913
12524  B       b2738   t2737  B       b2914   t2913
12525  T       t2738   o b2214 b2738  T       t2916   o b800 b2914
12526  B       b2739   t2738  B       b2917   t2916
12527  T       t2739   o b2213 b2739  T       t2917   o b799 b2917
12528  B       b2741   t2739  B       b2918   t2917
12529  T       t2741   o b2212 b2741  T       t2918   o b798 b2918
12530  B       b2742   t2741  B       b2919   t2918
12531  T       t2742   o b2141 b2742  T       t2919   o b748 b2919
12532  B       b2743   t2742  B       b2920   t2919
12533  T       t2743   o b1736 b2743  T       t2920   o b674 b2920
12534  B       b2748   t2743  B       b2921   t2920
12535  T       t2748   o b617 b2748  T       t2921   o b664 b2921
12536  B       b2749   t2748  B       b2922   t2921
12537  T       t2749   o b669 b2749  T       t2924   o b663 b2922
12538  B       b2750   t2749  B       b2925   t2924
12539  T       t2750   o b592 b2750  T       t2925   o b660 b2925
12540  B       b2751   t2750  B       b2926   t2925
12541  T       t2751   o b583 b2751  T       t2929   o b658 b2926
12542  B       b2752   t2751  B       b2930   t2929
12543  T       t2752   o b576 b2752  T       t2930   o b650 b2930
12544  B       b2753   t2752  B       b2931   t2930
12545  T       t2753   o b569 b2753  T       t2934   o b645 b2931
12546  B       b2754   t2753  B       b2935   t2934
12547  T       t2754   o b562 b2754  T       t2935   o b639 b2935
12548  B       b2755   t2754  B       b2936   t2935
12549  T       t2755   o b555 b2755  T       t2940   o b631 b2936
12550  B       b2756   t2755  B       b2941   t2940
12551  T       t2756   o b547 b2756  T       t2941   o b627 b2941
12552  B       b2757   t2756  B       b2942   t2941
12553  T       t2757   o b539 b2757  T       t2945   o b620 b2942
12554  B       b2759   t2757  B       b2946   t2945
12555  T       t2759   o b531 b2759  T       t2946   o b603 b2946
12556  B       b2760   t2759  B       b2947   t2946
12557  T       t2768   o b524 b2760  T       t2951   o b597 b2947
12558  B       b2769   t2768  B       b2952   t2951
12559  T       t2769   o b517 b2769  T       t2952   o b584 b2952
12560  B       b2770   t2769  B       b2953   t2952
12561  T       t2770   o b510 b2770  T       t2956   o b571 b2953
12562  B       b2771   t2770  B       b2957   t2956
12563  T       t2771   o b503 b2771  T       t2957   o b557 b2957
12564  B       b2772   t2771  B       b2958   t2957
12565  T       t2772   o b496 b2772  T       t2962   o b541 b2958
12566  B       b2773   t2772  B       b2963   t2962
12567  T       t2773   o b487 b2773  T       t2963   o b526 b2963
12568  B       b2774   t2773  B       b2964   t2963
12569  T       t2774   o b478 b2774  T       t2968   o b504 b2964
12570  B       b2775   t2774  B       b2969   t2968
12571  T       t2775   o b469 b2775  T       t2969   o b488 b2969
12572  B       b2776   t2775  B       b2970   t2969
12573  T       t2776   o b460 b2776  T       t2975   o b461 b2970
12574  B       b2777   t2776  B       b2976   t2975
12575  T       t2777   o b451 b2777  T       t2976   o b443 b2976
12576  B       b2778   t2777  B       b2977   t2976
12577  T       t2778   o b442 b2778  T       t2981   o b425 b2977
12578  B       b2779   t2778  B       b2982   t2981
12579  T       t2779   o b433 b2779  T       t2982   o b405 b2982
12580  B       b2780   t2779  B       b2983   t2982
12581  T       t2780   o b422 b2780  T       t2986   o b402 b2983
12582  B       b2781   t2780  B       b2987   t2986
12583  T       t2781   o b420 b2781  T       t2987   o b387 b2987
12584  B       b2782   t2781  B       b2988   t2987
12585  T       t2782   o b418 b2782  T       t2992   o b362 b2988
12586  B       b2783   t2782  B       b2993   t2992
12587  T       t2783   o b633 b2783  T       t2993   o b330 b2993
12588  B       b2784   t2783  B       b2994   t2993
12589  T       t2784   o b594 b2784  T       t2998   o b303 b2994
12590    B       b2999   t2998
12591    T       t2999   o b594 b2999

Legend:
Removed from v.3569  
changed lines
  Added in v.3570

  ViewVC Help
Powered by ViewVC 1.1.26