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