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