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