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