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