Graph forms
for C4 [ 512, 378 ] = PL(CS({4,4}_8,0[4^32],1))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 378 ] =
PL(CS({4,4}_8,0[4^32],1)).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 319}, {256, 320}, {256, 487}, {256, 488}, {1, 257}, {251,
507}, {243, 499}, {235, 491}, {225, 481}, {224, 480}, {223, 479}, {216, 472},
{215, 471}, {208, 464}, {207, 463}, {96, 352}, {95, 351}, {88, 344}, {87, 343},
{80, 336}, {79, 335}, {2, 258}, {7, 263}, {53, 309}, {56, 312}, {71, 327}, {72,
328}, {135, 391}, {136, 392}, {143, 399}, {144, 400}, {151, 407}, {152, 408},
{159, 415}, {160, 416}, {199, 455}, {200, 456}, {4, 261}, {250, 507}, {248,
505}, {242, 499}, {240, 497}, {234, 491}, {232, 489}, {221, 476}, {213, 468},
{122, 379}, {120, 377}, {114, 371}, {112, 369}, {106, 363}, {104, 361}, {93,
348}, {85, 340}, {7, 262}, {53, 308}, {69, 324}, {77, 332}, {133, 388}, {141,
396}, {149, 404}, {157, 412}, {168, 425}, {170, 427}, {176, 433}, {178, 435},
{184, 441}, {186, 443}, {197, 452}, {205, 460}, {4, 262}, {222, 476}, {219,
473}, {214, 468}, {211, 465}, {206, 460}, {121, 379}, {113, 371}, {105, 363},
{99, 353}, {94, 348}, {91, 345}, {86, 340}, {83, 337}, {78, 332}, {54, 308},
{67, 321}, {70, 324}, {75, 329}, {131, 385}, {134, 388}, {139, 393}, {142, 396},
{147, 401}, {150, 404}, {155, 409}, {158, 412}, {163, 417}, {169, 427}, {177,
435}, {185, 443}, {195, 449}, {198, 452}, {203, 457}, {1, 258}, {252, 511},
{244, 503}, {236, 495}, {124, 383}, {116, 375}, {108, 367}, {2, 257}, {54, 309},
{59, 312}, {172, 431}, {180, 439}, {188, 447}, {6, 258}, {217, 477}, {209, 469},
{123, 383}, {115, 375}, {107, 367}, {97, 357}, {89, 349}, {81, 341}, {60, 312},
{65, 325}, {73, 333}, {129, 389}, {137, 397}, {145, 405}, {153, 413}, {161,
421}, {171, 431}, {179, 439}, {187, 447}, {193, 453}, {201, 461}, {3, 262},
{228, 481}, {222, 475}, {220, 473}, {217, 476}, {214, 467}, {212, 465}, {209,
468}, {206, 459}, {121, 380}, {113, 372}, {105, 364}, {100, 353}, {97, 356},
{94, 347}, {92, 345}, {89, 348}, {86, 339}, {84, 337}, {81, 340}, {78, 331}, {6,
259}, {65, 324}, {68, 321}, {70, 323}, {73, 332}, {76, 329}, {129, 388}, {132,
385}, {134, 387}, {137, 396}, {140, 393}, {142, 395}, {145, 404}, {148, 401},
{150, 403}, {153, 412}, {156, 409}, {158, 411}, {161, 420}, {164, 417}, {169,
428}, {177, 436}, {185, 444}, {193, 452}, {196, 449}, {198, 451}, {201, 460},
{204, 457}, {3, 261}, {250, 508}, {249, 511}, {242, 500}, {241, 503}, {234,
492}, {233, 495}, {227, 485}, {226, 484}, {224, 486}, {221, 475}, {218, 476},
{213, 467}, {210, 468}, {122, 380}, {114, 372}, {106, 364}, {98, 356}, {96,
358}, {93, 347}, {90, 348}, {85, 339}, {82, 340}, {5, 259}, {55, 305}, {66,
324}, {69, 323}, {74, 332}, {77, 331}, {130, 388}, {133, 387}, {138, 396}, {141,
395}, {146, 404}, {149, 403}, {154, 412}, {157, 411}, {160, 422}, {162, 420},
{170, 428}, {178, 436}, {186, 444}, {194, 452}, {197, 451}, {202, 460}, {205,
459}, {5, 258}, {251, 508}, {243, 500}, {235, 492}, {227, 484}, {226, 485},
{224, 487}, {218, 477}, {210, 469}, {98, 357}, {96, 359}, {90, 349}, {82, 341},
{47, 296}, {66, 325}, {74, 333}, {130, 389}, {138, 397}, {146, 405}, {154, 413},
{160, 423}, {162, 421}, {194, 453}, {202, 461}, {2, 266}, {240, 504}, {117,
381}, {112, 376}, {101, 365}, {45, 293}, {165, 429}, {176, 440}, {181, 445}, {3,
266}, {241, 504}, {225, 488}, {117, 380}, {101, 364}, {4, 269}, {45, 292}, {56,
305}, {58, 307}, {165, 428}, {181, 444}, {3, 265}, {247, 509}, {246, 508}, {231,
493}, {230, 492}, {118, 380}, {102, 364}, {4, 270}, {46, 292}, {57, 307}, {166,
428}, {182, 444}, {2, 265}, {247, 508}, {246, 509}, {231, 492}, {230, 493},
{211, 472}, {118, 381}, {115, 376}, {102, 365}, {99, 360}, {83, 344}, {46, 293},
{60, 311}, {67, 328}, {131, 392}, {147, 408}, {163, 424}, {166, 429}, {179,
440}, {182, 445}, {195, 456}, {1, 269}, {245, 505}, {244, 504}, {229, 489},
{228, 488}, {212, 472}, {116, 376}, {100, 360}, {84, 344}, {59, 311}, {68, 328},
{132, 392}, {148, 408}, {164, 424}, {180, 440}, {196, 456}, {57, 308}, {8, 262},
{119, 377}, {103, 361}, {16, 286}, {47, 289}, {58, 308}, {167, 425}, {183, 441},
{1, 270}, {216, 471}, {215, 472}, {88, 343}, {87, 344}, {8, 263}, {16, 287},
{55, 312}, {71, 328}, {72, 327}, {135, 392}, {136, 391}, {151, 408}, {152, 407},
{199, 456}, {200, 455}, {5, 277}, {10, 282}, {15, 287}, {31, 271}, {11, 282},
{12, 285}, {15, 286}, {31, 270}, {48, 289}, {50, 291}, {11, 281}, {12, 286},
{49, 291}, {5, 278}, {10, 281}, {52, 295}, {6, 274}, {9, 285}, {14, 282}, {30,
266}, {51, 295}, {7, 274}, {253, 488}, {237, 504}, {229, 496}, {14, 283}, {30,
267}, {49, 292}, {7, 273}, {13, 283}, {29, 267}, {50, 292}, {6, 273}, {111,
376}, {103, 368}, {9, 286}, {13, 282}, {29, 266}, {127, 360}, {167, 432}, {175,
440}, {191, 424}, {10, 274}, {232, 496}, {109, 373}, {104, 368}, {48, 296},
{127, 359}, {168, 432}, {173, 437}, {191, 423}, {10, 275}, {233, 496}, {125,
356}, {109, 372}, {173, 436}, {189, 420}, {9, 275}, {254, 484}, {253, 487},
{239, 501}, {238, 500}, {110, 372}, {12, 278}, {126, 356}, {174, 436}, {190,
420}, {9, 274}, {255, 484}, {239, 500}, {238, 501}, {110, 373}, {107, 368}, {12,
279}, {51, 296}, {75, 336}, {139, 400}, {171, 432}, {174, 437}, {203, 464}, {11,
279}, {255, 483}, {237, 497}, {236, 496}, {108, 368}, {52, 296}, {76, 336},
{140, 400}, {172, 432}, {204, 464}, {8, 277}, {254, 483}, {11, 278}, {126, 355},
{190, 419}, {8, 278}, {125, 355}, {111, 369}, {32, 318}, {64, 350}, {128, 414},
{175, 433}, {189, 419}, {192, 478}, {32, 319}, {208, 463}, {207, 464}, {80,
335}, {79, 336}, {64, 351}, {128, 415}, {143, 400}, {144, 399}, {192, 479}, {21,
309}, {219, 507}, {218, 506}, {211, 499}, {210, 498}, {91, 379}, {90, 378}, {83,
371}, {82, 370}, {26, 314}, {66, 354}, {74, 362}, {75, 363}, {130, 418}, {138,
426}, {139, 427}, {146, 434}, {147, 435}, {154, 442}, {155, 443}, {194, 482},
{202, 490}, {203, 491}, {27, 314}, {219, 506}, {218, 507}, {211, 498}, {210,
499}, {91, 378}, {90, 379}, {83, 370}, {82, 371}, {28, 317}, {67, 354}, {68,
357}, {74, 363}, {75, 362}, {131, 418}, {132, 421}, {138, 427}, {139, 426},
{146, 435}, {147, 434}, {154, 443}, {155, 442}, {195, 482}, {196, 485}, {202,
491}, {203, 490}, {27, 313}, {220, 510}, {212, 502}, {92, 382}, {84, 374}, {28,
318}, {29, 319}, {67, 353}, {68, 358}, {76, 366}, {131, 417}, {132, 422}, {140,
430}, {148, 438}, {156, 446}, {195, 481}, {196, 486}, {204, 494}, {21, 310},
{220, 511}, {212, 503}, {92, 383}, {84, 375}, {26, 313}, {29, 318}, {66, 353},
{76, 367}, {130, 417}, {140, 431}, {148, 439}, {156, 447}, {194, 481}, {204,
495}, {22, 306}, {25, 317}, {30, 314}, {31, 315}, {65, 357}, {129, 421}, {193,
485}, {23, 306}, {216, 509}, {208, 501}, {88, 381}, {80, 373}, {30, 315}, {31,
314}, {72, 365}, {136, 429}, {144, 437}, {152, 445}, {200, 493}, {23, 305},
{217, 511}, {216, 510}, {209, 503}, {208, 502}, {89, 383}, {88, 382}, {81, 375},
{80, 374}, {72, 366}, {73, 367}, {136, 430}, {137, 431}, {144, 438}, {145, 439},
{152, 446}, {153, 447}, {200, 494}, {201, 495}, {22, 305}, {217, 510}, {209,
502}, {89, 382}, {81, 374}, {25, 318}, {65, 358}, {73, 366}, {129, 422}, {137,
430}, {145, 438}, {153, 446}, {193, 486}, {201, 494}, {13, 293}, {213, 509},
{85, 381}, {26, 306}, {69, 365}, {133, 429}, {149, 445}, {197, 493}, {26, 307},
{25, 307}, {28, 310}, {35, 265}, {13, 294}, {213, 510}, {85, 382}, {25, 306},
{28, 311}, {69, 366}, {133, 430}, {149, 446}, {197, 494}, {14, 290}, {214, 506},
{86, 378}, {27, 311}, {33, 269}, {70, 362}, {134, 426}, {150, 442}, {198, 490},
{15, 290}, {215, 506}, {87, 378}, {24, 309}, {27, 310}, {33, 268}, {36, 265},
{71, 362}, {135, 426}, {151, 442}, {199, 490}, {15, 289}, {215, 505}, {87, 377},
{24, 310}, {32, 270}, {34, 268}, {71, 361}, {135, 425}, {151, 441}, {199, 489},
{14, 289}, {214, 505}, {86, 377}, {32, 271}, {34, 269}, {63, 272}, {70, 361},
{134, 425}, {150, 441}, {198, 489}, {18, 290}, {37, 277}, {40, 280}, {63, 271},
{18, 291}, {37, 276}, {61, 268}, {17, 291}, {20, 294}, {38, 276}, {62, 268},
{17, 290}, {20, 295}, {35, 272}, {38, 277}, {43, 280}, {19, 295}, {36, 272},
{44, 280}, {16, 293}, {19, 294}, {62, 267}, {16, 294}, {24, 302}, {39, 273},
{61, 267}, {24, 303}, {18, 298}, {23, 303}, {77, 373}, {141, 437}, {205, 501},
{19, 298}, {20, 301}, {23, 302}, {40, 273}, {42, 275}, {19, 297}, {221, 487},
{93, 359}, {20, 302}, {41, 275}, {157, 423}, {18, 297}, {221, 486}, {219, 480},
{205, 502}, {93, 358}, {91, 352}, {77, 374}, {44, 279}, {141, 438}, {155, 416},
{157, 422}, {17, 301}, {223, 483}, {222, 482}, {220, 480}, {206, 498}, {95,
355}, {94, 354}, {92, 352}, {78, 370}, {22, 298}, {43, 279}, {142, 434}, {156,
416}, {158, 418}, {159, 419}, {22, 299}, {223, 482}, {222, 483}, {207, 498},
{95, 354}, {94, 355}, {79, 370}, {41, 276}, {143, 434}, {158, 419}, {159, 418},
{21, 299}, {207, 497}, {79, 369}, {42, 276}, {143, 433}, {17, 302}, {224, 479},
{223, 480}, {206, 497}, {96, 351}, {95, 352}, {78, 369}, {21, 298}, {39, 280},
{142, 433}, {159, 416}, {160, 415}, {64, 271}, {64, 272}, {34, 322}, {42, 330},
{50, 338}, {58, 346}, {162, 450}, {170, 458}, {178, 466}, {186, 474}, {35, 322},
{36, 325}, {43, 330}, {44, 333}, {51, 338}, {52, 341}, {59, 346}, {60, 349},
{163, 450}, {164, 453}, {171, 458}, {172, 461}, {179, 466}, {180, 469}, {187,
474}, {188, 477}, {35, 321}, {36, 326}, {37, 327}, {43, 329}, {44, 334}, {45,
335}, {51, 337}, {52, 342}, {53, 343}, {59, 345}, {60, 350}, {61, 351}, {163,
449}, {164, 454}, {165, 455}, {171, 457}, {172, 462}, {173, 463}, {179, 465},
{180, 470}, {181, 471}, {187, 473}, {188, 478}, {189, 479}, {34, 321}, {37,
326}, {42, 329}, {45, 334}, {50, 337}, {53, 342}, {58, 345}, {61, 350}, {162,
449}, {165, 454}, {170, 457}, {173, 462}, {178, 465}, {181, 470}, {186, 473},
{189, 478}, {33, 325}, {38, 322}, {39, 323}, {41, 333}, {46, 330}, {47, 331},
{49, 341}, {54, 338}, {55, 339}, {57, 349}, {62, 346}, {63, 347}, {161, 453},
{166, 450}, {167, 451}, {169, 461}, {174, 458}, {175, 459}, {177, 469}, {182,
466}, {183, 467}, {185, 477}, {190, 474}, {191, 475}, {38, 323}, {39, 322}, {46,
331}, {47, 330}, {54, 339}, {55, 338}, {62, 347}, {63, 346}, {166, 451}, {167,
450}, {174, 459}, {175, 458}, {182, 467}, {183, 466}, {190, 475}, {191, 474},
{33, 326}, {41, 334}, {49, 342}, {57, 350}, {161, 454}, {169, 462}, {177, 470},
{185, 478}, {192, 423}, {192, 424}, {40, 326}, {56, 342}, {168, 454}, {184,
470}, {40, 327}, {56, 343}, {168, 455}, {184, 471}, {183, 448}, {184, 448},
{187, 448}, {188, 448}, {48, 334}, {176, 462}, {48, 335}, {176, 463}, {251,
320}, {252, 320}, {255, 320}, {255, 319}, {253, 316}, {251, 313}, {254, 316},
{243, 304}, {244, 304}, {249, 317}, {249, 316}, {254, 315}, {252, 313}, {250,
316}, {253, 315}, {247, 304}, {250, 317}, {248, 304}, {235, 288}, {236, 288},
{239, 288}, {240, 288}, {248, 303}, {247, 303}, {245, 300}, {243, 297}, {246,
300}, {241, 301}, {241, 300}, {246, 299}, {244, 297}, {242, 300}, {245, 299},
{242, 301}, {98, 386}, {232, 264}, {231, 263}, {122, 410}, {114, 402}, {106,
394}, {99, 386}, {229, 260}, {124, 413}, {123, 410}, {116, 405}, {115, 402},
{108, 397}, {107, 394}, {100, 389}, {99, 385}, {230, 260}, {227, 257}, {124,
414}, {123, 409}, {117, 407}, {116, 406}, {115, 401}, {109, 399}, {108, 398},
{107, 393}, {101, 391}, {100, 390}, {125, 415}, {98, 385}, {125, 414}, {122,
409}, {117, 406}, {114, 401}, {109, 398}, {106, 393}, {101, 390}, {97, 389},
{225, 261}, {121, 413}, {119, 403}, {118, 402}, {113, 405}, {111, 395}, {110,
394}, {105, 397}, {103, 387}, {102, 386}, {126, 410}, {127, 411}, {102, 387},
{230, 259}, {228, 257}, {225, 260}, {119, 402}, {118, 403}, {111, 394}, {110,
395}, {103, 386}, {126, 411}, {127, 410}, {226, 260}, {229, 259}, {97, 390},
{226, 261}, {121, 414}, {113, 406}, {105, 398}, {128, 359}, {128, 360}, {227,
264}, {228, 264}, {104, 390}, {120, 406}, {104, 391}, {240, 287}, {232, 263},
{231, 264}, {120, 407}, {239, 287}, {237, 284}, {235, 281}, {238, 284}, {233,
285}, {233, 284}, {238, 283}, {236, 281}, {234, 284}, {237, 283}, {119, 384},
{234, 285}, {120, 384}, {123, 384}, {124, 384}, {112, 398}, {112, 399}, {245,
512}, {248, 512}, {249, 512}, {252, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 319}
under the group generated by the following permutations:
a: (21, 22)(23, 24)(25, 28)(26, 27)(53, 56)(54, 55)(57, 60)(58, 59)(305,
309)(306, 310)(307, 311)(308, 312) (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: (85, 86)(87, 88)(89, 90)(91, 92)(117, 120)(118, 119)(121, 123)(122, 124)(125,
126)(127, 128)(153, 156)(154, 155)(157, 160)(158, 159)(377, 381)(378, 382)(379,
383)(380, 384)(409, 413)(410, 414)(411, 415)(412, 416)
c: (185, 186)(187, 188)(189, 190)(191, 192)(213, 214)(215, 216)(217, 219)(218,
220)(221, 224)(222, 223)(245, 246)(247, 248)(249, 250)(251, 252)(473, 477)(474,
478)(475, 479)(476, 480)(505, 509)(506, 510)(507, 511)(508, 512)
d: (5, 6)(7, 8)(9, 12)(10, 11)(37, 40)(38, 39)(41, 44)(42, 43)(273, 277)(274,
278)(275, 279)(276, 280)
e: (213, 214)(215, 216)(217, 218)(219, 220)(245, 246)(247, 248)(249, 250)(251,
252)(505, 509)(506, 510)(507, 511)(508, 512)
f: (5, 227)(6, 228)(7, 225)(8, 226)(9, 194)(10, 195)(11, 196)(12, 193)(13,
162)(14, 163)(15, 164)(16, 161)(17, 130, 18, 131)(19, 132, 20, 129)(21, 99, 24,
100)(22, 98, 23, 97)(25, 65)(26, 68)(27, 67)(28, 66)(29, 36)(30, 35)(31, 34)(32,
33)(37, 255)(38, 254)(39, 253)(40, 256)(41, 223, 42, 222)(43, 221, 44, 224)(45,
189, 46, 190)(47, 191, 48, 192)(49, 159, 50, 158)(51, 157, 52, 160)(53, 128, 54,
127)(55, 126, 56, 125)(57, 96)(58, 93)(59, 94)(60, 95)(61, 64)(62, 63)(69,
249)(70, 250)(71, 251)(72, 252)(73, 220, 76, 217)(74, 219, 75, 218)(77, 186, 79,
188)(78, 187, 80, 185)(81, 155, 83, 153)(82, 156, 84, 154)(85, 122, 88, 121)(86,
123, 87, 124)(89, 91)(90, 92)(101, 245, 102, 248)(103, 247, 104, 246)(105, 215,
106, 214)(107, 213, 108, 216)(109, 181, 111, 183)(110, 182, 112, 184)(113, 149,
116, 150)(114, 152, 115, 151)(117, 118)(119, 120)(133, 244, 135, 242)(134, 243,
136, 241)(137, 212, 139, 210)(138, 211, 140, 209)(141, 178, 144, 177)(142, 179,
143, 180)(145, 146)(147, 148)(165, 240, 168, 239)(166, 237, 167, 238)(169, 206,
172, 205)(170, 207, 171, 208)(173, 174)(175, 176)(197, 233)(198, 234)(199,
235)(200, 236)(229, 231)(230, 232)(257, 258)(259, 264)(260, 263)(261, 262)(265,
266)(267, 272)(268, 271)(269, 270)(273, 488)(274, 481)(275, 482)(276, 483)(277,
484)(278, 485)(279, 486)(280, 487)(281, 456)(282, 449)(283, 450)(284, 451)(285,
452)(286, 453)(287, 454)(288, 455)(289, 424)(290, 417)(291, 418)(292, 419)(293,
420)(294, 421)(295, 422)(296, 423)(297, 392, 301, 388)(298, 385, 302, 389)(299,
386, 303, 390)(300, 387, 304, 391)(305, 356)(306, 357)(307, 358)(308, 359)(309,
360)(310, 353)(311, 354)(312, 355)(313, 328)(314, 321)(315, 322)(316, 323)(317,
324)(318, 325)(319, 326)(320, 327)(329, 476, 333, 480)(330, 475, 334, 479)(331,
474, 335, 478)(332, 473, 336, 477)(337, 412, 341, 416)(338, 411, 342, 415)(339,
410, 343, 414)(340, 409, 344, 413)(345, 348)(346, 347)(349, 352)(350, 351)(361,
508)(362, 507)(363, 506)(364, 505)(365, 512)(366, 511)(367, 510)(368, 509)(369,
448, 373, 444)(370, 447, 374, 443)(371, 446, 375, 442)(372, 445, 376, 441)(377,
384)(378, 383)(379, 382)(380, 381)(393, 468, 397, 472)(394, 467, 398, 471)(395,
466, 399, 470)(396, 465, 400, 469)(401, 408)(402, 407)(403, 406)(404, 405)(425,
500, 429, 504)(426, 499, 430, 503)(427, 498, 431, 502)(428, 497, 432, 501)(433,
440)(434, 439)(435, 438)(436, 437)(457, 464)(458, 463)(459, 462)(460, 461)(489,
492)(490, 491)(493, 496)(494, 495)
g: (25, 26)(27, 28)(29, 30)(31, 32)(249, 252)(250, 251)(253, 256)(254, 255)(313,
317)(314, 318)(315, 319)(316, 320)
h: (57, 58)(59, 60)(61, 62)(63, 64)(89, 92)(90, 91)(93, 96)(94, 95)(345,
349)(346, 350)(347, 351)(348, 352)
m: (121, 122)(123, 124)(125, 126)(127, 128)(153, 156)(154, 155)(157, 160)(158,
159)(409, 413)(410, 414)(411, 415)(412, 416)
n1: (33, 34)(35, 36)(37, 38)(39, 40)(65, 68)(66, 67)(69, 72)(70, 71)(321,
325)(322, 326)(323, 327)(324, 328)
a1: (97, 98)(99, 100)(101, 102)(103, 104)(129, 132)(130, 131)(133, 136)(134,
135)(385, 389)(386, 390)(387, 391)(388, 392)
b1: (161, 162)(163, 164)(165, 166)(167, 168)(193, 196)(194, 195)(197, 200)(198,
199)(449, 453)(450, 454)(451, 455)(452, 456)
c1: (69, 70)(71, 72)(73, 74)(75, 76)(101, 104)(102, 103)(105, 108)(106,
107)(361, 365)(362, 366)(363, 367)(364, 368)
d1: (133, 134)(135, 136)(137, 138)(139, 140)(165, 168)(166, 167)(169, 172)(170,
171)(425, 429)(426, 430)(427, 431)(428, 432)
e1: (13, 14)(15, 16)(17, 20)(18, 19)(45, 48)(46, 47)(49, 52)(50, 51)(289,
293)(290, 294)(291, 295)(292, 296)
f1: (9, 10)(11, 12)(13, 16)(14, 15)(233, 236)(234, 235)(237, 240)(238, 239)(281,
285)(282, 286)(283, 287)(284, 288)
g1: (149, 150)(151, 152)(153, 154)(155, 156)(181, 184)(182, 183)(185, 188)(186,
187)(441, 445)(442, 446)(443, 447)(444, 448)
h1: (169, 170)(171, 172)(173, 174)(175, 176)(201, 204)(202, 203)(205, 207)(206,
208)(209, 210)(211, 212)(237, 238)(239, 240)(241, 242)(243, 244)(457, 461)(458,
462)(459, 463)(460, 464)(497, 501)(498, 502)(499, 503)(500, 504)
m1: (197, 198)(199, 200)(201, 202)(203, 204)(229, 230)(231, 232)(233, 234)(235,
236)(489, 493)(490, 494)(491, 495)(492, 496)
n2: (41, 42)(43, 44)(45, 46)(47, 48)(73, 76)(74, 75)(77, 80)(78, 79)(329,
333)(330, 334)(331, 335)(332, 336)
a2: (105, 106)(107, 108)(109, 110)(111, 112)(137, 140)(138, 139)(141, 144)(142,
143)(393, 397)(394, 398)(395, 399)(396, 400)
b2: (141, 142)(143, 144)(145, 146)(147, 148)(173, 176)(174, 175)(177, 179)(178,
180)(181, 182)(183, 184)(209, 212)(210, 211)(213, 216)(214, 215)(433, 437)(434,
438)(435, 439)(436, 440)(465, 469)(466, 470)(467, 471)(468, 472)
c2: (77, 78)(79, 80)(81, 82)(83, 84)(109, 112)(110, 111)(113, 115)(114,
116)(117, 118)(119, 120)(145, 148)(146, 147)(149, 152)(150, 151)(369, 373)(370,
374)(371, 375)(372, 376)(401, 405)(402, 406)(403, 407)(404, 408)
d2: (1, 2)(3, 4)(29, 32)(30, 31)(33, 36)(34, 35)(61, 64)(62, 63)(265, 269)(266,
270)(267, 271)(268, 272)
e2: (17, 18)(19, 20)(21, 24)(22, 23)(241, 244)(242, 243)(245, 248)(246,
247)(297, 301)(298, 302)(299, 303)(300, 304)
f2: (49, 50)(51, 52)(53, 54)(55, 56)(81, 84)(82, 83)(85, 88)(86, 87)(337,
341)(338, 342)(339, 343)(340, 344)
g2: (177, 178)(179, 180)(181, 182)(183, 184)(209, 212)(210, 211)(213, 216)(214,
215)(465, 469)(466, 470)(467, 471)(468, 472)
h2: (113, 114)(115, 116)(117, 118)(119, 120)(145, 148)(146, 147)(149, 152)(150,
151)(401, 405)(402, 406)(403, 407)(404, 408)
m2: (193, 194)(195, 196)(221, 222)(223, 224)(225, 226)(227, 228)(253, 254)(255,
256)(481, 485)(482, 486)(483, 487)(484, 488)
n3: (205, 206)(207, 208)(209, 210)(211, 212)(237, 238)(239, 240)(241, 242)(243,
244)(497, 501)(498, 502)(499, 503)(500, 504)
a3: (2, 4)(5, 34)(6, 33)(7, 36)(8, 35)(9, 66)(10, 65)(11, 68)(12, 67)(13,
98)(14, 97)(15, 100)(16, 99)(17, 130)(18, 129)(19, 132)(20, 131)(21, 161)(22,
162)(23, 163)(24, 164)(25, 195, 26, 196)(27, 193, 28, 194)(29, 225, 30, 226)(31,
227, 32, 228)(37, 39)(41, 70)(42, 69)(43, 72)(44, 71)(45, 103)(46, 102)(47,
101)(48, 104)(49, 134)(50, 133)(51, 136)(52, 135)(53, 168)(54, 165)(55, 166)(56,
167)(57, 199)(58, 200)(59, 197)(60, 198)(61, 229)(62, 230)(63, 231)(64, 232)(73,
75)(77, 106)(78, 105)(79, 108)(80, 107)(81, 139)(82, 138)(83, 137)(84, 140)(85,
170)(86, 169)(87, 172)(88, 171)(89, 203)(90, 202)(91, 201)(92, 204)(93, 235)(94,
234)(95, 233)(96, 236)(109, 111)(113, 141, 114, 142)(115, 143, 116, 144)(117,
174, 118, 175)(119, 176, 120, 173)(121, 205)(122, 206)(123, 207)(124, 208)(125,
238)(126, 237)(127, 240)(128, 239)(145, 148, 147, 146)(149, 180, 152, 177)(150,
179, 151, 178)(153, 209)(154, 212)(155, 211)(156, 210)(157, 244)(158, 241)(159,
242)(160, 243)(182, 184)(185, 216)(186, 215)(187, 214)(188, 213)(189, 246)(190,
245)(191, 248)(192, 247)(218, 220)(221, 249, 222, 252)(223, 251, 224, 250)(253,
254, 255, 256)(257, 270)(258, 269)(259, 268)(260, 267)(261, 266)(262, 265)(263,
272)(264, 271)(273, 326)(274, 325)(275, 324)(276, 323)(277, 322)(278, 321)(279,
328)(280, 327)(281, 358)(282, 357)(283, 356)(284, 355)(285, 354)(286, 353)(287,
360)(288, 359)(289, 390)(290, 389)(291, 388)(292, 387)(293, 386)(294, 385)(295,
392)(296, 391)(297, 422)(298, 421)(299, 420)(300, 419)(301, 418)(302, 417)(303,
424)(304, 423)(305, 450)(306, 449)(307, 456)(308, 455)(309, 454)(310, 453)(311,
452)(312, 451)(313, 486, 317, 482)(314, 485, 318, 481)(315, 484, 319, 488)(316,
483, 320, 487)(329, 366)(330, 365)(331, 364)(332, 363)(333, 362)(334, 361)(335,
368)(336, 367)(337, 430)(338, 429)(339, 428)(340, 427)(341, 426)(342, 425)(343,
432)(344, 431)(345, 494)(346, 493)(347, 492)(348, 491)(349, 490)(350, 489)(351,
496)(352, 495)(369, 398)(370, 397)(371, 396)(372, 395)(373, 394)(374, 393)(375,
400)(376, 399)(377, 462)(378, 461)(379, 460)(380, 459)(381, 458)(382, 457)(383,
464)(384, 463)(401, 434, 405, 438)(402, 433, 406, 437)(403, 440, 407, 436)(404,
439, 408, 435)(409, 498)(410, 497)(411, 504)(412, 503)(413, 502)(414, 501)(415,
500)(416, 499)(441, 466)(442, 465)(443, 472)(444, 471)(445, 470)(446, 469)(447,
468)(448, 467)(473, 506)(474, 505)(475, 512)(476, 511)(477, 510)(478, 509)(479,
508)(480, 507)
b3: (1, 5)(2, 6)(3, 7)(4, 8)(9, 29, 10, 30)(11, 31, 12, 32)(13, 27, 16, 28)(14,
26, 15, 25)(17, 22)(18, 23)(19, 24)(20, 21)(33, 37)(34, 38)(35, 39)(36, 40)(41,
61, 42, 62)(43, 63, 44, 64)(45, 60, 46, 59)(47, 58, 48, 57)(49, 55)(50, 56)(51,
53)(52, 54)(65, 72)(66, 71)(67, 70)(68, 69)(73, 96, 76, 93)(74, 95, 75, 94)(77,
91, 80, 90)(78, 92, 79, 89)(81, 86)(82, 85)(83, 88)(84, 87)(97, 102)(98,
101)(99, 104)(100, 103)(105, 125)(106, 126)(107, 127)(108, 128)(109, 121)(110,
122)(111, 123)(112, 124)(113, 117)(114, 118)(115, 119)(116, 120)(129, 133)(130,
134)(131, 135)(132, 136)(137, 160)(138, 159)(139, 158)(140, 157)(141, 155, 142,
156)(143, 153, 144, 154)(145, 151, 146, 152)(147, 149, 148, 150)(161, 165)(162,
166)(163, 167)(164, 168)(169, 190)(170, 189)(171, 192)(172, 191)(173, 186, 176,
187)(174, 185, 175, 188)(177, 181, 180, 184)(178, 182, 179, 183)(193, 200)(194,
199)(195, 198)(196, 197)(201, 221)(202, 222)(203, 223)(204, 224)(205, 217)(206,
218)(207, 219)(208, 220)(209, 216)(210, 215)(211, 214)(212, 213)(225, 232)(226,
231)(227, 230)(228, 229)(233, 256, 236, 253)(234, 255, 235, 254)(237, 251, 240,
250)(238, 252, 239, 249)(241, 246)(242, 245)(243, 248)(244, 247)(257, 259)(260,
264)(261, 263)(265, 273)(266, 274)(267, 275)(268, 276)(269, 277)(270, 278)(271,
279)(272, 280)(281, 315, 285, 319)(282, 314, 286, 318)(283, 313, 287, 317)(284,
320, 288, 316)(289, 307)(290, 306)(291, 305)(292, 312)(293, 311)(294, 310)(295,
309)(296, 308)(297, 303)(298, 302)(299, 301)(321, 323)(324, 328)(325, 327)(329,
347, 333, 351)(330, 346, 334, 350)(331, 345, 335, 349)(332, 352, 336, 348)(337,
343)(338, 342)(339, 341)(353, 361)(354, 362)(355, 363)(356, 364)(357, 365)(358,
366)(359, 367)(360, 368)(369, 383)(370, 382)(371, 381)(372, 380)(373, 379)(374,
378)(375, 377)(376, 384)(385, 391)(386, 390)(387, 389)(393, 411)(394, 410)(395,
409)(396, 416)(397, 415)(398, 414)(399, 413)(400, 412)(401, 403)(404, 408)(405,
407)(417, 425)(418, 426)(419, 427)(420, 428)(421, 429)(422, 430)(423, 431)(424,
432)(433, 447, 437, 443)(434, 446, 438, 442)(435, 445, 439, 441)(436, 444, 440,
448)(449, 451)(452, 456)(453, 455)(457, 479)(458, 478)(459, 477)(460, 476)(461,
475)(462, 474)(463, 473)(464, 480)(465, 467)(468, 472)(469, 471)(481, 489)(482,
490)(483, 491)(484, 492)(485, 493)(486, 494)(487, 495)(488, 496)(497, 507)(498,
506)(499, 505)(500, 512)(501, 511)(502, 510)(503, 509)(504, 508)
c3: (65, 66)(67, 68)(93, 94)(95, 96)(97, 100)(98, 99)(125, 128)(126, 127)(353,
357)(354, 358)(355, 359)(356, 360)
d3: (129, 130)(131, 132)(157, 158)(159, 160)(161, 164)(162, 163)(189, 192)(190,
191)(417, 421)(418, 422)(419, 423)(420, 424)
C4[ 512, 378 ]
512
-1 257 258 269 270
-2 265 266 257 258
-3 265 266 261 262
-4 269 270 261 262
-5 277 278 258 259
-6 258 259 273 274
-7 262 273 263 274
-8 277 278 262 263
-9 275 286 274 285
-10 275 281 282 274
-11 278 279 281 282
-12 286 278 279 285
-13 282 293 283 294
-14 289 290 282 283
-15 286 287 289 290
-16 286 287 293 294
-17 290 301 291 302
-18 297 298 290 291
-19 297 298 294 295
-20 301 302 294 295
-21 298 309 299 310
-22 298 299 305 306
-23 302 303 305 306
-24 309 310 302 303
-25 306 317 307 318
-26 313 314 306 307
-27 310 311 313 314
-28 310 311 317 318
-29 319 266 267 318
-30 266 267 314 315
-31 270 314 271 315
-32 319 270 271 318
-33 268 269 325 326
-34 321 322 268 269
-35 265 321 322 272
-36 265 325 326 272
-37 276 277 326 327
-38 276 277 322 323
-39 322 323 280 273
-40 280 326 327 273
-41 275 276 333 334
-42 275 330 276 329
-43 330 279 280 329
-44 333 279 334 280
-45 334 335 292 293
-46 330 331 292 293
-47 330 331 289 296
-48 289 334 335 296
-49 341 342 291 292
-50 291 292 337 338
-51 337 338 295 296
-52 341 342 295 296
-53 308 309 342 343
-54 308 309 338 339
-55 312 305 338 339
-56 342 343 312 305
-57 308 349 350 307
-58 308 345 346 307
-59 311 312 345 346
-60 311 312 349 350
-61 267 268 350 351
-62 267 268 346 347
-63 346 347 271 272
-64 271 272 350 351
-65 324 357 325 358
-66 353 354 324 325
-67 353 321 354 328
-68 321 357 358 328
-69 365 366 323 324
-70 323 324 361 362
-71 327 328 361 362
-72 365 366 327 328
-73 332 333 366 367
-74 363 332 333 362
-75 363 336 329 362
-76 366 367 336 329
-77 374 331 332 373
-78 331 332 369 370
-79 335 336 369 370
-80 374 335 336 373
-81 341 374 375 340
-82 341 370 371 340
-83 344 337 370 371
-84 374 375 344 337
-85 381 382 339 340
-86 377 378 339 340
-87 343 344 377 378
-88 343 344 381 382
-89 348 349 382 383
-90 378 379 348 349
-91 352 345 378 379
-92 352 345 382 383
-93 347 358 348 359
-94 354 355 347 348
-95 352 354 355 351
-96 352 358 359 351
-97 356 389 357 390
-98 385 386 356 357
-99 385 353 386 360
-100 353 389 390 360
-101 364 365 390 391
-102 364 386 365 387
-103 386 387 368 361
-104 368 390 391 361
-105 363 364 397 398
-106 363 364 393 394
-107 367 368 393 394
-108 397 398 367 368
-109 398 399 372 373
-110 372 394 373 395
-111 376 369 394 395
-112 376 398 399 369
-113 371 372 405 406
-114 401 402 371 372
-115 375 376 401 402
-116 375 376 405 406
-117 407 380 381 406
-118 380 402 381 403
-119 377 402 403 384
-120 407 377 384 406
-121 379 380 413 414
-122 409 410 379 380
-123 409 410 383 384
-124 413 414 383 384
-125 355 356 414 415
-126 355 410 356 411
-127 410 411 359 360
-128 359 414 360 415
-129 388 421 389 422
-130 418 388 389 417
-131 385 418 392 417
-132 385 421 422 392
-133 429 430 387 388
-134 387 388 425 426
-135 391 392 425 426
-136 429 430 391 392
-137 396 397 430 431
-138 396 397 426 427
-139 400 393 426 427
-140 430 431 400 393
-141 396 437 438 395
-142 396 433 434 395
-143 399 400 433 434
-144 399 400 437 438
-145 404 405 438 439
-146 434 435 404 405
-147 408 401 434 435
-148 408 401 438 439
-149 445 446 403 404
-150 441 442 403 404
-151 407 408 441 442
-152 407 408 445 446
-153 412 413 446 447
-154 442 443 412 413
-155 409 442 443 416
-156 409 446 447 416
-157 411 422 412 423
-158 418 419 411 412
-159 418 419 415 416
-160 422 423 415 416
-161 420 453 421 454
-162 420 421 449 450
-163 424 449 417 450
-164 453 454 424 417
-165 429 454 455 428
-166 429 451 428 450
-167 451 432 425 450
-168 432 454 455 425
-169 462 427 428 461
-170 457 458 427 428
-171 431 432 457 458
-172 462 431 432 461
-173 462 463 436 437
-174 436 458 437 459
-175 440 433 458 459
-176 440 462 463 433
-177 435 436 469 470
-178 465 466 435 436
-179 440 465 466 439
-180 440 469 470 439
-181 444 445 470 471
-182 444 466 445 467
-183 441 466 467 448
-184 441 448 470 471
-185 443 444 477 478
-186 473 474 443 444
-187 473 474 447 448
-188 477 478 447 448
-189 419 420 478 479
-190 419 474 420 475
-191 474 475 423 424
-192 423 478 424 479
-193 452 485 453 486
-194 452 453 481 482
-195 456 481 449 482
-196 485 486 456 449
-197 451 452 493 494
-198 451 452 489 490
-199 455 456 489 490
-200 455 456 493 494
-201 495 460 461 494
-202 490 491 460 461
-203 464 457 490 491
-204 495 464 457 494
-205 501 502 459 460
-206 497 498 459 460
-207 463 464 497 498
-208 463 464 501 502
-209 468 469 502 503
-210 498 499 468 469
-211 465 498 499 472
-212 465 502 503 472
-213 509 510 467 468
-214 506 467 468 505
-215 506 471 472 505
-216 509 510 471 472
-217 476 477 510 511
-218 506 507 476 477
-219 473 506 507 480
-220 473 510 511 480
-221 475 486 476 487
-222 475 476 482 483
-223 479 480 482 483
-224 486 487 479 480
-225 488 260 261 481
-226 484 485 260 261
-227 264 484 485 257
-228 264 257 488 481
-229 496 489 259 260
-230 259 260 492 493
-231 264 492 493 263
-232 264 496 489 263
-233 495 496 284 285
-234 491 492 284 285
-235 288 281 491 492
-236 495 496 288 281
-237 497 283 284 504
-238 500 501 283 284
-239 287 288 500 501
-240 287 288 497 504
-241 300 301 503 504
-242 300 301 499 500
-243 297 499 500 304
-244 297 304 503 504
-245 299 300 512 505
-246 299 508 300 509
-247 508 509 303 304
-248 303 512 304 505
-249 511 512 316 317
-250 507 508 316 317
-251 320 507 508 313
-252 320 313 511 512
-253 487 488 315 316
-254 484 315 316 483
-255 319 484 320 483
-256 319 320 487 488
-257 1 2 227 228
-258 1 2 5 6
-259 5 6 229 230
-260 225 226 229 230
-261 3 4 225 226
-262 3 4 7 8
-263 231 232 7 8
-264 231 232 227 228
-265 2 35 3 36
-266 2 3 29 30
-267 61 29 62 30
-268 33 34 61 62
-269 33 1 34 4
-270 1 4 31 32
-271 63 31 64 32
-272 35 36 63 64
-273 6 39 7 40
-274 6 7 9 10
-275 41 9 42 10
-276 37 38 41 42
-277 37 5 38 8
-278 11 12 5 8
-279 11 44 12 43
-280 44 39 40 43
-281 11 235 236 10
-282 11 13 14 10
-283 13 14 237 238
-284 233 234 237 238
-285 12 233 234 9
-286 12 15 16 9
-287 15 16 239 240
-288 235 236 239 240
-289 14 47 15 48
-290 14 15 17 18
-291 49 17 50 18
-292 45 46 49 50
-293 45 13 46 16
-294 13 16 19 20
-295 51 19 52 20
-296 47 48 51 52
-297 243 244 18 19
-298 22 18 19 21
-299 22 245 246 21
-300 242 245 246 241
-301 242 17 20 241
-302 23 24 17 20
-303 23 24 247 248
-304 243 244 247 248
-305 22 55 23 56
-306 22 23 25 26
-307 57 25 58 26
-308 57 58 53 54
-309 24 53 21 54
-310 24 27 28 21
-311 59 27 60 28
-312 55 56 59 60
-313 26 27 251 252
-314 26 27 30 31
-315 253 254 30 31
-316 253 254 249 250
-317 25 28 249 250
-318 25 28 29 32
-319 255 256 29 32
-320 255 256 251 252
-321 34 67 35 68
-322 34 35 38 39
-323 69 70 38 39
-324 66 69 70 65
-325 33 66 36 65
-326 33 36 37 40
-327 37 71 72 40
-328 67 68 71 72
-329 42 75 43 76
-330 46 47 42 43
-331 77 78 46 47
-332 77 78 73 74
-333 44 73 41 74
-334 44 45 48 41
-335 45 79 80 48
-336 79 80 75 76
-337 50 83 51 84
-338 55 50 51 54
-339 55 85 86 54
-340 81 82 85 86
-341 81 49 82 52
-342 56 49 52 53
-343 88 56 53 87
-344 88 83 84 87
-345 58 91 59 92
-346 58 59 62 63
-347 93 94 62 63
-348 89 90 93 94
-349 89 57 90 60
-350 57 60 61 64
-351 61 95 96 64
-352 91 92 95 96
-353 66 99 67 100
-354 66 67 94 95
-355 125 126 94 95
-356 125 126 97 98
-357 68 97 65 98
-358 68 93 96 65
-359 93 127 128 96
-360 99 100 127 128
-361 70 103 71 104
-362 70 71 74 75
-363 105 106 74 75
-364 101 102 105 106
-365 101 69 102 72
-366 69 72 73 76
-367 73 107 108 76
-368 103 104 107 108
-369 78 111 79 112
-370 78 79 82 83
-371 113 114 82 83
-372 110 113 114 109
-373 77 110 80 109
-374 77 80 81 84
-375 81 115 116 84
-376 111 112 115 116
-377 86 119 87 120
-378 90 91 86 87
-379 121 122 90 91
-380 121 122 117 118
-381 88 117 85 118
-382 88 89 92 85
-383 89 123 124 92
-384 123 124 119 120
-385 99 132 98 131
-386 99 102 103 98
-387 133 134 102 103
-388 133 134 129 130
-389 100 129 97 130
-390 100 101 104 97
-391 101 135 136 104
-392 132 135 136 131
-393 106 139 107 140
-394 110 111 106 107
-395 110 111 141 142
-396 137 138 141 142
-397 137 105 138 108
-398 112 105 108 109
-399 143 144 112 109
-400 143 144 139 140
-401 114 147 115 148
-402 114 115 118 119
-403 149 150 118 119
-404 145 146 149 150
-405 145 113 146 116
-406 113 116 117 120
-407 117 151 152 120
-408 147 148 151 152
-409 122 155 123 156
-410 122 123 126 127
-411 157 158 126 127
-412 154 157 158 153
-413 121 154 124 153
-414 121 124 125 128
-415 125 159 160 128
-416 155 156 159 160
-417 130 163 131 164
-418 158 159 130 131
-419 189 190 158 159
-420 189 190 161 162
-421 132 161 129 162
-422 132 157 160 129
-423 157 191 192 160
-424 191 192 163 164
-425 134 167 135 168
-426 134 135 138 139
-427 169 170 138 139
-428 165 166 169 170
-429 165 133 166 136
-430 133 136 137 140
-431 137 171 172 140
-432 167 168 171 172
-433 143 176 142 175
-434 143 146 147 142
-435 177 178 146 147
-436 177 178 173 174
-437 144 173 141 174
-438 144 145 148 141
-439 145 179 180 148
-440 176 179 180 175
-441 150 183 151 184
-442 154 155 150 151
-443 154 155 185 186
-444 181 182 185 186
-445 181 149 182 152
-446 156 149 152 153
-447 187 188 156 153
-448 187 188 183 184
-449 162 195 163 196
-450 166 167 162 163
-451 198 166 167 197
-452 198 193 194 197
-453 193 161 194 164
-454 165 168 161 164
-455 165 199 200 168
-456 199 200 195 196
-457 170 203 171 204
-458 170 171 174 175
-459 205 206 174 175
-460 201 202 205 206
-461 201 169 202 172
-462 176 169 172 173
-463 176 173 207 208
-464 203 204 207 208
-465 178 211 179 212
-466 178 179 182 183
-467 213 214 182 183
-468 209 210 213 214
-469 209 177 210 180
-470 177 180 181 184
-471 181 215 216 184
-472 211 212 215 216
-473 187 220 186 219
-474 187 190 191 186
-475 221 222 190 191
-476 221 222 217 218
-477 188 217 185 218
-478 188 189 192 185
-479 189 223 224 192
-480 220 223 224 219
-481 225 194 195 228
-482 222 223 194 195
-483 254 222 255 223
-484 254 255 226 227
-485 193 226 227 196
-486 221 224 193 196
-487 253 221 256 224
-488 253 256 225 228
-489 198 199 232 229
-490 198 199 202 203
-491 234 202 235 203
-492 231 234 235 230
-493 231 200 197 230
-494 200 201 204 197
-495 233 201 236 204
-496 232 233 236 229
-497 237 206 207 240
-498 210 211 206 207
-499 242 210 243 211
-500 242 243 238 239
-501 205 238 239 208
-502 209 212 205 208
-503 209 244 212 241
-504 244 237 240 241
-505 245 214 215 248
-506 214 215 218 219
-507 250 218 251 219
-508 246 247 250 251
-509 213 246 247 216
-510 220 213 216 217
-511 220 249 217 252
-512 245 248 249 252
0