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