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