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