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