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