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