Graph forms
for C4 [ 408, 43 ] = B(AT[204,8])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 408, 43 ] =
B(AT[204,8]).
(I) Following is a form readable by MAGMA:
g:=Graph<408|{ {136, 248}, {138, 250}, {137, 249}, {130, 243}, {139, 255}, {131,
244}, {129, 252}, {136, 247}, {125, 253}, {126, 254}, {110, 239}, {113, 240},
{114, 243}, {122, 251}, {115, 244}, {96, 237}, {98, 239}, {123, 246}, {97, 238},
{105, 249}, {107, 251}, {101, 247}, {105, 251}, {108, 254}, {99, 240}, {103,
244}, {100, 241}, {102, 243}, {106, 252}, {107, 253}, {101, 242}, {109, 245},
{104, 241}, {104, 242}, {106, 246}, {103, 250}, {108, 242}, {111, 240}, {112,
239}, {64, 224}, {74, 234}, {73, 233}, {72, 232}, {71, 231}, {70, 230}, {68,
228}, {67, 227}, {66, 226}, {65, 225}, {78, 236}, {64, 230}, {78, 232}, {69,
227}, {75, 226}, {73, 227}, {77, 231}, {95, 245}, {79, 228}, {76, 226}, {83,
252}, {78, 254}, {71, 246}, {72, 249}, {74, 248}, {70, 245}, {84, 231}, {89,
237}, {90, 238}, {93, 233}, {94, 234}, {95, 235}, {82, 229}, {83, 234}, {86,
236}, {92, 230}, {88, 228}, {69, 248}, {80, 237}, {85, 235}, {91, 229}, {81,
238}, {87, 232}, {17, 209}, {19, 211}, {13, 207}, {16, 210}, {18, 209}, {11,
207}, {23, 211}, {22, 210}, {8, 206}, {30, 216}, {21, 211}, {20, 210}, {9, 207},
{5, 205}, {28, 212}, {6, 206}, {4, 205}, {7, 206}, {29, 215}, {31, 213}, {24,
212}, {26, 214}, {25, 213}, {1, 207}, {51, 253}, {49, 255}, {43, 229}, {3, 205},
{1, 206}, {27, 212}, {2, 205}, {1, 209}, {2, 210}, {1, 208}, {2, 211}, {4, 214},
{51, 224}, {56, 235}, {3, 215}, {2, 212}, {3, 213}, {54, 225}, {5, 221}, {7,
223}, {3, 217}, {58, 224}, {51, 233}, {10, 208}, {6, 220}, {5, 222}, {55, 236},
{4, 216}, {61, 225}, {12, 208}, {4, 218}, {15, 209}, {14, 208}, {5, 219}, {37,
250}, {46, 241}, {8, 232}, {63, 223}, {9, 235}, {62, 220}, {29, 255}, {12, 238},
{11, 233}, {6, 226}, {57, 221}, {7, 227}, {59, 222}, {6, 224}, {12, 234}, {11,
237}, {10, 236}, {9, 239}, {7, 225}, {16, 247}, {60, 219}, {56, 223}, {17, 248},
{48, 217}, {19, 250}, {52, 222}, {18, 249}, {55, 220}, {49, 218}, {20, 255}, {8,
228}, {10, 230}, {9, 229}, {25, 247}, {53, 219}, {8, 231}, {50, 221}, {17, 254},
{42, 218}, {13, 252}, {46, 223}, {44, 221}, {36, 214}, {41, 219}, {40, 218},
{37, 215}, {14, 253}, {45, 222}, {13, 251}, {47, 217}, {35, 213}, {33, 215},
{32, 214}, {43, 220}, {14, 246}, {10, 240}, {34, 216}, {15, 245}, {14, 244},
{11, 241}, {12, 242}, {39, 217}, {38, 216}, {13, 243}, {124, 380}, {22, 279},
{30, 287}, {23, 277}, {69, 327}, {41, 299}, {32, 290}, {27, 281}, {24, 283},
{69, 326}, {33, 293}, {141, 393}, {140, 392}, {137, 397}, {34, 294}, {126, 379},
{23, 273}, {158, 408}, {49, 311}, {48, 310}, {28, 282}, {15, 264}, {25, 286},
{103, 352}, {24, 272}, {159, 407}, {156, 404}, {134, 398}, {30, 278}, {29, 277},
{28, 276}, {27, 275}, {26, 274}, {85, 349}, {89, 337}, {76, 325}, {157, 404},
{153, 400}, {152, 401}, {89, 336}, {50, 312}, {79, 325}, {76, 326}, {36, 303},
{62, 309}, {33, 300}, {35, 302}, {129, 396}, {15, 257}, {22, 280}, {34, 301},
{143, 384}, {130, 397}, {54, 313}, {100, 363}, {101, 362}, {41, 313}, {135,
407}, {37, 308}, {66, 339}, {18, 256}, {154, 392}, {73, 347}, {38, 308}, {20,
262}, {117, 359}, {123, 361}, {16, 259}, {17, 261}, {18, 263}, {39, 306}, {37,
304}, {26, 268}, {129, 407}, {88, 334}, {99, 373}, {128, 406}, {19, 260}, {156,
395}, {40, 319}, {38, 305}, {21, 258}, {19, 267}, {47, 311}, {45, 309}, {23,
271}, {22, 270}, {21, 269}, {20, 268}, {35, 314}, {139, 402}, {39, 318}, {36,
317}, {16, 266}, {64, 346}, {47, 309}, {43, 305}, {31, 260}, {65, 346}, {61,
294}, {58, 289}, {55, 300}, {40, 307}, {21, 265}, {42, 310}, {102, 378}, {112,
364}, {113, 365}, {125, 353}, {46, 307}, {152, 389}, {151, 394}, {68, 345}, {38,
312}, {139, 405}, {86, 328}, {87, 329}, {114, 364}, {115, 365}, {35, 316}, {145,
398}, {36, 315}, {64, 352}, {78, 367}, {185, 408}, {79, 366}, {92, 381}, {94,
383}, {65, 355}, {86, 372}, {87, 373}, {32, 259}, {66, 353}, {83, 368}, {88,
379}, {93, 382}, {117, 342}, {113, 341}, {162, 390}, {174, 395}, {90, 380},
{100, 322}, {114, 340}, {66, 357}, {84, 371}, {50, 282}, {175, 391}, {168, 384},
{165, 397}, {80, 376}, {81, 377}, {82, 378}, {75, 354}, {165, 396}, {53, 287},
{191, 405}, {53, 286}, {189, 406}, {172, 391}, {73, 354}, {120, 340}, {190,
402}, {52, 281}, {169, 388}, {77, 355}, {48, 287}, {52, 260}, {186, 394}, {178,
386}, {164, 404}, {119, 327}, {67, 370}, {189, 396}, {183, 390}, {167, 406},
{86, 359}, {88, 361}, {90, 363}, {26, 296}, {161, 403}, {127, 333}, {85, 358},
{160, 403}, {89, 362}, {111, 348}, {29, 297}, {166, 402}, {164, 400}, {31, 299},
{30, 298}, {164, 401}, {181, 387}, {183, 385}, {107, 348}, {56, 256}, {190,
390}, {180, 396}, {110, 342}, {123, 323}, {42, 275}, {186, 387}, {45, 276}, {32,
282}, {44, 278}, {27, 288}, {163, 408}, {41, 274}, {24, 292}, {80, 364}, {81,
365}, {98, 350}, {33, 284}, {185, 388}, {184, 389}, {176, 397}, {170, 407}, {76,
369}, {74, 375}, {44, 273}, {102, 347}, {104, 341}, {25, 295}, {188, 386}, {182,
392}, {72, 374}, {31, 289}, {91, 357}, {28, 291}, {34, 285}, {87, 360}, {92,
284}, {192, 384}, {105, 296}, {201, 395}, {202, 393}, {91, 285}, {118, 304},
{201, 398}, {91, 275}, {199, 399}, {104, 288}, {70, 271}, {204, 389}, {192,
393}, {97, 299}, {198, 394}, {77, 256}, {96, 301}, {97, 300}, {98, 303}, {99,
302}, {112, 288}, {195, 403}, {67, 274}, {68, 278}, {83, 257}, {82, 257}, {85,
262}, {90, 265}, {194, 405}, {74, 272}, {63, 356}, {102, 312}, {108, 306}, {124,
290}, {125, 291}, {65, 286}, {82, 269}, {59, 347}, {71, 295}, {63, 351}, {62,
350}, {61, 349}, {60, 348}, {84, 308}, {121, 280}, {121, 283}, {122, 280}, {57,
346}, {96, 259}, {105, 266}, {51, 343}, {40, 335}, {84, 316}, {39, 334}, {59,
338}, {57, 336}, {47, 326}, {92, 309}, {123, 273}, {58, 337}, {122, 273}, {42,
327}, {54, 344}, {55, 345}, {60, 339}, {109, 258}, {75, 314}, {116, 261}, {118,
263}, {120, 265}, {72, 314}, {95, 301}, {54, 325}, {117, 262}, {56, 332}, {63,
330}, {126, 267}, {70, 304}, {77, 315}, {81, 295}, {100, 274}, {111, 281}, {68,
307}, {93, 298}, {94, 297}, {103, 272}, {44, 340}, {50, 330}, {49, 329}, {46,
342}, {45, 341}, {80, 296}, {57, 320}, {61, 324}, {59, 322}, {110, 279}, {110,
276}, {58, 321}, {121, 258}, {67, 319}, {115, 271}, {48, 333}, {75, 310}, {53,
328}, {106, 279}, {124, 257}, {62, 320}, {79, 305}, {71, 313}, {101, 283}, {109,
275}, {116, 266}, {43, 340}, {60, 323}, {52, 331}, {119, 264}, {127, 256}, {183,
311}, {195, 323}, {132, 261}, {197, 324}, {195, 322}, {150, 279}, {134, 263},
{142, 268}, {199, 325}, {187, 313}, {133, 262}, {195, 320}, {150, 277}, {142,
269}, {128, 260}, {196, 320}, {194, 326}, {196, 321}, {169, 303}, {203, 333},
{202, 332}, {167, 288}, {143, 263}, {135, 270}, {202, 323}, {168, 290}, {169,
291}, {142, 261}, {175, 292}, {182, 315}, {192, 333}, {140, 258}, {204, 322},
{184, 310}, {182, 312}, {151, 281}, {141, 259}, {135, 264}, {193, 334}, {185,
297}, {194, 338}, {186, 298}, {198, 343}, {152, 267}, {187, 303}, {193, 341},
{184, 301}, {176, 294}, {153, 270}, {144, 264}, {203, 339}, {148, 268}, {147,
267}, {146, 266}, {145, 265}, {177, 296}, {179, 298}, {143, 277}, {151, 269},
{149, 270}, {183, 300}, {181, 302}, {178, 297}, {160, 316}, {174, 306}, {161,
317}, {141, 272}, {160, 318}, {201, 343}, {161, 319}, {180, 299}, {194, 349},
{133, 293}, {203, 363}, {200, 360}, {132, 293}, {200, 361}, {197, 356}, {196,
357}, {204, 367}, {130, 292}, {204, 362}, {144, 311}, {148, 307}, {166, 271},
{199, 365}, {144, 315}, {199, 364}, {158, 305}, {159, 304}, {138, 314}, {193,
369}, {174, 286}, {173, 285}, {172, 284}, {145, 289}, {192, 369}, {137, 317},
{198, 370}, {196, 368}, {197, 368}, {136, 318}, {200, 368}, {155, 290}, {202,
371}, {163, 282}, {162, 283}, {159, 294}, {157, 292}, {154, 289}, {164, 287},
{158, 293}, {146, 302}, {161, 285}, {160, 284}, {137, 308}, {203, 374}, {193,
380}, {171, 278}, {165, 280}, {143, 306}, {153, 295}, {170, 276}, {156, 291},
{180, 372}, {187, 379}, {147, 338}, {168, 361}, {173, 367}, {187, 376}, {191,
378}, {145, 345}, {182, 382}, {134, 335}, {162, 363}, {129, 331}, {165, 367},
{138, 321}, {173, 358}, {172, 359}, {136, 324}, {171, 359}, {146, 351}, {184,
373}, {175, 354}, {147, 350}, {170, 356}, {179, 381}, {177, 383}, {141, 349},
{176, 352}, {131, 338}, {163, 369}, {139, 344}, {166, 373}, {186, 366}, {178,
357}, {191, 360}, {93, 389}, {94, 390}, {134, 351}, {155, 321}, {188, 358},
{163, 377}, {157, 327}, {140, 343}, {169, 370}, {149, 329}, {185, 356}, {190,
355}, {95, 384}, {114, 402}, {172, 332}, {119, 406}, {115, 401}, {177, 339},
{96, 387}, {155, 376}, {154, 377}, {98, 385}, {99, 391}, {189, 345}, {188, 344},
{147, 375}, {112, 404}, {113, 405}, {116, 400}, {97, 388}, {179, 342}, {175,
330}, {117, 400}, {144, 375}, {153, 382}, {107, 387}, {167, 335}, {148, 380},
{120, 401}, {177, 344}, {157, 372}, {109, 391}, {121, 403}, {146, 377}, {155,
375}, {111, 386}, {150, 379}, {106, 388}, {162, 332}, {152, 374}, {108, 386},
{118, 408}, {128, 366}, {180, 347}, {131, 371}, {170, 346}, {150, 358}, {132,
372}, {140, 381}, {181, 324}, {159, 366}, {173, 350}, {122, 398}, {201, 317},
{200, 316}, {191, 331}, {190, 330}, {189, 329}, {188, 328}, {171, 351}, {124,
392}, {125, 393}, {126, 394}, {127, 395}, {138, 383}, {132, 370}, {167, 337},
{166, 336}, {151, 353}, {149, 355}, {133, 371}, {171, 348}, {119, 399}, {198,
318}, {176, 328}, {168, 336}, {154, 354}, {142, 374}, {128, 376}, {118, 399},
{120, 385}, {135, 381}, {197, 319}, {116, 399}, {148, 360}, {156, 352}, {130,
383}, {179, 334}, {178, 335}, {131, 382}, {127, 385}, {181, 331}, {133, 378},
{174, 337}, {158, 353}, {149, 362} }>;
(II) A more general form is to represent the graph as the orbit of {136, 248}
under the group generated by the following permutations:
a: (1, 2)(3, 6)(4, 7)(5, 8)(9, 16)(10, 19)(11, 20)(12, 21)(13, 22)(14, 23)(15,
24)(17, 27)(18, 28)(25, 43)(26, 46)(29, 51)(30, 54)(31, 55)(32, 56)(33, 58)(34,
61)(35, 62)(36, 63)(37, 64)(38, 65)(39, 66)(40, 67)(41, 68)(42, 69)(44, 71)(45,
72)(47, 75)(48, 76)(49, 73)(50, 77)(52, 78)(53, 79)(57, 84)(59, 87)(60, 88)(70,
103)(74, 109)(80, 117)(81, 120)(82, 101)(83, 121)(85, 96)(86, 128)(89, 133)(91,
136)(92, 138)(93, 139)(94, 140)(95, 141)(97, 145)(98, 146)(99, 147)(100,
148)(102, 149)(104, 142)(105, 110)(106, 122)(107, 150)(108, 151)(111, 126)(112,
116)(113, 152)(114, 153)(118, 156)(119, 157)(124, 162)(125, 143)(127, 163)(129,
165)(130, 135)(131, 166)(132, 167)(134, 169)(137, 170)(144, 175)(154, 183)(155,
172)(158, 174)(159, 176)(160, 196)(161, 197)(164, 199)(168, 202)(171, 187)(173,
181)(177, 179)(178, 198)(180, 189)(182, 190)(184, 194)(185, 201)(186, 188)(191,
204)(193, 203)(195, 200)(205, 206)(207, 210)(208, 211)(209, 212)(213, 220)(214,
223)(215, 224)(216, 225)(217, 226)(218, 227)(219, 228)(221, 231)(222, 232)(229,
247)(230, 250)(233, 255)(234, 258)(235, 259)(236, 260)(237, 262)(238, 265)(239,
266)(240, 267)(241, 268)(242, 269)(243, 270)(244, 271)(245, 272)(246, 273)(248,
275)(249, 276)(251, 279)(252, 280)(253, 277)(254, 281)(256, 282)(257, 283)(261,
288)(263, 291)(264, 292)(274, 307)(278, 313)(284, 321)(285, 324)(286, 305)(287,
325)(289, 300)(290, 332)(293, 337)(295, 340)(296, 342)(297, 343)(298, 344)(299,
345)(301, 349)(302, 350)(303, 351)(304, 352)(306, 353)(308, 346)(309, 314)(310,
326)(311, 354)(312, 355)(315, 330)(316, 320)(317, 356)(318, 357)(322, 360)(323,
361)(328, 366)(329, 347)(331, 367)(333, 369)(334, 339)(335, 370)(336, 371)(338,
373)(341, 374)(348, 379)(358, 387)(359, 376)(362, 378)(363, 380)(364, 400)(365,
401)(368, 403)(372, 406)(375, 391)(377, 385)(381, 383)(382, 402)(384, 393)(386,
394)(388, 398)(389, 405)(390, 392)(395, 408)(397, 407)(399, 404) (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: (1, 205)(2, 206)(3, 207)(4, 208)(5, 209)(6, 210)(7, 211)(8, 212)(9, 213)(10,
214)(11, 215)(12, 216)(13, 217)(14, 218)(15, 219)(16, 220)(17, 221)(18, 222)(19,
223)(20, 224)(21, 225)(22, 226)(23, 227)(24, 228)(25, 229)(26, 230)(27, 231)(28,
232)(29, 233)(30, 234)(31, 235)(32, 236)(33, 237)(34, 238)(35, 239)(36, 240)(37,
241)(38, 242)(39, 243)(40, 244)(41, 245)(42, 246)(43, 247)(44, 248)(45, 249)(46,
250)(47, 251)(48, 252)(49, 253)(50, 254)(51, 255)(52, 256)(53, 257)(54, 258)(55,
259)(56, 260)(57, 261)(58, 262)(59, 263)(60, 264)(61, 265)(62, 266)(63, 267)(64,
268)(65, 269)(66, 270)(67, 271)(68, 272)(69, 273)(70, 274)(71, 275)(72, 276)(73,
277)(74, 278)(75, 279)(76, 280)(77, 281)(78, 282)(79, 283)(80, 284)(81, 285)(82,
286)(83, 287)(84, 288)(85, 289)(86, 290)(87, 291)(88, 292)(89, 293)(90, 294)(91,
295)(92, 296)(93, 297)(94, 298)(95, 299)(96, 300)(97, 301)(98, 302)(99,
303)(100, 304)(101, 305)(102, 306)(103, 307)(104, 308)(105, 309)(106, 310)(107,
311)(108, 312)(109, 313)(110, 314)(111, 315)(112, 316)(113, 317)(114, 318)(115,
319)(116, 320)(117, 321)(118, 322)(119, 323)(120, 324)(121, 325)(122, 326)(123,
327)(124, 328)(125, 329)(126, 330)(127, 331)(128, 332)(129, 333)(130, 334)(131,
335)(132, 336)(133, 337)(134, 338)(135, 339)(136, 340)(137, 341)(138, 342)(139,
343)(140, 344)(141, 345)(142, 346)(143, 347)(144, 348)(145, 349)(146, 350)(147,
351)(148, 352)(149, 353)(150, 354)(151, 355)(152, 356)(153, 357)(154, 358)(155,
359)(156, 360)(157, 361)(158, 362)(159, 363)(160, 364)(161, 365)(162, 366)(163,
367)(164, 368)(165, 369)(166, 370)(167, 371)(168, 372)(169, 373)(170, 374)(171,
375)(172, 376)(173, 377)(174, 378)(175, 379)(176, 380)(177, 381)(178, 382)(179,
383)(180, 384)(181, 385)(182, 386)(183, 387)(184, 388)(185, 389)(186, 390)(187,
391)(188, 392)(189, 393)(190, 394)(191, 395)(192, 396)(193, 397)(194, 398)(195,
399)(196, 400)(197, 401)(198, 402)(199, 403)(200, 404)(201, 405)(202, 406)(203,
407)(204, 408)
c: (2, 3)(4, 5)(6, 9)(7, 11)(8, 13)(10, 15)(12, 17)(14, 18)(16, 25)(19, 29)(20,
31)(21, 33)(22, 35)(23, 37)(24, 39)(26, 41)(27, 47)(28, 48)(30, 50)(32, 53)(34,
57)(36, 60)(38, 44)(40, 59)(42, 45)(46, 73)(49, 52)(51, 56)(54, 80)(55, 82)(58,
85)(61, 89)(62, 91)(63, 93)(64, 95)(65, 96)(66, 98)(67, 100)(68, 102)(69,
104)(71, 105)(72, 106)(74, 108)(75, 110)(76, 112)(77, 107)(78, 83)(79, 114)(81,
116)(84, 122)(86, 124)(87, 129)(88, 130)(90, 132)(92, 109)(94, 126)(97, 142)(99,
135)(101, 136)(103, 143)(111, 144)(113, 119)(115, 118)(117, 154)(120, 158)(121,
160)(123, 137)(125, 127)(128, 139)(131, 134)(133, 145)(138, 150)(140, 172)(141,
174)(146, 153)(147, 178)(148, 180)(149, 181)(151, 183)(152, 185)(155, 188)(156,
192)(157, 193)(159, 166)(161, 195)(162, 198)(163, 164)(165, 200)(167, 194)(168,
176)(169, 203)(170, 184)(171, 182)(173, 196)(175, 179)(177, 187)(186, 190)(189,
191)(197, 204)(201, 202)(206, 207)(208, 209)(210, 213)(211, 215)(212, 217)(214,
219)(216, 221)(218, 222)(220, 229)(223, 233)(224, 235)(225, 237)(226, 239)(227,
241)(228, 243)(230, 245)(231, 251)(232, 252)(234, 254)(236, 257)(238, 261)(240,
264)(242, 248)(244, 263)(246, 249)(250, 277)(253, 256)(255, 260)(258, 284)(259,
286)(262, 289)(265, 293)(266, 295)(267, 297)(268, 299)(269, 300)(270, 302)(271,
304)(272, 306)(273, 308)(275, 309)(276, 310)(278, 312)(279, 314)(280, 316)(281,
311)(282, 287)(283, 318)(285, 320)(288, 326)(290, 328)(291, 333)(292, 334)(294,
336)(296, 313)(298, 330)(301, 346)(303, 339)(305, 340)(307, 347)(315, 348)(317,
323)(319, 322)(321, 358)(324, 362)(325, 364)(327, 341)(329, 331)(332, 343)(335,
338)(337, 349)(342, 354)(344, 376)(345, 378)(350, 357)(351, 382)(352, 384)(353,
385)(355, 387)(356, 389)(359, 392)(360, 396)(361, 397)(363, 370)(365, 399)(366,
402)(367, 368)(369, 404)(371, 398)(372, 380)(373, 407)(374, 388)(375, 386)(377,
400)(379, 383)(381, 391)(390, 394)(393, 395)(401, 408)(405, 406)
d: (3, 5, 4)(6, 7, 8)(9, 17, 14)(10, 11, 18)(12, 13, 15)(16, 23, 27)(19, 28,
20)(21, 24, 22)(25, 44, 42)(26, 37, 45)(29, 52, 32)(30, 48, 53)(31, 50, 49)(33,
59, 36)(34, 39, 60)(35, 57, 40)(38, 47, 41)(43, 69, 71)(46, 72, 64)(51, 56,
78)(54, 79, 76)(55, 73, 77)(58, 63, 87)(61, 88, 66)(62, 67, 84)(65, 68, 75)(70,
104, 105)(74, 106, 82)(80, 118, 113)(81, 114, 119)(85, 126, 125)(86, 93,
127)(89, 134, 99)(90, 130, 135)(91, 136, 123)(92, 100, 137)(94, 129, 124)(95,
108, 107)(96, 143, 111)(97, 102, 144)(98, 132, 131)(101, 122, 109)(103, 110,
142)(112, 116, 115)(117, 152, 156)(120, 157, 153)(128, 163, 139)(133, 147,
169)(138, 170, 148)(140, 162, 165)(141, 150, 151)(145, 175, 149)(146, 166,
167)(154, 190, 189)(155, 185, 191)(158, 194, 187)(159, 193, 177)(160, 195,
161)(168, 178, 181)(171, 184, 174)(172, 204, 201)(173, 198, 202)(176, 179,
203)(180, 182, 183)(186, 192, 188)(196, 197, 200)(207, 209, 208)(210, 211,
212)(213, 221, 218)(214, 215, 222)(216, 217, 219)(220, 227, 231)(223, 232,
224)(225, 228, 226)(229, 248, 246)(230, 241, 249)(233, 256, 236)(234, 252,
257)(235, 254, 253)(237, 263, 240)(238, 243, 264)(239, 261, 244)(242, 251,
245)(247, 273, 275)(250, 276, 268)(255, 260, 282)(258, 283, 280)(259, 277,
281)(262, 267, 291)(265, 292, 270)(266, 271, 288)(269, 272, 279)(274, 308,
309)(278, 310, 286)(284, 322, 317)(285, 318, 323)(289, 330, 329)(290, 297,
331)(293, 338, 303)(294, 334, 339)(295, 340, 327)(296, 304, 341)(298, 333,
328)(299, 312, 311)(300, 347, 315)(301, 306, 348)(302, 336, 335)(305, 326,
313)(307, 314, 346)(316, 320, 319)(321, 356, 360)(324, 361, 357)(332, 367,
343)(337, 351, 373)(342, 374, 352)(344, 366, 369)(345, 354, 355)(349, 379,
353)(350, 370, 371)(358, 394, 393)(359, 389, 395)(362, 398, 391)(363, 397,
381)(364, 399, 365)(372, 382, 385)(375, 388, 378)(376, 408, 405)(377, 402,
406)(380, 383, 407)(384, 386, 387)(390, 396, 392)(400, 401, 404)
C4[ 408, 43 ]
408
-1 209 206 207 208
-2 210 211 212 205
-3 213 215 205 217
-4 214 205 216 218
-5 221 222 205 219
-6 220 224 226 206
-7 223 225 227 206
-8 231 232 206 228
-9 235 239 207 229
-10 236 240 208 230
-11 233 237 207 241
-12 242 234 238 208
-13 243 207 251 252
-14 253 244 246 208
-15 209 264 245 257
-16 210 266 247 259
-17 209 254 248 261
-18 209 256 249 263
-19 211 267 260 250
-20 210 255 268 262
-21 265 211 258 269
-22 210 279 280 270
-23 211 277 271 273
-24 212 292 272 283
-25 286 213 247 295
-26 268 214 274 296
-27 275 288 212 281
-28 276 212 291 282
-29 297 255 277 215
-30 287 298 278 216
-31 299 289 213 260
-32 290 214 259 282
-33 300 215 293 284
-34 301 216 294 285
-35 213 302 314 316
-36 214 303 315 317
-37 308 215 304 250
-38 308 312 216 305
-39 334 217 306 318
-40 319 335 218 307
-41 299 313 219 274
-42 275 310 327 218
-43 220 305 229 340
-44 221 278 273 340
-45 341 276 309 222
-46 342 223 241 307
-47 309 311 326 217
-48 287 310 333 217
-49 255 311 218 329
-50 330 221 312 282
-51 253 233 343 224
-52 331 222 281 260
-53 286 287 328 219
-54 344 225 313 325
-55 220 300 345 236
-56 332 223 256 235
-57 221 320 346 336
-58 321 289 224 337
-59 222 322 347 338
-60 323 348 339 219
-61 225 324 294 349
-62 220 309 320 350
-63 330 223 356 351
-64 352 224 346 230
-65 286 355 225 346
-66 353 357 226 339
-67 319 227 370 274
-68 278 345 228 307
-69 248 227 326 327
-70 245 271 304 230
-71 231 246 313 295
-72 374 232 314 249
-73 233 354 347 227
-74 375 234 248 272
-75 310 354 226 314
-76 226 325 369 326
-77 231 256 355 315
-78 232 254 367 236
-79 366 325 228 305
-80 364 376 237 296
-81 365 377 238 295
-82 257 378 269 229
-83 234 257 368 252
-84 231 308 316 371
-85 235 358 349 262
-86 236 359 328 372
-87 232 360 329 373
-88 334 379 228 361
-89 237 336 337 362
-90 363 265 380 238
-91 275 357 229 285
-92 309 381 284 230
-93 298 233 389 382
-94 297 234 390 383
-95 245 235 301 384
-96 387 301 237 259
-97 299 300 388 238
-98 385 303 239 350
-99 302 391 240 373
-100 363 322 241 274
-101 242 247 283 362
-102 243 312 378 347
-103 352 244 250 272
-104 242 341 288 241
-105 266 249 251 296
-106 388 246 279 252
-107 253 387 348 251
-108 242 254 386 306
-109 275 245 258 391
-110 276 342 279 239
-111 386 281 348 240
-112 364 288 239 404
-113 341 365 240 405
-114 243 364 402 340
-115 244 365 401 271
-116 266 399 400 261
-117 342 400 359 262
-118 408 399 304 263
-119 264 399 327 406
-120 385 265 401 340
-121 258 280 403 283
-122 398 280 251 273
-123 246 323 273 361
-124 257 290 380 392
-125 253 353 291 393
-126 254 267 379 394
-127 385 256 333 395
-128 376 366 260 406
-129 396 407 331 252
-130 243 397 292 383
-131 244 338 371 382
-132 293 370 261 372
-133 378 293 371 262
-134 398 335 263 351
-135 264 407 270 381
-136 247 324 248 318
-137 308 397 249 317
-138 321 314 250 383
-139 255 344 402 405
-140 343 258 381 392
-141 259 272 349 393
-142 374 268 269 261
-143 277 306 263 384
-144 264 375 311 315
-145 265 398 289 345
-146 266 377 302 351
-147 375 267 338 350
-148 268 380 360 307
-149 355 270 329 362
-150 277 279 379 358
-151 353 269 281 394
-152 374 267 389 401
-153 400 270 382 295
-154 354 289 377 392
-155 375 321 376 290
-156 352 291 404 395
-157 292 327 404 372
-158 353 408 293 305
-159 407 366 304 294
-160 403 316 284 318
-161 319 403 317 285
-162 363 332 390 283
-163 408 377 369 282
-164 287 400 401 404
-165 396 397 367 280
-166 336 402 271 373
-167 288 335 337 406
-168 290 336 361 384
-169 388 291 303 370
-170 407 276 356 346
-171 278 348 359 351
-172 332 391 359 284
-173 367 358 350 285
-174 286 337 306 395
-175 330 354 292 391
-176 352 397 294 328
-177 344 339 383 296
-178 297 386 335 357
-179 298 342 334 381
-180 396 299 347 372
-181 331 387 302 324
-182 312 315 392 382
-183 385 300 311 390
-184 310 301 389 373
-185 297 408 388 356
-186 298 387 366 394
-187 376 313 379 303
-188 386 344 358 328
-189 396 345 329 406
-190 330 355 390 402
-191 331 378 360 405
-192 333 369 393 384
-193 341 334 369 380
-194 326 338 349 405
-195 320 322 323 403
-196 320 321 357 368
-197 319 356 324 368
-198 343 370 394 318
-199 364 365 399 325
-200 368 316 360 361
-201 343 398 317 395
-202 332 323 371 393
-203 363 374 333 339
-204 322 367 389 362
-205 2 3 4 5
-206 1 6 7 8
-207 11 1 13 9
-208 1 12 14 10
-209 1 15 17 18
-210 22 2 16 20
-211 23 2 19 21
-212 2 24 27 28
-213 35 3 25 31
-214 36 4 26 32
-215 33 3 37 29
-216 34 4 38 30
-217 3 47 48 39
-218 4 49 40 42
-219 5 60 41 53
-220 55 6 62 43
-221 44 57 5 50
-222 45 59 5 52
-223 56 46 7 63
-224 58 6 51 64
-225 61 7 54 65
-226 66 6 75 76
-227 67 69 7 73
-228 88 68 79 8
-229 91 82 9 43
-230 70 92 64 10
-231 77 71 84 8
-232 78 72 8 87
-233 11 93 51 73
-234 12 83 94 74
-235 56 95 85 9
-236 55 78 86 10
-237 11 89 80 96
-238 12 90 81 97
-239 110 112 9 98
-240 99 111 113 10
-241 11 100 46 104
-242 12 101 104 108
-243 13 102 114 130
-244 14 103 115 131
-245 15 70 95 109
-246 123 14 71 106
-247 101 25 136 16
-248 69 136 17 74
-249 137 72 105 18
-250 37 103 138 19
-251 122 13 105 107
-252 13 83 106 129
-253 14 125 51 107
-254 78 126 17 108
-255 49 29 139 20
-256 77 56 127 18
-257 124 15 82 83
-258 121 140 21 109
-259 16 96 141 32
-260 128 19 52 31
-261 132 17 116 142
-262 133 117 85 20
-263 143 134 18 118
-264 144 135 15 119
-265 90 145 21 120
-266 146 16 105 116
-267 147 126 19 152
-268 26 148 20 142
-269 82 151 21 142
-270 22 135 149 153
-271 23 166 70 115
-272 24 103 74 141
-273 44 23 122 123
-274 67 100 26 41
-275 91 27 42 109
-276 110 45 170 28
-277 143 23 29 150
-278 44 68 171 30
-279 22 110 106 150
-280 22 121 165 122
-281 111 27 52 151
-282 28 50 163 32
-283 121 24 101 162
-284 33 92 160 172
-285 34 91 161 173
-286 25 53 174 65
-287 48 30 53 164
-288 112 167 27 104
-289 154 145 58 31
-290 155 124 168 32
-291 156 125 169 28
-292 24 157 130 175
-293 33 132 133 158
-294 176 34 159 61
-295 25 81 71 153
-296 177 80 26 105
-297 178 94 29 185
-298 179 93 30 186
-299 180 41 31 97
-300 33 55 183 97
-301 34 95 96 184
-302 99 35 146 181
-303 187 36 169 98
-304 37 70 159 118
-305 79 158 38 43
-306 143 39 108 174
-307 46 68 148 40
-308 37 38 137 84
-309 45 47 92 62
-310 48 184 42 75
-311 144 47 49 183
-312 102 38 50 182
-313 187 71 41 54
-314 35 72 138 75
-315 77 144 36 182
-316 35 200 160 84
-317 36 201 137 161
-318 198 136 39 160
-319 67 40 161 197
-320 57 62 195 196
-321 155 58 138 196
-322 100 59 204 195
-323 123 202 60 195
-324 136 181 61 197
-325 199 79 54 76
-326 47 69 194 76
-327 69 157 42 119
-328 176 188 53 86
-329 189 49 149 87
-330 190 50 63 175
-331 191 181 52 129
-332 56 202 172 162
-333 48 192 203 127
-334 88 179 39 193
-335 134 167 178 40
-336 89 166 57 168
-337 89 167 58 174
-338 59 147 194 131
-339 66 177 60 203
-340 44 114 43 120
-341 45 113 104 193
-342 110 46 179 117
-343 198 201 51 140
-344 177 188 139 54
-345 55 68 145 189
-346 57 170 64 65
-347 102 59 180 73
-348 111 60 171 107
-349 61 194 85 141
-350 147 62 173 98
-351 134 146 171 63
-352 176 156 103 64
-353 66 125 158 151
-354 154 73 75 175
-355 77 190 149 65
-356 170 63 185 197
-357 66 178 91 196
-358 188 150 85 173
-359 171 117 172 86
-360 200 191 148 87
-361 88 123 200 168
-362 89 101 149 204
-363 100 90 203 162
-364 199 112 80 114
-365 199 113 81 115
-366 79 159 128 186
-367 165 78 204 173
-368 200 83 196 197
-369 192 193 163 76
-370 132 198 67 169
-371 133 202 84 131
-372 132 157 180 86
-373 99 166 184 87
-374 203 72 152 142
-375 144 155 147 74
-376 187 155 80 128
-377 154 146 81 163
-378 133 102 191 82
-379 88 187 126 150
-380 90 124 148 193
-381 135 179 92 140
-382 93 182 131 153
-383 177 94 138 130
-384 143 168 192 95
-385 127 183 98 120
-386 111 188 178 108
-387 181 96 107 186
-388 169 106 97 185
-389 93 204 184 152
-390 190 94 183 162
-391 99 172 109 175
-392 154 124 182 140
-393 125 202 192 141
-394 198 126 151 186
-395 156 201 127 174
-396 165 189 180 129
-397 165 176 137 130
-398 122 134 145 201
-399 199 116 118 119
-400 116 117 153 164
-401 115 152 120 164
-402 166 190 114 139
-403 121 160 161 195
-404 112 156 157 164
-405 113 191 139 194
-406 167 189 128 119
-407 135 159 170 129
-408 158 118 163 185
0