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