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