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