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