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