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