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