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