extension | φ:Q→Out N | d | ρ | Label | ID |
C4:C4.1D10 = Dic5.14D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.1D10 | 320,386 |
C4:C4.2D10 = Dic5.5D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.2D10 | 320,387 |
C4:C4.3D10 = D4:Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.3D10 | 320,388 |
C4:C4.4D10 = D4.Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.4D10 | 320,390 |
C4:C4.5D10 = C4:C4.D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.5D10 | 320,391 |
C4:C4.6D10 = C20:Q8:C2 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.6D10 | 320,392 |
C4:C4.7D10 = D4.2Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.7D10 | 320,393 |
C4:C4.8D10 = (C8xDic5):C2 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.8D10 | 320,395 |
C4:C4.9D10 = D10:D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.9D10 | 320,402 |
C4:C4.10D10 = D10:SD16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.10D10 | 320,405 |
C4:C4.11D10 = C5:2C8:D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.11D10 | 320,407 |
C4:C4.12D10 = D4:3D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.12D10 | 320,408 |
C4:C4.13D10 = C5:(C8:2D4) | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.13D10 | 320,409 |
C4:C4.14D10 = D4.D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.14D10 | 320,410 |
C4:C4.15D10 = Q8:Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.15D10 | 320,418 |
C4:C4.16D10 = Dic5.3Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.16D10 | 320,419 |
C4:C4.17D10 = Dic5.9Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.17D10 | 320,421 |
C4:C4.18D10 = Q8:C4:D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.18D10 | 320,422 |
C4:C4.19D10 = Q8.Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.19D10 | 320,423 |
C4:C4.20D10 = C40:8C4.C2 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.20D10 | 320,424 |
C4:C4.21D10 = Q8.2Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.21D10 | 320,426 |
C4:C4.22D10 = Q8:Dic5:C2 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.22D10 | 320,427 |
C4:C4.23D10 = Q8:2D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.23D10 | 320,433 |
C4:C4.24D10 = D10:2SD16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.24D10 | 320,434 |
C4:C4.25D10 = D10:4Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.25D10 | 320,435 |
C4:C4.26D10 = Q8.D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.26D10 | 320,437 |
C4:C4.27D10 = D20:4D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.27D10 | 320,438 |
C4:C4.28D10 = C5:(C8:D4) | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.28D10 | 320,439 |
C4:C4.29D10 = D10:Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.29D10 | 320,440 |
C4:C4.30D10 = C5:2C8.D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.30D10 | 320,443 |
C4:C4.31D10 = Dic10:Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.31D10 | 320,481 |
C4:C4.32D10 = C40:5Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.32D10 | 320,482 |
C4:C4.33D10 = C40:3Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.33D10 | 320,483 |
C4:C4.34D10 = Dic10.Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.34D10 | 320,484 |
C4:C4.35D10 = C8.8Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.35D10 | 320,485 |
C4:C4.36D10 = D10.12SD16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.36D10 | 320,489 |
C4:C4.37D10 = D10.17SD16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.37D10 | 320,490 |
C4:C4.38D10 = C8:8D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.38D10 | 320,491 |
C4:C4.39D10 = C8:2D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.39D10 | 320,492 |
C4:C4.40D10 = C4.Q8:D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.40D10 | 320,493 |
C4:C4.41D10 = C20.(C4oD4) | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.41D10 | 320,494 |
C4:C4.42D10 = C8.2D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.42D10 | 320,495 |
C4:C4.43D10 = C40:2Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.43D10 | 320,501 |
C4:C4.44D10 = C40:4Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.44D10 | 320,503 |
C4:C4.45D10 = Dic10.2Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.45D10 | 320,504 |
C4:C4.46D10 = C8.6Dic10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.46D10 | 320,505 |
C4:C4.47D10 = D10.13D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.47D10 | 320,509 |
C4:C4.48D10 = C8:7D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.48D10 | 320,510 |
C4:C4.49D10 = D10.8Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.49D10 | 320,511 |
C4:C4.50D10 = C2.D8:D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.50D10 | 320,512 |
C4:C4.51D10 = C8:3D20 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.51D10 | 320,513 |
C4:C4.52D10 = D10:2Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.52D10 | 320,514 |
C4:C4.53D10 = C2.D8:7D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.53D10 | 320,515 |
C4:C4.54D10 = (C2xC10).D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.54D10 | 320,660 |
C4:C4.55D10 = C4:D4.D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.55D10 | 320,661 |
C4:C4.56D10 = (C2xD4).D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.56D10 | 320,662 |
C4:C4.57D10 = D20:17D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.57D10 | 320,664 |
C4:C4.58D10 = (C2xC10):D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.58D10 | 320,665 |
C4:C4.59D10 = C4:D4:D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.59D10 | 320,666 |
C4:C4.60D10 = Dic10:17D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.60D10 | 320,667 |
C4:C4.61D10 = C5:2C8:23D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.61D10 | 320,668 |
C4:C4.62D10 = C4.(D4xD5) | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.62D10 | 320,669 |
C4:C4.63D10 = C22:Q8.D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.63D10 | 320,670 |
C4:C4.64D10 = (C2xC10).Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.64D10 | 320,671 |
C4:C4.65D10 = C10.(C4oD8) | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.65D10 | 320,672 |
C4:C4.66D10 = D20.37D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.66D10 | 320,674 |
C4:C4.67D10 = C5:2C8:24D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.67D10 | 320,675 |
C4:C4.68D10 = C22:Q8:D5 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.68D10 | 320,676 |
C4:C4.69D10 = Dic10.37D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.69D10 | 320,677 |
C4:C4.70D10 = (C2xC10):Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.70D10 | 320,678 |
C4:C4.71D10 = C5:(C8.D4) | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.71D10 | 320,679 |
C4:C4.72D10 = Dic10.4Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.72D10 | 320,690 |
C4:C4.73D10 = C42.215D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.73D10 | 320,691 |
C4:C4.74D10 = C42.68D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.74D10 | 320,692 |
C4:C4.75D10 = D20.4Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.75D10 | 320,693 |
C4:C4.76D10 = C42.70D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.76D10 | 320,694 |
C4:C4.77D10 = C42.216D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.77D10 | 320,695 |
C4:C4.78D10 = C42.71D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.78D10 | 320,696 |
C4:C4.79D10 = C20.17D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.79D10 | 320,705 |
C4:C4.80D10 = C20.SD16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.80D10 | 320,706 |
C4:C4.81D10 = C42.76D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.81D10 | 320,707 |
C4:C4.82D10 = D20:5Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.82D10 | 320,711 |
C4:C4.83D10 = D20:6Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.83D10 | 320,714 |
C4:C4.84D10 = C20.D8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.84D10 | 320,715 |
C4:C4.85D10 = C42.82D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.85D10 | 320,716 |
C4:C4.86D10 = Dic10:5Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.86D10 | 320,718 |
C4:C4.87D10 = C20.11Q16 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.87D10 | 320,720 |
C4:C4.88D10 = Dic10:6Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.88D10 | 320,721 |
C4:C4.89D10 = C10.682- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.89D10 | 320,1269 |
C4:C4.90D10 = C10.342+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.90D10 | 320,1273 |
C4:C4.91D10 = C10.352+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.91D10 | 320,1274 |
C4:C4.92D10 = C10.442+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.92D10 | 320,1287 |
C4:C4.93D10 = C10.742- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.93D10 | 320,1293 |
C4:C4.94D10 = C10.502+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.94D10 | 320,1295 |
C4:C4.95D10 = C10.162- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.95D10 | 320,1300 |
C4:C4.96D10 = C10.172- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.96D10 | 320,1301 |
C4:C4.97D10 = C10.522+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.97D10 | 320,1308 |
C4:C4.98D10 = C10.772- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.98D10 | 320,1314 |
C4:C4.99D10 = C10.242- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.99D10 | 320,1315 |
C4:C4.100D10 = C10.572+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.100D10 | 320,1317 |
C4:C4.101D10 = C10.582+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.101D10 | 320,1318 |
C4:C4.102D10 = C10.262- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.102D10 | 320,1319 |
C4:C4.103D10 = C10.792- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.103D10 | 320,1320 |
C4:C4.104D10 = C10.802- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.104D10 | 320,1322 |
C4:C4.105D10 = C10.812- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.105D10 | 320,1323 |
C4:C4.106D10 = C10.822- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.106D10 | 320,1327 |
C4:C4.107D10 = C10.632+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.107D10 | 320,1332 |
C4:C4.108D10 = C10.852- 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.108D10 | 320,1337 |
C4:C4.109D10 = C10.692+ 1+4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.109D10 | 320,1339 |
C4:C4.110D10 = C42.147D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.110D10 | 320,1358 |
C4:C4.111D10 = C42.148D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.111D10 | 320,1361 |
C4:C4.112D10 = C42.151D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.112D10 | 320,1365 |
C4:C4.113D10 = C42.156D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.113D10 | 320,1370 |
C4:C4.114D10 = C42.157D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.114D10 | 320,1371 |
C4:C4.115D10 = C42.158D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.115D10 | 320,1372 |
C4:C4.116D10 = C42.159D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.116D10 | 320,1373 |
C4:C4.117D10 = C42.160D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.117D10 | 320,1374 |
C4:C4.118D10 = C42.161D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.118D10 | 320,1379 |
C4:C4.119D10 = C42.164D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.119D10 | 320,1382 |
C4:C4.120D10 = C42.165D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.120D10 | 320,1384 |
C4:C4.121D10 = Dic10:8Q8 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.121D10 | 320,1393 |
C4:C4.122D10 = C42.171D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.122D10 | 320,1396 |
C4:C4.123D10 = D20:12D4 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.123D10 | 320,1398 |
C4:C4.124D10 = C42.174D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.124D10 | 320,1401 |
C4:C4.125D10 = C42.176D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.125D10 | 320,1403 |
C4:C4.126D10 = C42.178D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.126D10 | 320,1405 |
C4:C4.127D10 = C42.180D10 | φ: D10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.127D10 | 320,1407 |
C4:C4.128D10 = Dic5:4D8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.128D10 | 320,383 |
C4:C4.129D10 = D4.D5:5C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.129D10 | 320,384 |
C4:C4.130D10 = Dic5:6SD16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.130D10 | 320,385 |
C4:C4.131D10 = Dic10:2D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.131D10 | 320,389 |
C4:C4.132D10 = Dic10.D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.132D10 | 320,394 |
C4:C4.133D10 = D4:(C4xD5) | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.133D10 | 320,398 |
C4:C4.134D10 = D4:2D5:C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.134D10 | 320,399 |
C4:C4.135D10 = D10.12D8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.135D10 | 320,401 |
C4:C4.136D10 = D10.16SD16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.136D10 | 320,404 |
C4:C4.137D10 = C40:6C4:C2 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.137D10 | 320,406 |
C4:C4.138D10 = C40:5C4:C2 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.138D10 | 320,411 |
C4:C4.139D10 = D4:D5:6C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.139D10 | 320,412 |
C4:C4.140D10 = D20:3D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.140D10 | 320,413 |
C4:C4.141D10 = D20.D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.141D10 | 320,414 |
C4:C4.142D10 = Dic5:7SD16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.142D10 | 320,415 |
C4:C4.143D10 = C5:Q16:5C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.143D10 | 320,416 |
C4:C4.144D10 = Dic5:4Q16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.144D10 | 320,417 |
C4:C4.145D10 = Dic5:Q16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.145D10 | 320,420 |
C4:C4.146D10 = Dic10.11D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.146D10 | 320,425 |
C4:C4.147D10 = D5xQ8:C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.147D10 | 320,428 |
C4:C4.148D10 = (Q8xD5):C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.148D10 | 320,429 |
C4:C4.149D10 = Q8:(C4xD5) | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.149D10 | 320,430 |
C4:C4.150D10 = Q8:2D5:C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.150D10 | 320,431 |
C4:C4.151D10 = D10.11SD16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.151D10 | 320,432 |
C4:C4.152D10 = D10.7Q16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.152D10 | 320,436 |
C4:C4.153D10 = (C2xC8).D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.153D10 | 320,441 |
C4:C4.154D10 = D10:1C8.C2 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.154D10 | 320,442 |
C4:C4.155D10 = Q8:D5:6C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.155D10 | 320,444 |
C4:C4.156D10 = Dic5:SD16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.156D10 | 320,445 |
C4:C4.157D10 = D20.12D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.157D10 | 320,446 |
C4:C4.158D10 = Dic5:8SD16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.158D10 | 320,479 |
C4:C4.159D10 = Dic20:15C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.159D10 | 320,480 |
C4:C4.160D10 = D5xC4.Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.160D10 | 320,486 |
C4:C4.161D10 = (C8xD5):C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.161D10 | 320,487 |
C4:C4.162D10 = C8:(C4xD5) | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.162D10 | 320,488 |
C4:C4.163D10 = D40:15C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.163D10 | 320,496 |
C4:C4.164D10 = D20:Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.164D10 | 320,497 |
C4:C4.165D10 = D20.Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.165D10 | 320,498 |
C4:C4.166D10 = D40:12C4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.166D10 | 320,499 |
C4:C4.167D10 = Dic5:5Q16 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.167D10 | 320,500 |
C4:C4.168D10 = Dic10:2Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.168D10 | 320,502 |
C4:C4.169D10 = D5xC2.D8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.169D10 | 320,506 |
C4:C4.170D10 = C8.27(C4xD5) | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.170D10 | 320,507 |
C4:C4.171D10 = C40:20(C2xC4) | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.171D10 | 320,508 |
C4:C4.172D10 = C40:21(C2xC4) | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.172D10 | 320,516 |
C4:C4.173D10 = D20:2Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.173D10 | 320,517 |
C4:C4.174D10 = D20.2Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.174D10 | 320,518 |
C4:C4.175D10 = C20:(C4oD4) | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.175D10 | 320,1268 |
C4:C4.176D10 = Dic10:19D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.176D10 | 320,1270 |
C4:C4.177D10 = Dic10:20D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.177D10 | 320,1271 |
C4:C4.178D10 = C4:C4.178D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.178D10 | 320,1272 |
C4:C4.179D10 = C10.362+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.179D10 | 320,1275 |
C4:C4.180D10 = C10.392+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.180D10 | 320,1280 |
C4:C4.181D10 = C10.732- 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.181D10 | 320,1283 |
C4:C4.182D10 = C10.432+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.182D10 | 320,1286 |
C4:C4.183D10 = C10.452+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.183D10 | 320,1288 |
C4:C4.184D10 = C10.1152+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.184D10 | 320,1290 |
C4:C4.185D10 = C10.472+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.185D10 | 320,1291 |
C4:C4.186D10 = (Q8xDic5):C2 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.186D10 | 320,1294 |
C4:C4.187D10 = C22:Q8:25D5 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.187D10 | 320,1296 |
C4:C4.188D10 = C10.152- 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.188D10 | 320,1297 |
C4:C4.189D10 = D20:22D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.189D10 | 320,1303 |
C4:C4.190D10 = Dic10:21D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.190D10 | 320,1304 |
C4:C4.191D10 = Dic10:22D4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.191D10 | 320,1305 |
C4:C4.192D10 = C10.1182+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.192D10 | 320,1307 |
C4:C4.193D10 = C10.202- 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.193D10 | 320,1310 |
C4:C4.194D10 = C10.212- 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.194D10 | 320,1311 |
C4:C4.195D10 = C10.222- 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.195D10 | 320,1312 |
C4:C4.196D10 = C10.232- 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.196D10 | 320,1313 |
C4:C4.197D10 = C4:C4.197D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.197D10 | 320,1321 |
C4:C4.198D10 = C10.642+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.198D10 | 320,1333 |
C4:C4.199D10 = C10.842- 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.199D10 | 320,1334 |
C4:C4.200D10 = C10.662+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.200D10 | 320,1335 |
C4:C4.201D10 = C10.672+ 1+4 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.201D10 | 320,1336 |
C4:C4.202D10 = Dic10:7Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.202D10 | 320,1357 |
C4:C4.203D10 = D5xC42.C2 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.203D10 | 320,1359 |
C4:C4.204D10 = C42.236D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.204D10 | 320,1360 |
C4:C4.205D10 = D20:7Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.205D10 | 320,1362 |
C4:C4.206D10 = C42.237D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.206D10 | 320,1363 |
C4:C4.207D10 = C42.150D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.207D10 | 320,1364 |
C4:C4.208D10 = C42.152D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.208D10 | 320,1366 |
C4:C4.209D10 = C42.153D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.209D10 | 320,1367 |
C4:C4.210D10 = C42.154D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.210D10 | 320,1368 |
C4:C4.211D10 = C42.155D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.211D10 | 320,1369 |
C4:C4.212D10 = C42.189D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.212D10 | 320,1378 |
C4:C4.213D10 = C42.162D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.213D10 | 320,1380 |
C4:C4.214D10 = C42.163D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.214D10 | 320,1381 |
C4:C4.215D10 = Dic10:9Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.215D10 | 320,1394 |
C4:C4.216D10 = D5xC4:Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.216D10 | 320,1395 |
C4:C4.217D10 = C42.240D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.217D10 | 320,1397 |
C4:C4.218D10 = D20:8Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.218D10 | 320,1399 |
C4:C4.219D10 = C42.241D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.219D10 | 320,1400 |
C4:C4.220D10 = D20:9Q8 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.220D10 | 320,1402 |
C4:C4.221D10 = C42.177D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.221D10 | 320,1404 |
C4:C4.222D10 = C42.179D10 | φ: D10/D5 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.222D10 | 320,1406 |
C4:C4.223D10 = C2xC10.D8 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.223D10 | 320,589 |
C4:C4.224D10 = C2xC20.Q8 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.224D10 | 320,590 |
C4:C4.225D10 = C20.47(C4:C4) | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.225D10 | 320,591 |
C4:C4.226D10 = C4oD20:9C4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.226D10 | 320,593 |
C4:C4.227D10 = (C2xC10).40D8 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.227D10 | 320,594 |
C4:C4.228D10 = C4:C4.228D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.228D10 | 320,595 |
C4:C4.229D10 = C2xC10.Q16 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.229D10 | 320,596 |
C4:C4.230D10 = C4:C4.230D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.230D10 | 320,597 |
C4:C4.231D10 = C4:C4.231D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.231D10 | 320,598 |
C4:C4.232D10 = C20.64(C4:C4) | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.232D10 | 320,622 |
C4:C4.233D10 = C4:C4.233D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.233D10 | 320,623 |
C4:C4.234D10 = C20.76(C4:C4) | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.234D10 | 320,625 |
C4:C4.235D10 = C4oD20:10C4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.235D10 | 320,629 |
C4:C4.236D10 = C4:C4.236D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.236D10 | 320,630 |
C4:C4.237D10 = C4.(C2xD20) | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.237D10 | 320,631 |
C4:C4.238D10 = C20.50D8 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.238D10 | 320,634 |
C4:C4.239D10 = C20.38SD16 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.239D10 | 320,635 |
C4:C4.240D10 = D4.3Dic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.240D10 | 320,636 |
C4:C4.241D10 = C4xD4:D5 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.241D10 | 320,640 |
C4:C4.242D10 = C42.48D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.242D10 | 320,641 |
C4:C4.243D10 = C20:7D8 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.243D10 | 320,642 |
C4:C4.244D10 = D4.1D20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.244D10 | 320,643 |
C4:C4.245D10 = C4xD4.D5 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.245D10 | 320,644 |
C4:C4.246D10 = C42.51D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.246D10 | 320,645 |
C4:C4.247D10 = D4.2D20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.247D10 | 320,646 |
C4:C4.248D10 = C20.48SD16 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.248D10 | 320,647 |
C4:C4.249D10 = C20.23Q16 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.249D10 | 320,648 |
C4:C4.250D10 = Q8.3Dic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.250D10 | 320,649 |
C4:C4.251D10 = C4xQ8:D5 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.251D10 | 320,652 |
C4:C4.252D10 = C42.56D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.252D10 | 320,653 |
C4:C4.253D10 = Q8:D20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.253D10 | 320,654 |
C4:C4.254D10 = Q8.1D20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.254D10 | 320,655 |
C4:C4.255D10 = C4xC5:Q16 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.255D10 | 320,656 |
C4:C4.256D10 = C42.59D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.256D10 | 320,657 |
C4:C4.257D10 = C20:7Q16 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.257D10 | 320,658 |
C4:C4.258D10 = C2xC20:Q8 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.258D10 | 320,1169 |
C4:C4.259D10 = C2xDic5.Q8 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.259D10 | 320,1170 |
C4:C4.260D10 = C2xC4.Dic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.260D10 | 320,1171 |
C4:C4.261D10 = C10.12- 1+4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.261D10 | 320,1172 |
C4:C4.262D10 = C10.2- 1+4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.262D10 | 320,1179 |
C4:C4.263D10 = C10.2+ 1+4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.263D10 | 320,1182 |
C4:C4.264D10 = C10.102+ 1+4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.264D10 | 320,1183 |
C4:C4.265D10 = C10.62- 1+4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.265D10 | 320,1187 |
C4:C4.266D10 = C42.88D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.266D10 | 320,1189 |
C4:C4.267D10 = C42.89D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.267D10 | 320,1190 |
C4:C4.268D10 = C42.90D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.268D10 | 320,1191 |
C4:C4.269D10 = C42.92D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.269D10 | 320,1198 |
C4:C4.270D10 = C42.93D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.270D10 | 320,1200 |
C4:C4.271D10 = C42.94D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.271D10 | 320,1201 |
C4:C4.272D10 = C42.95D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.272D10 | 320,1202 |
C4:C4.273D10 = C42.96D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.273D10 | 320,1203 |
C4:C4.274D10 = C42.99D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.274D10 | 320,1206 |
C4:C4.275D10 = C42.100D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.275D10 | 320,1207 |
C4:C4.276D10 = D4xDic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.276D10 | 320,1209 |
C4:C4.277D10 = C42.102D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.277D10 | 320,1210 |
C4:C4.278D10 = D4:5Dic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.278D10 | 320,1211 |
C4:C4.279D10 = C42.104D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.279D10 | 320,1212 |
C4:C4.280D10 = C42.105D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.280D10 | 320,1213 |
C4:C4.281D10 = D4:6Dic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.281D10 | 320,1215 |
C4:C4.282D10 = C42.228D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.282D10 | 320,1220 |
C4:C4.283D10 = Dic10:23D4 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.283D10 | 320,1224 |
C4:C4.284D10 = D4:6D20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.284D10 | 320,1227 |
C4:C4.285D10 = C42.229D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.285D10 | 320,1229 |
C4:C4.286D10 = C42.115D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.286D10 | 320,1233 |
C4:C4.287D10 = C42.116D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.287D10 | 320,1234 |
C4:C4.288D10 = C42.118D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.288D10 | 320,1236 |
C4:C4.289D10 = C42.119D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.289D10 | 320,1237 |
C4:C4.290D10 = Q8xDic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.290D10 | 320,1238 |
C4:C4.291D10 = C42.122D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.291D10 | 320,1240 |
C4:C4.292D10 = Q8:5Dic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.292D10 | 320,1241 |
C4:C4.293D10 = Q8:6Dic10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.293D10 | 320,1242 |
C4:C4.294D10 = Q8xD20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.294D10 | 320,1247 |
C4:C4.295D10 = Q8:5D20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.295D10 | 320,1248 |
C4:C4.296D10 = Q8:6D20 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.296D10 | 320,1249 |
C4:C4.297D10 = C42.232D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.297D10 | 320,1250 |
C4:C4.298D10 = C42.131D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.298D10 | 320,1252 |
C4:C4.299D10 = C42.132D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.299D10 | 320,1253 |
C4:C4.300D10 = C42.133D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.300D10 | 320,1254 |
C4:C4.301D10 = C42.134D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.301D10 | 320,1255 |
C4:C4.302D10 = C42.135D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.302D10 | 320,1256 |
C4:C4.303D10 = C42.136D10 | φ: D10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.303D10 | 320,1257 |
C4:C4.304D10 = C2xDic5:3Q8 | φ: trivial image | 320 | | C4:C4.304D10 | 320,1168 |
C4:C4.305D10 = C10.82+ 1+4 | φ: trivial image | 160 | | C4:C4.305D10 | 320,1176 |
C4:C4.306D10 = C10.52- 1+4 | φ: trivial image | 160 | | C4:C4.306D10 | 320,1185 |
C4:C4.307D10 = C10.112+ 1+4 | φ: trivial image | 160 | | C4:C4.307D10 | 320,1186 |
C4:C4.308D10 = C42.87D10 | φ: trivial image | 160 | | C4:C4.308D10 | 320,1188 |
C4:C4.309D10 = C42.188D10 | φ: trivial image | 160 | | C4:C4.309D10 | 320,1194 |
C4:C4.310D10 = C42.91D10 | φ: trivial image | 160 | | C4:C4.310D10 | 320,1195 |
C4:C4.311D10 = C42.97D10 | φ: trivial image | 160 | | C4:C4.311D10 | 320,1204 |
C4:C4.312D10 = C42.98D10 | φ: trivial image | 160 | | C4:C4.312D10 | 320,1205 |
C4:C4.313D10 = C4xD4:2D5 | φ: trivial image | 160 | | C4:C4.313D10 | 320,1208 |
C4:C4.314D10 = C42.106D10 | φ: trivial image | 160 | | C4:C4.314D10 | 320,1214 |
C4:C4.315D10 = C42.108D10 | φ: trivial image | 160 | | C4:C4.315D10 | 320,1218 |
C4:C4.316D10 = D20:24D4 | φ: trivial image | 160 | | C4:C4.316D10 | 320,1223 |
C4:C4.317D10 = Dic10:24D4 | φ: trivial image | 160 | | C4:C4.317D10 | 320,1225 |
C4:C4.318D10 = C42.113D10 | φ: trivial image | 160 | | C4:C4.318D10 | 320,1230 |
C4:C4.319D10 = C42.114D10 | φ: trivial image | 160 | | C4:C4.319D10 | 320,1231 |
C4:C4.320D10 = C42.117D10 | φ: trivial image | 160 | | C4:C4.320D10 | 320,1235 |
C4:C4.321D10 = Dic10:10Q8 | φ: trivial image | 320 | | C4:C4.321D10 | 320,1239 |
C4:C4.322D10 = C4xQ8xD5 | φ: trivial image | 160 | | C4:C4.322D10 | 320,1243 |
C4:C4.323D10 = C42.125D10 | φ: trivial image | 160 | | C4:C4.323D10 | 320,1244 |
C4:C4.324D10 = C4xQ8:2D5 | φ: trivial image | 160 | | C4:C4.324D10 | 320,1245 |
C4:C4.325D10 = C42.126D10 | φ: trivial image | 160 | | C4:C4.325D10 | 320,1246 |
C4:C4.326D10 = D20:10Q8 | φ: trivial image | 160 | | C4:C4.326D10 | 320,1251 |