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