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