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