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