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