15#{{6,500},{7,875},{8,1250},{8,1625},{8,1812},{7,2187},{8,2562},{9,3312},{8,3687},{7,4062},{8,4437},{8,4624},{7,4999},{5,5374},{3,6124},{5,6499},{6,6874},{5,7249},{6,7624},{8,7999},{9,8374},{8,8749},{9,9124},{12,9499},{10,9874},{8,10624},{7,10999},{6,11374},{6,12124},{10,12499},{10,12686},{10,12873},{9,13623},{10,13998},{12,14373},{13,14748},{12,15123},{9,15498},{10,15685},{10,15872},{9,16622},{8,16997},{6,17372},{8,17747},{6,18122},{10,18497},{9,18872},{10,19247},{9,19622},{8,19997},{10,20372},{13,21122},{12,21497},{10,21684},{10,21871},{13,22621},{12,22996},{10,23183},{10,23370},{8,24120},{10,24495},{9,24870},{8,25245},{9,25620},{10,25995},{9,26370},{6,27120},{7,27307},{8,27494},{8,27869},{8,28244},{10,28619},{9,28994},{8,29369},{7,29744},{5,30119},{6,30494},{8,31244},{7,31619},{6,31994},{6,32744},{10,33119},{10,33306},{10,33493},{9,34243},{10,34618},{12,34993},{13,35368},{12,35743},{9,36118},{10,36305},{10,36492},{9,37242},{8,37617},{6,37992},{8,38367},{6,38742},{10,39117},{9,39492},{10,39867},{9,40242},{8,40617},{10,40992},{13,41742},{12,42117},{10,42492},{13,43242},{12,43617},{10,43804},{10,43991},{9,44741},{10,45116},{9,45491},{8,45866},{9,46241},{10,46616},{9,46991},{6,47741},{7,47928},{8,48115},{8,48490},{8,48865},{10,49240},{9,49615},{8,49990},{7,50365},{5,50740},{6,51115},{10,51865},{9,52240},{10,52615},{13,53365},{13,53740},{14,54490},{15,54865},{14,55240},{15,55615},{14,55990},{10,56365},{12,56740},{10,57490},{12,57865},{13,58240},{8,58615},{8,58990},{10,59365},{9,59740},{10,60115},{12,60490},{13,60865},{10,61240},{10,61615},{12,61990},{13,62365},{12,62740},{13,63115},{13,63865},{12,64240},{13,64427},{13,64614},{14,65364},{15,65739},{14,66114},{13,66489},{12,66864},{10,67614},{12,67989},{13,68364},{12,68739},{13,69114},{15,69489},{14,69864},{13,70239},{12,70614},{10,70989},{13,71364},{14,72114},{15,72489},{9,73239},{8,73614},{7,73989},{8,74364},{8,74551},{7,74926},{5,75301},{3,76051},{5,76426},{6,76801},{5,77176},{6,77551},{8,77926},{2,78301},{1,78676},{2,79051},{5,79426},{3,79801}}