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