Graph forms
for C4 [ 512, 338 ] = PL(ATD[8,2]#ATD[64,23])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 338 ] =
PL(ATD[8,2]#ATD[64,23]).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 280}, {256, 343}, {256, 399}, {256, 405}, {23, 279}, {250,
506}, {151, 407}, {140, 396}, {214, 470}, {224, 480}, {22, 276}, {57, 315},
{110, 364}, {243, 497}, {50, 305}, {61, 313}, {246, 498}, {156, 408}, {112,
372}, {92, 344}, {105, 365}, {165, 417}, {192, 452}, {193, 453}, {237, 489},
{49, 308}, {132, 385}, {123, 382}, {77, 328}, {164, 418}, {180, 434}, {186,
444}, {33, 294}, {65, 326}, {32, 296}, {136, 384}, {34, 298}, {201, 449}, {3,
266}, {68, 333}, {96, 361}, {27, 273}, {74, 320}, {95, 341}, {175, 421}, {234,
480}, {101, 366}, {104, 355}, {187, 432}, {214, 477}, {82, 350}, {204, 448},
{209, 477}, {58, 311}, {248, 501}, {180, 441}, {65, 335}, {69, 331}, {80, 350},
{5, 266}, {117, 378}, {37, 298}, {58, 309}, {70, 342}, {146, 386}, {120, 360},
{197, 469}, {202, 474}, {82, 323}, {132, 405}, {47, 316}, {65, 338}, {99, 368},
{216, 459}, {225, 498}, {226, 497}, {77, 345}, {131, 407}, {165, 433}, {234,
510}, {14, 283}, {155, 398}, {68, 337}, {219, 462}, {163, 437}, {181, 419}, {12,
283}, {115, 356}, {63, 296}, {93, 330}, {63, 295}, {252, 484}, {86, 334}, {170,
434}, {70, 351}, {121, 352}, {112, 361}, {194, 475}, {7, 285}, {129, 411}, {120,
354}, {13, 279}, {14, 276}, {208, 458}, {230, 508}, {17, 266}, {255, 484}, {117,
366}, {113, 362}, {97, 378}, {110, 373}, {191, 420}, {215, 460}, {53, 297}, {64,
348}, {167, 443}, {184, 420}, {108, 369}, {249, 484}, {221, 448}, {3, 285},
{160, 446}, {123, 357}, {179, 429}, {8, 279}, {251, 484}, {222, 449}, {135,
423}, {149, 437}, {211, 499}, {220, 508}, {227, 451}, {21, 308}, {244, 469},
{154, 443}, {138, 427}, {205, 492}, {30, 316}, {95, 381}, {41, 266}, {156, 447},
{70, 357}, {163, 384}, {206, 493}, {217, 506}, {19, 311}, {249, 477}, {102,
322}, {232, 460}, {176, 405}, {183, 402}, {201, 492}, {230, 451}, {12, 298},
{96, 326}, {97, 327}, {83, 372}, {162, 389}, {142, 425}, {90, 370}, {250, 466},
{160, 392}, {153, 432}, {251, 466}, {220, 501}, {73, 355}, {145, 443}, {228,
462}, {1, 298}, {8, 291}, {54, 285}, {67, 360}, {203, 480}, {27, 311}, {254,
466}, {142, 418}, {33, 269}, {207, 483}, {231, 459}, {21, 312}, {87, 378}, {88,
373}, {143, 417}, {6, 297}, {253, 466}, {249, 470}, {100, 331}, {85, 356}, {111,
350}, {91, 362}, {172, 413}, {176, 385}, {96, 338}, {142, 444}, {99, 337}, {170,
408}, {16, 291}, {78, 381}, {101, 342}, {35, 279}, {125, 329}, {121, 333}, {175,
411}, {184, 396}, {13, 312}, {161, 404}, {62, 267}, {108, 345}, {89, 367}, {247,
449}, {122, 332}, {37, 285}, {66, 378}, {199, 511}, {216, 480}, {229, 477}, {13,
308}, {148, 429}, {118, 335}, {34, 283}, {167, 414}, {187, 386}, {208, 489},
{19, 297}, {136, 434}, {132, 446}, {116, 334}, {101, 351}, {178, 393}, {11,
311}, {57, 261}, {182, 394}, {188, 384}, {44, 273}, {150, 427}, {64, 381}, {81,
364}, {222, 483}, {131, 445}, {158, 416}, {154, 420}, {139, 437}, {22, 297},
{127, 320}, {36, 283}, {50, 269}, {78, 369}, {229, 474}, {234, 469}, {77, 269},
{138, 458}, {122, 314}, {234, 426}, {36, 357}, {175, 494}, {42, 360}, {55, 373},
{69, 263}, {163, 481}, {22, 341}, {141, 462}, {44, 367}, {96, 291}, {103, 292},
{212, 407}, {46, 362}, {117, 305}, {87, 275}, {242, 438}, {107, 302}, {133,
448}, {12, 330}, {171, 493}, {28, 347}, {124, 315}, {144, 472}, {211, 411},
{224, 424}, {10, 323}, {59, 370}, {72, 257}, {102, 300}, {116, 318}, {202, 384},
{238, 420}, {55, 380}, {253, 438}, {218, 401}, {23, 347}, {68, 264}, {103, 299},
{182, 506}, {201, 389}, {221, 401}, {229, 425}, {213, 408}, {220, 401}, {9,
327}, {84, 282}, {162, 492}, {176, 510}, {192, 398}, {53, 357}, {220, 396}, {86,
263}, {251, 426}, {249, 424}, {126, 303}, {103, 310}, {75, 281}, {247, 421},
{80, 258}, {198, 404}, {204, 415}, {252, 424}, {20, 321}, {255, 426}, {120,
301}, {70, 275}, {104, 317}, {178, 487}, {236, 441}, {17, 327}, {93, 267}, {106,
316}, {191, 489}, {223, 393}, {22, 321}, {233, 446}, {23, 335}, {149, 461}, {26,
322}, {66, 282}, {172, 500}, {211, 395}, {214, 399}, {219, 386}, {25, 323}, {38,
380}, {14, 341}, {174, 501}, {98, 318}, {113, 301}, {100, 312}, {85, 264}, {88,
261}, {162, 511}, {173, 496}, {195, 414}, {20, 330}, {43, 373}, {27, 324}, {155,
452}, {144, 463}, {73, 278}, {59, 347}, {108, 269}, {254, 415}, {161, 448},
{134, 487}, {203, 426}, {233, 392}, {64, 290}, {76, 302}, {72, 299}, {130, 481},
{88, 315}, {174, 461}, {200, 427}, {224, 387}, {20, 368}, {251, 415}, {39, 323},
{209, 437}, {239, 395}, {61, 344}, {123, 286}, {92, 313}, {176, 469}, {196,
417}, {64, 294}, {231, 385}, {40, 335}, {50, 341}, {189, 474}, {237, 394}, {44,
324}, {123, 275}, {114, 282}, {56, 336}, {86, 318}, {6, 367}, {43, 322}, {53,
348}, {165, 460}, {206, 423}, {226, 395}, {77, 295}, {157, 503}, {134, 492},
{94, 308}, {173, 455}, {4, 367}, {254, 405}, {71, 300}, {89, 309}, {248, 404},
{131, 495}, {201, 421}, {119, 282}, {166, 459}, {175, 450}, {183, 474}, {194,
431}, {67, 301}, {146, 508}, {95, 305}, {34, 333}, {147, 508}, {129, 494}, {109,
258}, {127, 271}, {138, 506}, {168, 472}, {189, 461}, {195, 435}, {216, 424},
{25, 360}, {254, 399}, {152, 489}, {121, 264}, {87, 294}, {101, 276}, {243,
386}, {51, 321}, {75, 313}, {164, 470}, {40, 347}, {144, 483}, {194, 433}, {53,
321}, {248, 396}, {245, 385}, {149, 481}, {181, 449}, {235, 415}, {239, 411},
{128, 501}, {203, 446}, {102, 272}, {245, 387}, {103, 273}, {212, 418}, {39,
336}, {152, 495}, {185, 462}, {227, 404}, {229, 402}, {230, 401}, {36, 348},
{209, 425}, {243, 395}, {84, 301}, {148, 493}, {94, 295}, {48, 330}, {166, 476},
{157, 486}, {208, 427}, {12, 368}, {159, 483}, {125, 257}, {71, 315}, {33, 348},
{122, 263}, {67, 318}, {95, 290}, {166, 475}, {212, 425}, {222, 419}, {51, 333},
{145, 495}, {141, 499}, {129, 511}, {72, 310}, {86, 296}, {104, 278}, {241,
399}, {192, 447}, {25, 409}, {137, 265}, {47, 431}, {197, 325}, {200, 328},
{231, 359}, {27, 410}, {132, 261}, {118, 503}, {47, 430}, {240, 369}, {137,
267}, {142, 268}, {46, 429}, {48, 435}, {71, 452}, {172, 303}, {8, 397}, {252,
377}, {246, 371}, {126, 507}, {49, 436}, {179, 310}, {17, 406}, {80, 471}, {105,
494}, {164, 291}, {225, 358}, {36, 428}, {148, 284}, {139, 259}, {75, 451},
{227, 363}, {236, 356}, {241, 377}, {243, 379}, {192, 329}, {19, 409}, {26,
400}, {24, 403}, {69, 457}, {223, 339}, {237, 353}, {198, 331}, {235, 358}, {40,
422}, {136, 262}, {52, 442}, {57, 439}, {81, 479}, {217, 343}, {127, 496}, {244,
379}, {171, 292}, {125, 493}, {168, 312}, {188, 300}, {231, 375}, {38, 439},
{94, 463}, {172, 317}, {240, 353}, {11, 409}, {245, 359}, {117, 487}, {52, 422},
{168, 314}, {174, 316}, {179, 289}, {225, 371}, {233, 379}, {238, 380}, {10,
409}, {248, 363}, {43, 440}, {48, 419}, {97, 498}, {202, 345}, {32, 436}, {151,
259}, {94, 458}, {109, 505}, {199, 339}, {28, 393}, {47, 441}, {158, 264}, {182,
288}, {238, 376}, {241, 359}, {7, 400}, {125, 490}, {11, 412}, {185, 302}, {4,
412}, {159, 263}, {158, 262}, {154, 258}, {105, 497}, {30, 391}, {157, 260},
{128, 281}, {140, 278}, {250, 352}, {29, 390}, {60, 423}, {107, 496}, {227,
376}, {104, 500}, {143, 275}, {137, 277}, {111, 499}, {1, 412}, {133, 280},
{127, 482}, {16, 397}, {240, 365}, {62, 416}, {230, 376}, {9, 406}, {155, 260},
{15, 400}, {90, 453}, {45, 397}, {161, 257}, {118, 470}, {50, 402}, {58, 410},
{79, 495}, {219, 379}, {82, 499}, {145, 304}, {90, 507}, {228, 325}, {14, 428},
{72, 490}, {102, 452}, {173, 271}, {141, 302}, {10, 430}, {247, 339}, {45, 393},
{74, 494}, {83, 503}, {130, 295}, {200, 365}, {242, 343}, {135, 289}, {11, 428},
{30, 441}, {106, 461}, {226, 325}, {4, 428}, {255, 343}, {152, 304}, {151, 319},
{110, 454}, {44, 388}, {74, 482}, {193, 361}, {194, 362}, {57, 400}, {143, 294},
{139, 290}, {114, 475}, {106, 451}, {107, 450}, {177, 280}, {222, 375}, {223,
374}, {32, 394}, {138, 288}, {196, 366}, {204, 358}, {210, 376}, {244, 351},
{246, 349}, {116, 472}, {26, 439}, {158, 307}, {105, 455}, {184, 278}, {21,
442}, {156, 307}, {78, 481}, {179, 284}, {216, 375}, {235, 324}, {29, 429},
{155, 299}, {133, 309}, {66, 498}, {87, 487}, {135, 310}, {145, 288}, {206,
383}, {214, 359}, {215, 358}, {73, 507}, {141, 319}, {180, 262}, {196, 374},
{21, 422}, {122, 457}, {120, 459}, {33, 402}, {76, 511}, {89, 490}, {183, 259},
{15, 442}, {112, 453}, {83, 486}, {185, 268}, {232, 349}, {16, 422}, {111, 473},
{65, 503}, {79, 505}, {186, 268}, {233, 351}, {159, 296}, {162, 277}, {169,
286}, {241, 326}, {46, 406}, {207, 375}, {226, 346}, {236, 340}, {37, 412},
{128, 313}, {91, 482}, {98, 475}, {186, 259}, {217, 352}, {41, 403}, {252, 326},
{154, 288}, {60, 390}, {61, 391}, {109, 471}, {163, 281}, {170, 272}, {171,
273}, {206, 372}, {3, 440}, {119, 460}, {116, 463}, {49, 394}, {74, 497}, {205,
374}, {18, 430}, {157, 289}, {140, 304}, {31, 419}, {56, 388}, {76, 496}, {100,
472}, {181, 265}, {5, 440}, {39, 410}, {169, 276}, {191, 258}, {98, 476}, {160,
286}, {210, 364}, {228, 346}, {5, 442}, {31, 416}, {177, 270}, {205, 370}, {239,
336}, {54, 502}, {115, 435}, {113, 433}, {59, 507}, {67, 387}, {173, 365}, {236,
300}, {31, 478}, {149, 340}, {56, 505}, {178, 371}, {190, 383}, {238, 303}, {41,
491}, {121, 443}, {208, 274}, {153, 346}, {20, 464}, {146, 342}, {166, 354},
{184, 380}, {207, 267}, {151, 338}, {193, 260}, {195, 262}, {217, 287}, {19,
468}, {137, 334}, {24, 479}, {80, 407}, {167, 352}, {169, 366}, {25, 465}, {250,
306}, {32, 488}, {82, 410}, {198, 270}, {147, 346}, {152, 337}, {130, 328},
{247, 317}, {18, 473}, {24, 467}, {35, 488}, {4, 456}, {73, 389}, {91, 406},
{164, 361}, {174, 355}, {232, 293}, {6, 456}, {124, 434}, {18, 476}, {107, 421},
{183, 377}, {203, 261}, {30, 465}, {253, 306}, {112, 447}, {71, 392}, {190,
369}, {40, 504}, {136, 344}, {58, 490}, {97, 433}, {187, 363}, {66, 403}, {109,
444}, {213, 260}, {2, 464}, {6, 468}, {84, 390}, {199, 277}, {37, 502}, {84,
391}, {110, 445}, {202, 281}, {225, 306}, {7, 467}, {118, 418}, {100, 432},
{200, 284}, {218, 270}, {219, 271}, {43, 510}, {156, 329}, {99, 438}, {197,
272}, {2, 468}, {150, 320}, {119, 417}, {9, 479}, {10, 476}, {75, 413}, {17,
454}, {60, 491}, {63, 488}, {90, 397}, {167, 368}, {169, 382}, {182, 353}, {108,
436}, {133, 349}, {188, 356}, {45, 500}, {9, 467}, {18, 456}, {29, 455}, {207,
277}, {85, 398}, {197, 286}, {15, 467}, {52, 488}, {221, 257}, {31, 450}, {131,
350}, {114, 431}, {59, 486}, {89, 388}, {35, 509}, {150, 328}, {146, 332}, {39,
505}, {60, 482}, {147, 332}, {190, 353}, {5, 485}, {148, 372}, {140, 364}, {55,
471}, {62, 478}, {88, 440}, {180, 340}, {193, 289}, {218, 314}, {242, 274}, {23,
502}, {56, 473}, {98, 387}, {178, 339}, {42, 456}, {54, 468}, {165, 327}, {171,
329}, {198, 292}, {210, 304}, {51, 464}, {128, 355}, {126, 413}, {239, 268}, {1,
485}, {244, 272}, {124, 408}, {119, 403}, {26, 510}, {168, 332}, {188, 344},
{189, 345}, {160, 325}, {215, 306}, {235, 270}, {54, 464}, {81, 439}, {213,
307}, {2, 485}, {255, 280}, {153, 382}, {221, 314}, {16, 504}, {28, 500}, {45,
453}, {170, 322}, {186, 338}, {205, 293}, {46, 455}, {246, 287}, {150, 383},
{185, 336}, {189, 340}, {224, 265}, {15, 485}, {161, 331}, {35, 457}, {111,
388}, {212, 319}, {228, 271}, {61, 465}, {81, 445}, {83, 447}, {177, 349}, {211,
319}, {240, 284}, {51, 478}, {147, 382}, {115, 414}, {187, 342}, {242, 287},
{93, 435}, {191, 337}, {41, 454}, {253, 274}, {13, 509}, {195, 307}, {38, 471},
{55, 454}, {48, 450}, {153, 363}, {144, 354}, {139, 377}, {68, 438}, {79, 445},
{92, 430}, {215, 293}, {24, 491}, {42, 473}, {79, 444}, {92, 431}, {209, 290},
{114, 390}, {134, 370}, {124, 392}, {63, 458}, {134, 371}, {69, 432}, {85, 416},
{177, 324}, {196, 305}, {29, 491}, {113, 391}, {106, 413}, {232, 287}, {135,
383}, {1, 504}, {143, 374}, {38, 479}, {204, 309}, {2, 504}, {7, 509}, {28,
486}, {78, 436}, {199, 317}, {223, 293}, {42, 465}, {126, 389}, {181, 334}, {34,
478}, {245, 265}, {91, 423}, {52, 457}, {159, 354}, {115, 398}, {99, 414}, {210,
303}, {3, 509}, {8, 502}, {49, 463}, {190, 320}, {213, 299}, {218, 292}, {130,
381}, {237, 274}, {62, 512}, {76, 512}, {93, 512}, {129, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 280}
under the group generated by the following permutations:
a: (66, 119)(87, 143)(97, 165)(117, 196)(134, 205)(178, 223)(215, 225)(232,
246)(293, 371)(374, 487)(378, 417)(460, 498) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (12, 34)(20, 51)(31, 48)(62, 93)(68, 99)(85, 115)(121, 167)(158, 195)(264,
414)(330, 478)(333, 368)(416, 435)
c: (14, 36)(22, 53)(33, 50)(64, 95)(70, 101)(87, 117)(123, 169)(143, 196)(275,
366)(276, 357)(294, 305)(341, 348)
d: (73, 126)(75, 128)(104, 172)(106, 174)(140, 210)(184, 238)(220, 230)(227,
248)(278, 303)(355, 413)(376, 396)(451, 501)
e: (10, 25)(18, 42)(30, 47)(61, 92)(67, 98)(84, 114)(113, 194)(120, 166)(301,
475)(360, 476)(391, 431)(430, 465)
f: (4, 11)(6, 19)(10, 18)(25, 42)(27, 44)(39, 56)(58, 89)(82, 111)(311,
367)(323, 473)(388, 410)(409, 456)
g: (38, 81)(55, 110)(79, 109)(80, 131)(140, 184)(145, 154)(152, 191)(210,
238)(258, 495)(304, 420)(364, 380)(445, 471)
h: (132, 203)(176, 234)(214, 249)(216, 231)(224, 245)(241, 252)(251, 254)(255,
256)(359, 424)(385, 480)(399, 484)(405, 426)
m: (70, 123)(101, 169)(146, 147)(153, 187)(160, 233)(197, 244)(219, 228)(226,
243)(286, 351)(325, 379)(342, 382)(346, 386)
n1: (26, 57)(43, 88)(71, 102)(124, 170)(132, 176)(160, 197)(203, 234)(233,
244)(261, 510)(272, 392)(315, 322)(446, 469)
a1: (33, 64)(50, 95)(77, 130)(78, 108)(139, 183)(149, 189)(163, 202)(209,
229)(269, 381)(290, 402)(345, 481)(437, 474)
b1: (71, 124)(72, 125)(83, 157)(85, 158)(102, 170)(103, 171)(112, 193)(115,
195)(135, 206)(136, 188)(148, 179)(155, 156)(180, 236)(192, 213)(260, 447)(262,
356)(289, 372)(299, 329)(300, 434)(307, 398)(310, 493)(408, 452)
c1: (9, 24)(17, 41)(29, 46)(60, 91)(66, 97)(84, 113)(114, 194)(119, 165)(282,
433)(327, 403)(362, 390)(406, 491)
d1: (29, 60)(46, 91)(74, 105)(127, 173)(135, 179)(148, 206)(150, 200)(190,
240)(284, 383)(320, 365)(423, 429)(455, 482)
e1: (2, 37)(3, 6)(4, 5)(7, 19)(8, 51)(9, 10)(11, 15)(12, 40)(13, 22)(14, 21)(16,
34)(17, 18)(20, 23)(24, 25)(26, 58)(27, 57)(28, 48)(29, 30)(31, 45)(32, 33, 63,
64)(35, 53)(36, 52)(38, 82)(39, 81)(41, 42)(43, 89)(44, 88)(46, 47)(49, 50, 94,
95)(55, 111)(56, 110)(59, 93)(60, 61)(62, 90)(65, 99)(66, 120)(67, 119)(68,
96)(69, 123)(70, 122)(71, 103)(72, 102)(73, 76)(74, 75)(77, 130, 78, 108)(83,
195)(85, 193)(86, 143)(87, 159)(91, 92)(97, 166)(98, 165)(100, 169)(101,
168)(104, 107)(105, 106)(109, 131)(112, 158)(113, 114)(115, 157)(116, 196)(117,
144)(118, 167)(121, 164)(124, 171)(125, 170)(126, 129)(127, 128)(132, 177)(133,
176)(134, 207)(135, 188)(136, 206)(137, 205)(138, 209, 182, 229)(139, 237, 183,
208)(140, 185)(141, 184)(142, 145)(147, 187)(148, 180)(149, 240, 189, 200)(150,
163, 190, 202)(151, 191)(152, 186)(154, 212)(160, 198)(161, 197)(172, 175)(173,
174)(178, 222)(179, 236)(181, 223)(192, 213)(199, 201)(203, 235)(204, 234)(210,
239)(211, 238)(214, 217)(215, 224)(216, 225)(218, 233)(219, 220)(221, 244)(226,
227)(228, 248)(230, 243)(231, 246)(232, 245)(241, 242)(249, 250)(252, 253)(254,
255)(257, 272)(258, 407)(259, 489)(260, 398)(261, 324)(262, 372)(263, 275)(264,
361)(265, 293)(266, 456)(267, 370)(268, 304)(269, 295, 381, 436)(270, 446)(271,
501)(273, 315)(274, 377)(276, 312)(277, 492)(278, 302)(279, 321)(280, 405)(281,
320)(282, 301)(283, 422)(284, 340)(285, 468)(286, 331)(287, 359)(288, 425)(289,
356)(290, 394, 402, 458)(291, 333)(292, 392)(294, 296)(297, 509)(298, 504)(299,
452)(300, 310)(303, 411)(305, 463)(306, 424)(307, 447)(308, 341)(309, 510)(311,
400)(313, 482)(314, 351)(316, 455)(317, 421)(318, 417)(319, 420)(322, 490)(323,
479)(325, 404)(326, 438)(327, 476)(328, 481, 369, 345)(329, 408)(330, 347)(332,
342)(334, 374)(335, 368)(336, 364)(337, 338)(339, 449)(343, 399)(344, 423)(346,
363)(348, 488)(349, 385)(350, 471)(352, 470)(353, 474, 427, 437)(354, 378)(355,
496)(357, 457)(358, 480)(360, 403)(362, 431)(365, 461)(366, 472)(367, 440)(371,
375)(373, 388)(376, 395)(379, 401)(380, 499)(382, 432)(383, 384)(386, 508)(387,
460)(389, 511)(390, 391)(393, 419)(396, 462)(397, 478)(406, 430)(409, 467)(410,
439)(412, 485)(413, 494)(414, 503)(415, 426)(416, 453)(418, 443)(428, 442)(429,
441)(433, 475)(434, 493)(435, 486)(444, 495)(445, 505)(448, 469)(450, 500)(451,
497)(454, 473)(459, 498)(464, 502)(465, 491)(466, 484)(477, 506)(483, 487)(507,
512)
f1: (30, 61)(47, 92)(75, 106)(128, 174)(136, 180)(149, 163)(188, 236)(189,
202)(281, 461)(313, 316)(340, 384)(344, 441)
g1: (1, 3, 2, 7)(4, 88, 6, 57)(5, 54, 15, 37)(8, 52, 23, 21)(9, 12, 17, 20)(10,
170)(11, 43, 19, 26)(13, 16, 35, 40)(14, 110, 53, 38)(18, 124)(22, 81, 36,
55)(24, 34, 41, 51)(25, 102)(27, 176)(28, 49, 45, 32)(29, 31)(30, 188)(33, 184,
50, 140)(39, 244)(42, 71)(44, 132)(46, 48)(47, 136)(56, 233)(58, 234)(59, 94,
90, 63)(60, 62)(61, 236)(64, 238, 95, 210)(65, 168, 164, 69)(66, 68, 119,
121)(67, 155)(70, 109, 101, 79)(72, 224)(73, 77)(74, 76)(75, 149)(78, 172)(80,
169, 131, 123)(82, 197)(83, 144, 112, 159)(84, 85)(86, 157, 116, 193)(87, 191,
196, 145)(89, 203)(91, 93)(92, 180)(96, 122, 118, 100)(97, 99, 165, 167)(98,
213)(103, 245)(104, 108)(105, 107)(106, 163)(111, 160)(113, 115)(114, 158)(117,
152, 143, 154)(120, 192)(125, 216)(126, 130)(127, 129)(128, 189)(133, 251)(134,
208, 205, 138)(135, 137)(139, 230, 209, 227)(141, 226)(142, 187, 186, 146)(147,
212, 153, 151)(148, 222)(150, 162)(156, 166)(161, 252, 221, 249)(171, 231)(173,
175)(174, 202)(177, 254)(178, 237, 223, 182)(179, 181)(183, 220, 229, 248)(185,
243)(190, 199)(194, 195)(198, 241, 218, 214)(200, 201)(204, 255)(206, 207)(211,
228)(215, 217, 225, 242)(219, 239)(232, 250, 246, 253)(235, 256)(240, 247)(257,
424)(258, 366, 495, 275)(259, 508, 425, 363)(260, 318)(261, 367)(262, 431)(263,
503, 472, 361)(264, 282)(265, 310)(266, 464, 467, 298)(267, 423)(268, 386)(269,
278)(270, 399)(271, 411)(272, 323)(273, 385)(274, 293, 506, 371)(276, 445, 357,
471)(277, 383)(279, 422)(280, 415)(281, 461)(283, 454, 321, 479)(284, 449)(285,
485)(286, 350)(287, 306)(288, 487, 489, 374)(289, 334)(290, 376)(291, 457, 335,
312)(292, 359)(294, 420, 305, 304)(295, 507)(296, 486, 463, 453)(297, 439, 428,
373)(299, 387)(300, 465)(301, 398)(302, 497)(303, 381)(307, 475)(308, 397, 488,
347)(309, 426)(311, 510)(313, 340)(314, 470, 331, 326)(315, 456)(316, 384)(317,
369)(319, 346)(320, 511)(322, 409)(324, 405)(325, 499)(327, 368)(328, 389)(329,
459)(330, 406)(332, 418, 432, 338)(333, 403)(336, 379)(337, 417, 443, 378)(339,
353)(341, 364, 348, 380)(342, 444)(343, 358)(344, 441)(345, 355)(349, 466)(351,
505)(352, 498, 438, 460)(354, 447)(356, 391)(360, 452)(362, 435)(365, 421)(370,
458)(372, 483)(375, 493)(377, 401, 477, 404)(382, 407)(388, 446)(390, 416)(392,
473)(393, 394)(395, 462)(396, 402)(400, 412, 440, 468)(408, 476)(410, 469)(413,
481)(414, 433)(419, 429)(427, 492)(430, 434)(436, 500)(437, 451)(442, 502)(448,
484)(450, 455)(474, 501)(478, 491)(480, 490)(482, 512)(494, 496)(504, 509)
h1: (67, 120)(86, 159)(98, 166)(116, 144)(137, 207)(181, 222)(216, 224)(231,
245)(265, 375)(318, 354)(334, 483)(387, 459)
m1: (69, 122)(70, 123)(100, 168)(101, 169)(146, 153)(147, 187)(160, 233)(161,
221)(197, 244)(198, 218)(219, 228)(220, 248)(226, 243)(227, 230)(286, 351)(314,
331)(325, 379)(332, 432)(342, 382)(346, 386)(363, 508)(401, 404)
n2: (68, 121)(99, 167)(138, 208)(145, 152)(154, 191)(182, 237)(217, 242)(250,
253)(274, 506)(288, 489)(337, 443)(352, 438)
a2: (72, 125)(83, 157)(103, 171)(112, 193)(135, 206)(148, 179)(155, 192)(156,
213)(260, 447)(289, 372)(299, 329)(310, 493)
b2: (3, 8)(4, 34)(5, 16)(6, 51)(7, 23)(9, 28)(10, 48)(11, 12)(15, 40)(17,
45)(18, 31)(19, 20)(24, 59)(25, 93)(26, 118)(27, 99)(29, 73)(30, 76)(32, 69)(33,
70)(38, 83)(39, 115)(41, 90)(42, 62)(43, 164)(44, 68)(46, 104)(47, 107)(49,
100)(50, 101)(55, 112)(56, 85)(57, 65)(58, 167)(60, 126)(61, 129)(63, 122)(64,
123)(66, 134)(67, 137)(71, 186)(72, 145)(74, 75)(77, 146)(78, 153)(79, 155)(80,
156)(81, 157)(82, 195)(84, 162)(88, 96)(89, 121)(91, 172)(92, 175)(94, 168)(95,
169)(97, 178)(98, 181)(102, 142)(103, 152)(105, 128)(106, 127)(108, 187)(109,
192)(110, 193)(111, 158)(113, 199)(114, 201)(119, 205)(120, 207)(124, 151)(125,
154)(130, 147)(131, 213)(132, 241)(133, 217)(135, 210)(136, 211)(138, 221)(139,
160)(140, 179)(141, 180)(148, 184)(149, 228)(150, 230)(161, 182)(163, 226)(165,
223)(166, 222)(170, 212)(171, 191)(173, 174)(176, 214)(177, 242)(183, 233)(185,
236)(188, 239)(189, 219)(190, 227)(194, 247)(197, 209)(198, 237)(200, 220)(202,
243)(203, 252)(204, 250)(206, 238)(208, 218)(229, 244)(234, 249)(235, 253)(240,
248)(257, 288)(258, 329)(259, 392)(260, 445)(261, 326)(262, 499)(263, 296)(264,
388)(265, 387)(266, 397)(267, 360)(268, 300)(269, 342)(270, 274)(271, 461)(272,
425)(273, 337)(275, 294)(276, 341)(277, 301)(278, 429)(279, 509)(280, 343)(281,
497)(282, 492)(283, 428)(284, 396)(285, 502)(286, 290)(287, 349)(289, 364)(291,
440)(292, 489)(293, 460)(295, 332)(297, 321)(298, 412)(299, 495)(302, 441)(303,
423)(304, 310)(305, 366)(306, 358)(307, 350)(308, 312)(309, 352)(311, 368)(313,
494)(314, 458)(315, 338)(316, 496)(317, 362)(318, 334)(319, 434)(320, 451)(322,
418)(323, 435)(324, 438)(325, 437)(327, 393)(328, 508)(330, 409)(331, 394)(333,
367)(335, 400)(336, 356)(339, 433)(340, 462)(344, 411)(345, 386)(346, 481)(347,
467)(348, 357)(351, 402)(353, 404)(354, 483)(355, 455)(359, 385)(361, 373)(363,
369)(365, 501)(370, 403)(371, 498)(372, 380)(374, 417)(375, 459)(376, 383)(377,
446)(378, 487)(379, 474)(381, 382)(384, 395)(389, 390)(391, 511)(398, 505)(399,
405)(401, 427)(406, 500)(407, 408)(410, 414)(413, 482)(415, 466)(416, 473)(419,
476)(420, 493)(421, 431)(422, 442)(424, 480)(426, 484)(430, 450)(432, 436)(439,
503)(443, 490)(444, 452)(447, 471)(448, 506)(449, 475)(453, 454)(456, 478)(457,
488)(463, 472)(464, 468)(465, 512)(469, 477)(470, 510)(479, 486)(485, 504)(491,
507)
c2: (133, 204)(177, 235)(215, 232)(217, 250)(225, 246)(242, 253)(251, 255)(254,
256)(280, 415)(287, 306)(343, 466)(349, 358)
d2: (28, 59)(45, 90)(73, 104)(126, 172)(134, 178)(162, 199)(201, 247)(205,
223)(317, 389)(339, 492)(370, 393)(500, 507)
e2: (74, 127)(76, 129)(105, 173)(107, 175)(141, 211)(185, 239)(219, 243)(226,
228)(271, 497)(302, 411)(395, 462)(494, 496)
f2: (3, 7)(5, 15)(9, 17)(24, 41)(26, 43)(38, 55)(57, 88)(81, 110)(266, 467)(373,
439)(400, 440)(454, 479)
g2: (27, 58)(44, 89)(72, 103)(125, 171)(133, 177)(161, 198)(204, 235)(218,
221)(257, 292)(270, 448)(273, 490)(309, 324)
h2: (65, 118)(96, 164)(139, 209)(142, 186)(151, 212)(183, 229)(214, 241)(249,
252)(259, 425)(326, 470)(338, 418)(377, 477)
m2: (8, 23)(16, 40)(28, 45)(59, 90)(65, 96)(83, 112)(118, 164)(157, 193)(291,
335)(347, 397)(361, 503)(453, 486)
n3: (38, 81)(39, 82)(55, 110)(56, 111)(79, 80)(109, 131)(140, 184)(141,
185)(142, 212)(145, 154)(151, 186)(152, 191)(210, 238)(211, 239)(258, 495)(268,
319)(304, 420)(336, 499)(350, 505)(364, 380)(407, 444)(445, 471)
a3: (1, 2)(4, 6)(11, 19)(12, 20)(14, 22)(34, 51)(36, 53)(37, 54)(283, 321)(297,
428)(298, 464)(412, 468)
b3: (31, 62)(48, 93)(76, 107)(129, 175)(137, 181)(162, 201)(199, 247)(207,
222)(267, 419)(277, 449)(421, 511)(450, 512)
C4[ 512, 338 ]
512
-1 298 485 412 504
-2 485 464 468 504
-3 440 266 509 285
-4 367 412 456 428
-5 440 485 266 442
-6 297 367 456 468
-7 509 400 467 285
-8 397 279 291 502
-9 467 479 327 406
-10 430 409 476 323
-11 409 311 412 428
-12 330 298 368 283
-13 308 509 279 312
-14 341 276 283 428
-15 485 442 400 467
-16 397 422 291 504
-17 266 454 327 406
-18 473 430 476 456
-19 297 409 311 468
-20 330 321 464 368
-21 308 442 312 422
-22 297 341 276 321
-23 279 335 347 502
-24 467 479 403 491
-25 409 465 323 360
-26 322 400 510 439
-27 311 410 324 273
-28 486 500 347 393
-29 429 455 390 491
-30 441 465 391 316
-31 419 478 416 450
-32 488 436 394 296
-33 269 402 348 294
-34 298 333 478 283
-35 509 279 488 457
-36 357 348 283 428
-37 298 412 502 285
-38 380 479 471 439
-39 410 323 336 505
-40 422 335 347 504
-41 266 454 403 491
-42 473 465 456 360
-43 440 322 510 373
-44 388 367 324 273
-45 397 453 500 393
-46 429 455 362 406
-47 430 441 431 316
-48 330 419 435 450
-49 308 463 436 394
-50 341 269 402 305
-51 321 464 333 478
-52 442 422 488 457
-53 297 321 357 348
-54 464 468 502 285
-55 454 380 471 373
-56 473 388 336 505
-57 400 315 261 439
-58 309 311 410 490
-59 507 486 347 370
-60 390 423 491 482
-61 344 465 313 391
-62 267 478 512 416
-63 488 458 295 296
-64 290 348 381 294
-65 335 326 338 503
-66 498 378 282 403
-67 387 301 360 318
-68 264 333 337 438
-69 331 432 457 263
-70 275 342 357 351
-71 452 300 315 392
-72 299 310 257 490
-73 507 278 355 389
-74 320 497 482 494
-75 451 313 281 413
-76 496 302 511 512
-77 345 269 295 328
-78 369 381 436 481
-79 495 444 445 505
-80 407 258 350 471
-81 364 445 479 439
-82 410 323 499 350
-83 486 447 503 372
-84 301 390 391 282
-85 264 398 356 416
-86 334 263 296 318
-87 275 487 378 294
-88 440 315 261 373
-89 309 388 367 490
-90 397 507 453 370
-91 423 482 362 406
-92 430 431 344 313
-93 330 267 435 512
-94 308 463 458 295
-95 341 290 381 305
-96 291 326 338 361
-97 498 378 433 327
-98 387 475 476 318
-99 368 337 414 438
-100 331 432 312 472
-101 276 342 366 351
-102 452 300 322 272
-103 299 310 292 273
-104 278 355 500 317
-105 365 497 455 494
-106 451 413 316 461
-107 496 421 302 450
-108 345 269 369 436
-109 444 258 471 505
-110 364 454 445 373
-111 473 388 499 350
-112 453 447 361 372
-113 301 433 391 362
-114 431 475 390 282
-115 398 356 435 414
-116 463 334 318 472
-117 366 487 378 305
-118 418 335 470 503
-119 282 403 460 417
-120 354 301 360 459
-121 264 352 333 443
-122 332 314 457 263
-123 275 286 357 382
-124 408 434 315 392
-125 257 490 493 329
-126 507 389 303 413
-127 320 496 271 482
-128 355 313 281 501
-129 411 511 512 494
-130 381 481 295 328
-131 407 495 445 350
-132 385 446 261 405
-133 309 280 349 448
-134 487 370 371 492
-135 310 289 423 383
-136 344 434 262 384
-137 265 277 267 334
-138 506 288 458 427
-139 377 290 259 437
-140 396 364 278 304
-141 319 462 499 302
-142 418 268 444 425
-143 275 374 294 417
-144 463 354 472 483
-145 495 288 443 304
-146 342 386 332 508
-147 332 508 346 382
-148 429 284 372 493
-149 437 481 340 461
-150 320 328 383 427
-151 319 407 259 338
-152 495 489 304 337
-153 363 432 346 382
-154 288 420 443 258
-155 452 299 398 260
-156 408 447 307 329
-157 486 289 260 503
-158 264 262 416 307
-159 354 263 296 483
-160 286 325 446 392
-161 331 257 404 448
-162 277 389 511 492
-163 281 437 481 384
-164 418 291 470 361
-165 433 327 460 417
-166 354 475 476 459
-167 352 443 368 414
-168 332 312 314 472
-169 286 276 366 382
-170 408 322 434 272
-171 292 273 493 329
-172 500 303 413 317
-173 496 365 455 271
-174 355 501 316 461
-175 421 411 450 494
-176 385 510 469 405
-177 280 324 270 349
-178 487 371 393 339
-179 429 310 289 284
-180 441 434 262 340
-181 265 419 334 449
-182 506 353 288 394
-183 474 377 259 402
-184 396 420 278 380
-185 462 268 302 336
-186 268 444 259 338
-187 363 342 386 432
-188 300 344 356 384
-189 474 345 340 461
-190 320 353 369 383
-191 420 258 489 337
-192 452 398 447 329
-193 453 289 260 361
-194 431 475 433 362
-195 435 414 262 307
-196 374 366 305 417
-197 286 325 469 272
-198 331 270 292 404
-199 277 511 317 339
-200 365 284 328 427
-201 421 389 492 449
-202 474 345 281 384
-203 446 480 261 426
-204 309 358 415 448
-205 374 293 370 492
-206 423 372 383 493
-207 375 277 267 483
-208 489 458 427 274
-209 290 477 425 437
-210 364 376 303 304
-211 319 411 499 395
-212 319 407 418 425
-213 408 299 260 307
-214 399 477 359 470
-215 358 293 306 460
-216 375 424 480 459
-217 352 506 287 343
-218 401 270 292 314
-219 462 386 379 271
-220 396 508 401 501
-221 257 401 314 448
-222 375 419 449 483
-223 374 293 393 339
-224 265 387 424 480
-225 498 358 371 306
-226 497 346 325 395
-227 363 451 376 404
-228 462 346 325 271
-229 474 477 402 425
-230 451 376 508 401
-231 385 375 359 459
-232 287 293 349 460
-233 379 446 392 351
-234 510 469 480 426
-235 324 270 358 415
-236 441 300 356 340
-237 353 489 394 274
-238 376 420 303 380
-239 268 411 336 395
-240 353 365 369 284
-241 377 399 326 359
-242 287 343 438 274
-243 386 497 379 395
-244 379 469 272 351
-245 385 265 387 359
-246 287 498 349 371
-247 421 317 339 449
-248 363 396 501 404
-249 484 477 424 470
-250 352 506 466 306
-251 484 466 415 426
-252 484 377 424 326
-253 466 306 438 274
-254 399 466 415 405
-255 484 343 280 426
-256 343 399 280 405
-257 221 125 72 161
-258 154 80 191 109
-259 139 183 151 186
-260 155 157 213 193
-261 88 132 57 203
-262 136 158 180 195
-263 122 69 159 86
-264 121 68 158 85
-265 245 224 137 181
-266 3 5 17 41
-267 93 137 62 207
-268 239 185 142 186
-269 33 77 50 108
-270 198 177 235 218
-271 127 173 228 219
-272 244 102 170 197
-273 44 103 27 171
-274 242 253 237 208
-275 143 123 70 87
-276 22 101 14 169
-277 199 137 162 207
-278 104 73 140 184
-279 23 13 35 8
-280 133 177 255 256
-281 202 128 75 163
-282 66 114 84 119
-283 12 34 14 36
-284 200 179 148 240
-285 3 37 7 54
-286 123 169 160 197
-287 242 232 246 217
-288 154 145 138 182
-289 135 157 179 193
-290 209 95 139 64
-291 16 8 96 164
-292 198 103 171 218
-293 232 223 215 205
-294 33 143 64 87
-295 77 94 63 130
-296 159 63 86 32
-297 22 6 19 53
-298 1 12 34 37
-299 155 103 213 72
-300 188 102 71 236
-301 67 113 84 120
-302 107 141 185 76
-303 210 126 172 238
-304 210 145 140 152
-305 50 95 117 196
-306 253 225 215 250
-307 156 158 213 195
-308 13 49 94 21
-309 89 133 58 204
-310 135 179 103 72
-311 11 58 27 19
-312 100 13 168 21
-313 92 61 128 75
-314 122 221 168 218
-315 88 57 124 71
-316 47 106 30 174
-317 199 104 247 172
-318 67 116 86 98
-319 211 212 151 141
-320 190 127 150 74
-321 22 51 20 53
-322 102 26 170 43
-323 25 82 39 10
-324 44 177 235 27
-325 160 226 228 197
-326 96 65 241 252
-327 165 17 9 97
-328 77 200 150 130
-329 156 125 192 171
-330 12 48 93 20
-331 198 100 69 161
-332 122 146 168 147
-333 121 34 68 51
-334 137 181 116 86
-335 23 40 118 65
-336 56 39 239 185
-337 99 68 191 152
-338 96 151 65 186
-339 199 178 223 247
-340 189 180 236 149
-341 22 14 50 95
-342 187 101 146 70
-343 242 255 256 217
-344 188 92 136 61
-345 77 189 202 108
-346 147 226 228 153
-347 23 59 28 40
-348 33 36 53 64
-349 133 177 232 246
-350 111 80 82 131
-351 101 233 244 70
-352 121 167 217 250
-353 190 182 237 240
-354 144 166 159 120
-355 104 73 128 174
-356 188 115 236 85
-357 123 36 70 53
-358 235 225 204 215
-359 231 245 214 241
-360 67 25 42 120
-361 112 193 96 164
-362 46 91 113 194
-363 187 248 227 153
-364 110 210 81 140
-365 200 105 173 240
-366 101 169 117 196
-367 44 89 4 6
-368 99 12 167 20
-369 78 190 108 240
-370 90 134 59 205
-371 134 178 246 225
-372 112 148 83 206
-373 55 88 110 43
-374 143 223 205 196
-375 231 222 216 207
-376 210 227 238 230
-377 139 183 241 252
-378 66 117 97 87
-379 243 233 244 219
-380 55 38 238 184
-381 78 95 64 130
-382 123 147 169 153
-383 135 190 150 206
-384 188 136 202 163
-385 132 176 231 245
-386 187 243 146 219
-387 67 245 224 98
-388 44 56 89 111
-389 201 126 73 162
-390 114 60 29 84
-391 113 61 84 30
-392 233 124 71 160
-393 45 178 223 28
-394 49 182 237 32
-395 243 211 226 239
-396 220 248 140 184
-397 45 90 16 8
-398 155 115 192 85
-399 254 256 214 241
-400 57 15 26 7
-401 220 221 218 230
-402 33 50 183 229
-403 66 24 41 119
-404 198 248 161 227
-405 132 176 254 256
-406 46 91 17 9
-407 80 212 151 131
-408 156 124 213 170
-409 11 25 19 10
-410 58 27 82 39
-411 211 129 239 175
-412 11 1 4 37
-413 126 106 172 75
-414 99 167 115 195
-415 254 235 204 251
-416 158 62 85 31
-417 143 165 119 196
-418 212 118 142 164
-419 222 48 181 31
-420 154 191 238 184
-421 201 247 107 175
-422 16 40 52 21
-423 91 135 60 206
-424 224 216 249 252
-425 209 212 229 142
-426 255 234 203 251
-427 200 138 150 208
-428 11 14 36 4
-429 46 179 148 29
-430 47 92 18 10
-431 47 92 114 194
-432 187 100 69 153
-433 165 113 194 97
-434 124 136 180 170
-435 48 93 115 195
-436 78 49 108 32
-437 209 149 139 163
-438 99 242 253 68
-439 57 26 81 38
-440 88 3 5 43
-441 47 180 236 30
-442 15 5 52 21
-443 121 154 145 167
-444 79 109 142 186
-445 110 79 81 131
-446 132 233 203 160
-447 112 156 192 83
-448 133 221 204 161
-449 222 201 181 247
-450 48 107 31 175
-451 106 227 75 230
-452 155 102 71 192
-453 45 90 112 193
-454 55 110 17 41
-455 46 105 29 173
-456 4 6 18 42
-457 122 35 69 52
-458 94 138 63 208
-459 231 166 216 120
-460 165 232 215 119
-461 189 149 106 174
-462 228 141 185 219
-463 144 49 94 116
-464 2 51 20 54
-465 25 61 30 42
-466 253 254 250 251
-467 24 15 7 9
-468 2 6 19 54
-469 176 244 234 197
-470 214 249 118 164
-471 55 80 38 109
-472 100 144 168 116
-473 56 111 18 42
-474 189 202 183 229
-475 166 114 194 98
-476 166 18 10 98
-477 209 214 249 229
-478 34 51 62 31
-479 24 81 38 9
-480 234 224 203 216
-481 78 149 130 163
-482 91 60 127 74
-483 144 222 159 207
-484 255 249 251 252
-485 1 2 15 5
-486 157 59 28 83
-487 134 178 117 87
-488 35 52 63 32
-489 191 237 152 208
-490 89 58 125 72
-491 24 60 29 41
-492 134 201 205 162
-493 125 148 171 206
-494 105 74 129 175
-495 79 145 152 131
-496 127 107 173 76
-497 243 105 226 74
-498 66 246 225 97
-499 111 211 82 141
-500 45 104 28 172
-501 220 248 128 174
-502 23 37 8 54
-503 157 83 118 65
-504 1 2 16 40
-505 56 79 39 109
-506 138 182 217 250
-507 90 59 126 73
-508 220 146 147 230
-509 13 35 3 7
-510 176 234 26 43
-511 199 129 162 76
-512 93 62 129 76
0