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