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