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