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