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