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