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