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