UNIVERSIDADE FEDERAL DE MINAS GERAIS

Nome: Thiago Henrique de Souza Melo

Matéria: Calculo Numérico

BITCOIN ALPHA TRUST WEIGHTED SIGNED NETWORK

Janeiro 2021
1 INTRODUÇÃO

O trabalho da matéria de calculo numérico tem como motivação, uma das maiores paixões

que entrou na minha vida desde 2016, que é o Bitcoin. Conheci este ativo em 2012, mas

acreditei que era uma moedinha de jogo, somente em 2016 descobri os potencias disruptivos

desta moeda. Ao entender o que era Bitcoin em 2016 eu comprei os meus primeiros

satoshis, e estes satoshis que são frações de Bitcoin, representam pra mim junto com a

tecnologia esperança. O preço que hoje se encontra em 36 mil dólares, tem pouca

importância. O Bitcoin é uma moeda que surgiu em 2009 após a crise de 2008 como uma

alternativa ao sistema financeiro centralizado, esta moeda foi criada por Satoshi Nakamoto,

que ninguém sabe quem é, a moeda é criptografada e descentralizada, e sua existência tem

como resolução o problema do gasto duplo, por exemplo, um arquivo no computador pode

ser reproduzido ad infinito porém, dentro do Bitcoin isso é resolvido com um livro contábil

e publico que registra toda as transações feitas dentro do sistema, os mineradores além de

minerar novos bitcoins cujo o limite são 21 milhões, possuem o papel de registrar cada

transação neste livro contábil, desta forma, a tecnologia trás a ideia de escassez pro mundo

virtual. A importância da matéria de calculo numérico é que o Bitcoin se fundamenta na

criptografia de chave pública. E tal criptografia, utiliza números primos gigantes, porém,

como esses números são grandes, eles gastam espaços enormes na memoria, eis que pela

solução algorítmica conseguimos resolver tal problema. Neste trabalho, pegamos uma

matriz quadrada de tamanho 3783×3783 dupla esparsa, que datam de 2016 pelos autores S.

Kumar, F. Spezzano, V.S. Subrahmanian, C. Faloutsos. O ano de 2016 foi marcado por um

Halving, que é a diminuição da recompensa da mineração, que caiu de 25 Bitcoins para

12,5. O Halving acontece de 4 em 4 anos, e sua ocorrência marca ciclos de alta dentro do

sistema. Além disso, este texto, contem o algoritmo feito no Mathlab contendo as

informações mais importantes da matriz descarregado no site Suitesparce.

 2 APRESENTAÇÃO

Este trabalho, tem como objeto matrizes esparsas que são matrizes bem grandes, porém, a maioria

destes elementos são zeros, então para otimizar nossa memoria e nosso tempo, só trabalhamos com

números cujo resultado não é zero. Desta forma nosso trabalho consiste em localizar valores em

linhas e colunas cujo o resultado é diferente de zero. E nosso objetivo nesse trabalho é não perder

esta característica, e os algoritmos leva isso em conta. Foi procurado um problema no Suitesparse

que envolvia Bitcoin, pois como foi informado acima é a paixão do autor deste texto. A matriz foi

resolvida no Mathlab online. O registro selecionado para execução foi a matriz quadrada

3783×3783 cujo o padrão de simetria é de 83,2% ou seja é uma matriz não simétrica. Esta matriz

corresponde a rede de pessoas que fazem trocas voluntarias usando o Bitcoin numa plataforma

chamada de Bitcoin Alpha. Nesta plataforma os usuários são anônimos, e há necessidades de manter

registros dos usuarios para manter suas reputações de modo a evitar usuários fraudulentos. Os

menbros da Bitcoin Alpha classificam seus usuários em -10( para usuários não confiáveis ) e +10

( para usuários confiáveis ) em passos de 1. O conjunto de dados SNAP é baseado em 1, com nós

numerados de 1 a 7.604. A solução do sistema de equações lineares é 1

 3 CONCLUSÃO

Manipulamos a matriz de reputação dos usuarios anonimos do site Bitcoin Alpha, uma matriz

quadrada de tamanho 3783×3783 não simetrica, cujo o resultado obtido pelo algoritimo do Mathlab

que será apresentado abaixo é: b(10)

ans =

(1,1) 284
 4 BIBLIOGRAFIA

KUMAR, S. SPEZZANO, F. SUBRAHMANIAN, V. FALOUTSOS. Prediction In Weighted

Signed Networks. IEEE International Conference on Data Mining (ICDM), 2016.

 5 ALGORITMO

Titulo: Bitcoin Alpha trust weighted signed network

Nome: Thiago Henrique de Souza Melo

whos

Name Size Bytes Class Attributes

Problem 1x1 1654624 struct

Problem

Problem =

struct with fields:

name: 'SNAP/soc-sign-bitcoin-alpha'

title: 'SNAP network: Bitcoin Alpha trust weighted signed network'

A: [3783×3783 double]

id: 2790

date: '2016'

author: 'S. Kumar, F. Spezzano, V.S. Subrahmanian, C. Faloutsos'

ed: 'J. Leskovec'

kind: 'directed weighted temporal graph'

notes: [89×75 char]

aux: [1×1 struct]

A = Problem.A;

whos

Name Size Bytes Class Attributes

A 3783x3783 417248 double sparse
Problem 1x1 1654624 struct

Exemplo = [1 2;3 4]

Exemplo =

12
34

sum (Exemplo')

ans =

37

b = sum (A');

b=

(1,1) 604
(1,2) 397
(1,3) 493
(1,4) 476
(1,5) -90
(1,6) 252
(1,7) 30
(1,8) -96
(1,9) 186
(1,10) 284
(1,11) 158
(1,12) 194
(1,13) 147
(1,14) 187
(1,15) 65
(1,16) 243
(1,17) 233
(1,18) 205
(1,19) 178
(1,20) 204
(1,21) 201
(1,22) 276
(1,23) 159
(1,24) 193
(1,25) 175
(1,26) 179
(1,27) 129
(1,28) 80
(1,29) 107
(1,30) -11
(1,31) 120
(1,32) 148
(1,33) 164
(1,34) 132
(1,35) 10
(1,36) 141
(1,37) 149
(1,38) 147
(1,39) 105
(1,40) 134
(1,42) 142
(1,43) -55
(1,44) 135
(1,45) 50
(1,46) 80
(1,47) 61
(1,48) 119
(1,49) 96
(1,50) 75
(1,51) 79
(1,52) 89
(1,53) -30
(1,54) 120
(1,55) 58
(1,56) 95
(1,57) 127
(1,58) 95
(1,59) 73
(1,60) 35
(1,61) 67
(1,62) 78
(1,63) 50
(1,64) 51
(1,65) 47
(1,66) 74
(1,67) 119
(1,68) 15
(1,69) 76
(1,70) 52
(1,71) 67
(1,72) 74
(1,73) 48
(1,74) 51
(1,75) 85
(1,76) 48
(1,77) 79
(1,78) 81
(1,79) 77
(1,80) 34
(1,81) 62
(1,82) 47
(1,83) 13
(1,84) 88
(1,85) 30
(1,86) 44
(1,87) 31
(1,88) 32
(1,89) 60
(1,90) 96
(1,91) 72
(1,92) 88
(1,93) 40
(1,94) 24
(1,95) 20
(1,96) 50
(1,97) 129
(1,98) 75
(1,99) 44
(1,100) 57
(1,101) 41
(1,102) 62
(1,103) 79
(1,104) 67
(1,105) 42
(1,106) 64
(1,107) 79
(1,108) 61
(1,109) 71
(1,110) 69
(1,111) -24
(1,112) 71
(1,113) 92
(1,114) 66
(1,115) 60
(1,116) 59
(1,117) 58
(1,118) 64
(1,119) 77
(1,120) 69
(1,121) 63
(1,122) 56
(1,123) 40
(1,124) 161
(1,125) 36
(1,126) 37
(1,127) 4
(1,128) 47
(1,129) 420
(1,130) 52
(1,131) 76
(1,132) 60
(1,133) 68
(1,135) 52
(1,136) 50
(1,137) 38
(1,138) 14
(1,139) 17
(1,140) 37
(1,141) 14
(1,142) 70
(1,143) 34
(1,144) 66
(1,145) -40
(1,146) 51
(1,147) 51
(1,148) 59
(1,149) 47
(1,150) 7
(1,151) 55
(1,152) 81
(1,153) 38
(1,154) 47
(1,155) 43
(1,156) 66
(1,157) 22
(1,158) 64
(1,159) 87
(1,160) 41
(1,161) 54
(1,162) 32
(1,163) 47
(1,164) 50
(1,165) 40
(1,166) 36
(1,167) 41
(1,168) -18
(1,169) 81
(1,170) 28
(1,171) 12
(1,172) 48
(1,173) 37
(1,174) 20
(1,175) 46
(1,176) 76
(1,177) 293
(1,178) 50
(1,179) -61
(1,180) 32
(1,181) 42
(1,182) 28
(1,183) 36
(1,184) 2
(1,185) 77
(1,186) 42
(1,187) 34
(1,188) -77
(1,189) 29
(1,190) 67
(1,191) 41
(1,192) 49
(1,193) 44
(1,194) 38
(1,195) 34
(1,196) -1
(1,197) 68
(1,198) 26
(1,199) 37

(1,200) 5
(1,201) 32
(1,202) 35
(1,203) 42
(1,204) 48
(1,205) 50
(1,206) -2
(1,207) 39
(1,208) 34
(1,209) 28
(1,210) 29
(1,211) 42
(1,212) 49
(1,213) 38
(1,214) 22
(1,215) 40
(1,216) 34
(1,217) 28
(1,218) 36
(1,219) 37
(1,220) 28
(1,221) 35
(1,222) 15
(1,223) 35
(1,224) 36
(1,225) 24
(1,226) 26
(1,227) 35
(1,228) 14
(1,229) 27
(1,230) 17
(1,231) 33
(1,232) 44
(1,233) 31
(1,234) 38
(1,235) 34
(1,236) 32
(1,237) 22
(1,238) 34
(1,239) 40
(1,240) 23
(1,241) 26
(1,242) 30
(1,243) 34
(1,244) 51
(1,245) -44
(1,246) 60
(1,247) 50
(1,248) 30
(1,249) 26
(1,250) 33
(1,251) 30
(1,252) 15
(1,253) 37
(1,254) 53
(1,255) 43
(1,256) 37
(1,257) 26
(1,258) 39
(1,259) 25
(1,260) 28
(1,261) 20
(1,262) 33
(1,263) 8
(1,264) 43
(1,265) 47
(1,266) 45
(1,267) 42
(1,269) 13
(1,270) 6
(1,271) 39
(1,272) -59
(1,273) 23
(1,274) 27
(1,275) 20
(1,276) 19
(1,277) 21
(1,278) -15
(1,279) 64
(1,280) 35
(1,281) 38
(1,282) 38
(1,283) 28
(1,284) 20
(1,285) 27
(1,286) -31
(1,287) 36
(1,288) 67
(1,289) 14
(1,290) 32
(1,291) 34
(1,292) 42
(1,293) 37
(1,294) 2
(1,295) 28
(1,296) 38
(1,297) 21
(1,298) 22
(1,299) 22
(1,300) 18
(1,301) 17
(1,302) 38
(1,303) 32
(1,304) 49
(1,305) 25
(1,306) 35
(1,307) 27
(1,308) 26
(1,309) 30
(1,310) 21
(1,311) 16
(1,312) 25
(1,313) 26
(1,314) 37
(1,315) 24
(1,316) 27
(1,317) 7
(1,318) 24
(1,319) 37
(1,320) 27
(1,321) 20
(1,322) 27
(1,323) 34
(1,324) 17
(1,325) 38
(1,326) 29
(1,327) 12
(1,328) 28
(1,329) 17
(1,330) 4
(1,331) 28
(1,332) 8
(1,333) 19
(1,334) 39
(1,335) 6
(1,336) 28
(1,337) 2
(1,338) -3
(1,339) 21
(1,340) 21
(1,341) 26
(1,342) 15
(1,343) 19
(1,344) 45
(1,345) 24
(1,346) 31
(1,347) 24
(1,348) 43
(1,349) 27
(1,350) 30
(1,351) 29
(1,352) 8
(1,353) 44
(1,354) 26
(1,355) 19
(1,356) 39
(1,357) 30
(1,359) 20
(1,360) 19
(1,361) 18
(1,362) 15
(1,363) 23
(1,364) 36
(1,365) 14
(1,366) 13
(1,367) 13
(1,368) 22
(1,369) 7
(1,370) 16
(1,371) 12
(1,372) 30
(1,373) 19
(1,374) 54
(1,375) 14
(1,376) 27
(1,377) 28
(1,378) 25
(1,379) 13
(1,380) 19
(1,381) 16
(1,382) 11
(1,383) 27
(1,384) 25
(1,385) 2
(1,386) 8
(1,387) 20
(1,388) 12
(1,389) 35
(1,390) 29
(1,391) 29
(1,392) 26
(1,393) 17
(1,394) 18
(1,395) 24
(1,396) 23
(1,397) 24
(1,398) 24
(1,399) 20
(1,400) 28
(1,401) 20
(1,402) 24
(1,403) 21
(1,404) 32
(1,405) 12
(1,406) 32
(1,408) 32
(1,409) 32
(1,410) 21
(1,411) 25
(1,412) 27
(1,413) 16
(1,415) 15
(1,416) 32
(1,417) 1
(1,418) 20
(1,419) 19
(1,420) 5
(1,421) 17
(1,422) 15
(1,423) 20
(1,424) 2
(1,425) 1
(1,426) 13
(1,427) 31
(1,428) 1
(1,429) 29
(1,430) 29
(1,431) 22
(1,432) 18
(1,433) 8
(1,434) 7
(1,435) 31
(1,436) -7
(1,437) 27
(1,438) 11
(1,439) 10
(1,440) 25
(1,441) 16
(1,442) 1
(1,443) 5
(1,444) 9
(1,445) 19
(1,446) 17
(1,447) 23
(1,448) 18
(1,449) 12
(1,450) 13
(1,451) 20
(1,452) 20
(1,453) 16
(1,454) 21
(1,455) 15
(1,456) 10
(1,457) 24
(1,458) 9
(1,459) 15
(1,460) 17
(1,461) 10
(1,462) 24
(1,463) 19
(1,464) 24
(1,465) 28
(1,466) 18
(1,467) 6
(1,468) 18
(1,470) 8
(1,471) 3
(1,472) 18
(1,473) 16
(1,474) 8
(1,475) 24
(1,476) 13
(1,477) 19
(1,478) 20
(1,479) 19
(1,480) -1
(1,481) 8
(1,482) 20
(1,483) 6
(1,484) 24
(1,485) 12
(1,486) 9
(1,487) 33
(1,488) 11
(1,489) 10
(1,490) 20
(1,491) 11
(1,492) 20
(1,493) 16
(1,494) 16
(1,495) 18
(1,496) 6
(1,497) 8
(1,498) 12
(1,499) 9
(1,500) 24
(1,501) 34
(1,502) 20
(1,503) 21
(1,504) 10
(1,505) 17
(1,506) 12
(1,507) 20
(1,508) 5
(1,509) 22
(1,510) 10
(1,511) 7
(1,512) 13
(1,513) 9
(1,514) 15
(1,515) 15
(1,516) 16
(1,517) 5
(1,518) 23
(1,519) 20
(1,520) 11
(1,521) 11
(1,522) 13
(1,523) 25
(1,524) 20
(1,525) 55
(1,526) 23
(1,527) 6
(1,528) 17
(1,529) 18
(1,530) 20
(1,531) 15
(1,532) 5
(1,533) 14
(1,534) 4
(1,535) 15
(1,536) 12
(1,537) 12
(1,538) 3
(1,539) 11
(1,540) 16
(1,541) 13
(1,542) 9
(1,543) 15
(1,544) 9
(1,545) 25
(1,546) 14
(1,547) 10
(1,548) 19
(1,549) 16
(1,550) 17
(1,551) 12
(1,552) 17
(1,553) 10
(1,554) 20
(1,555) 10
(1,556) 20
(1,557) 22
(1,558) 3
(1,559) 25
(1,561) 18
(1,562) 15
(1,563) 13
(1,564) -1
(1,565) 9
(1,566) 18
(1,567) 11
(1,568) 17
(1,569) 14
(1,570) 11
(1,571) 14
(1,572) 12
(1,573) 12
(1,574) 17
(1,575) 19
(1,576) 15
(1,577) 9
(1,578) 18
(1,579) 13
(1,580) 10
(1,581) 12
(1,583) 6
(1,584) 13
(1,585) 13
(1,586) 16
(1,587) 11
(1,588) 17
(1,589) 18
(1,590) 17
(1,591) 10
(1,592) 13
(1,593) -5
(1,594) 17
(1,595) 11
(1,596) 6
(1,597) 13
(1,598) 22
(1,599) 19
(1,600) 15
(1,601) 10
(1,602) 14
(1,603) 12
(1,604) 13
(1,605) 26
(1,606) 2

(1,607) 6
(1,608) 22
(1,609) 12
(1,610) 12
(1,611) 9
(1,612) 13
(1,613) 28
(1,614) 8
(1,615) 12
(1,616) 13
(1,617) 17
(1,618) 10
(1,619) 1
(1,621) 16
(1,622) 11
(1,623) 24
(1,624) 2
(1,625) 13
(1,626) 1
(1,628) 30
(1,629) 3
(1,630) 15
(1,632) 19
(1,633) 24
(1,634) 13
(1,635) 14
(1,636) 4
(1,637) 14
(1,638) 12
(1,639) 8
(1,640) 11
(1,641) 20
(1,642) 21
(1,643) 11
(1,644) 3
(1,645) 27
(1,646) 11
(1,647) -22
(1,648) 5
(1,649) 19
(1,650) 15
(1,651) 28
(1,652) 8
(1,654) 14
(1,655) 12
(1,656) 21
(1,657) 12
(1,658) 8
(1,659) 1
(1,660) 15
(1,661) 9
(1,662) 12
(1,663) 20
(1,664) 12
(1,665) 14
(1,666) 25
(1,667) 6
(1,668) 13
(1,669) 10
(1,670) 5
(1,671) 15
(1,672) 4
(1,673) 28
(1,674) 12
(1,675) 11
(1,676) 14
(1,677) 15
(1,678) 12
(1,679) 12
(1,680) 22
(1,681) 11
(1,682) 12
(1,683) 16
(1,684) 12
(1,685) 11
(1,686) 17
(1,687) 1
(1,688) 15
(1,689) 17
(1,690) 20
(1,691) 3
(1,692) 12
(1,693) 26
(1,694) 1
(1,695) 11
(1,696) 16
(1,697) 10
(1,698) 7
(1,699) 17
(1,700) 10
(1,701) 24
(1,702) 16
(1,703) 15
(1,704) 13
(1,705) 11
(1,706) 12
(1,707) 12
(1,708) -128
(1,709) 12
(1,710) 12
(1,711) 6
(1,712) 8
(1,713) 7
(1,714) 11
(1,715) 17
(1,716) 20
(1,717) 10
(1,718) 9
(1,719) 5
(1,720) 12
(1,721) 14
(1,722) 11
(1,723) 11
(1,725) 10
(1,726) 40
(1,727) 11
(1,728) 9
(1,729) 11
(1,730) 14
(1,731) 11
(1,732) 10
(1,733) 11
(1,734) 8
(1,735) 11
(1,736) 12
(1,737) 2
(1,738) 11
(1,739) 14
(1,740) 2
(1,741) 10
(1,742) 8
(1,743) 11
(1,744) 6
(1,745) 14
(1,746) 2
(1,747) 15
(1,748) 29
(1,749) 12
(1,750) 16
(1,751) 14
(1,752) 12
(1,753) 21
(1,754) 42
(1,755) 11
(1,756) 15
(1,757) 18
(1,758) 10
(1,759) 8
(1,760) 8
(1,761) 9
(1,762) 1
(1,763) 11
(1,765) 1
(1,766) 18
(1,768) 17
(1,769) 6
(1,770) 6
(1,771) 8
(1,772) 10
(1,773) 4
(1,774) 8
(1,775) -12
(1,776) 10
(1,777) 20
(1,778) 11
(1,779) 10
(1,780) 8
(1,781) 16
(1,782) 10
(1,783) 7
(1,784) 14
(1,785) 18
(1,786) 9
(1,787) 11
(1,788) 10
(1,789) 10
(1,790) 10
(1,791) -70
(1,792) 3
(1,793) 10
(1,796) 18
(1,798) 119
(1,799) 15
(1,800) 12
(1,801) 16
(1,802) 2
(1,803) 12
(1,804) 19
(1,806) 10
(1,807) 18
(1,808) 10
(1,809) 13
(1,810) 4
(1,811) 10
(1,812) 14
(1,813) 6
(1,814) 10
(1,815) 15
(1,817) 11
(1,818) 11

(1,819) 10
(1,821) 12
(1,822) 11
(1,823) 10
(1,824) 23
(1,825) 9
(1,826) 18
(1,827) 10
(1,828) 30
(1,829) 8
(1,830) 12
(1,831) 10
(1,832) 16
(1,833) 10
(1,834) 10
(1,838) -10
(1,839) 5
(1,840) 10
(1,841) 7
(1,842) 9
(1,844) 9
(1,845) 4
(1,846) 3
(1,847) 4
(1,848) 9
(1,849) 6
(1,850) 9
(1,851) 10
(1,852) 12
(1,853) 8
(1,854) -2
(1,855) 9
(1,856) 5
(1,857) 8
(1,858) 2
(1,859) 19
(1,860) 9
(1,861) 6
(1,862) 5
(1,863) 25
(1,864) 11
(1,865) 13
(1,866) 15
(1,867) 9
(1,868) 9
(1,869) 8
(1,870) 25
(1,871) 12
(1,872) 13
(1,874) 11
(1,875) 8
(1,876) 14
(1,877) 10
(1,878) 9
(1,879) 10
(1,880) 9
(1,881) 11
(1,882) 9
(1,883) 7
(1,884) 8
(1,885) 13
(1,886) 4
(1,887) 18
(1,888) 14
(1,890) 13
(1,891) 9
(1,892) 5
(1,893) 10
(1,894) 11
(1,895) 9
(1,896) 9
(1,898) 9
(1,899) 8
(1,900) 14
(1,902) 5
(1,904) 12
(1,905) 3
(1,906) 13
(1,908) 3
(1,909) 8
(1,910) 4
(1,911) 8
(1,912) 9
(1,913) 3
(1,914) 6
(1,915) 8
(1,916) 9
(1,917) 7
(1,918) 10
(1,920) 7
(1,921) 8
(1,922) 4
(1,923) 4
(1,925) 9
(1,926) 11
(1,927) 10
(1,929) 8
(1,930) 8
(1,931) 13
(1,932) 11
(1,933) 3
(1,934) 8
(1,935) 8
(1,936) 8
(1,937) 10
(1,938) 8
(1,939) 8
(1,940) 4
(1,941) 8
(1,942) 11
(1,943) 8
(1,944) 8
(1,945) 9
(1,946) 18
(1,947) 8
(1,948) 8
(1,949) 15
(1,950) 10
(1,951) 9
(1,952) 8
(1,953) 14
(1,954) 20
(1,955) 9
(1,956) 9
(1,957) 5
(1,958) 12
(1,959) 7
(1,960) 8
(1,961) 6
(1,962) 7
(1,963) 5
(1,964) 10
(1,965) 6
(1,966) 9
(1,967) 3
(1,968) 8
(1,969) 14
(1,971) 21
(1,972) 1
(1,973) 8
(1,974) 9
(1,975) 9
(1,976) 13
(1,978) 10
(1,979) 10
(1,980) 3
(1,981) 9
(1,982) 9
(1,983) 7
(1,984) 6
(1,985) 8
(1,986) 7
(1,987) 2
(1,988) -1
(1,989) 1
(1,990) 6
(1,991) 3
(1,992) 7
(1,993) 7
(1,994) 11
(1,995) 1
(1,996) 2
(1,997) 3
(1,998) 2
(1,999) 6
(1,1000) 1
(1,1001) 7
(1,1002) 7
(1,1003) 7
(1,1004) 6
(1,1005) 7
(1,1006) 7
(1,1007) 7
(1,1008) 7
(1,1009) 10
(1,1010) 7
(1,1011) 8
(1,1012) 5
(1,1013) 9
(1,1014) 7
(1,1015) 1
(1,1016) 8
(1,1017) 1
(1,1018) 6
(1,1020) 5
(1,1021) 5
(1,1022) 7
(1,1023) 9
(1,1024) 4
(1,1025) 4
(1,1026) 22
(1,1027) 11
(1,1029) 8
(1,1030) 7
(1,1031) 9
(1,1032) 7
(1,1033) 8
(1,1034) 5
(1,1035) 2
(1,1036) -3

(1,1037) 2
(1,1038) -3
(1,1039) 16
(1,1040) 6
(1,1041) 8
(1,1042) 7
(1,1043) 12
(1,1044) 2
(1,1045) 8
(1,1046) 9
(1,1047) 13
(1,1048) 6
(1,1049) 1
(1,1050) 10
(1,1051) 6
(1,1052) 9
(1,1053) 6
(1,1054) 7
(1,1055) 7
(1,1056) 7
(1,1057) 7
(1,1058) 7
(1,1059) 8
(1,1060) 8
(1,1061) 8
(1,1062) 13
(1,1063) 9
(1,1064) 12
(1,1065) 9
(1,1066) 5
(1,1067) 13
(1,1068) 8
(1,1069) 7
(1,1071) 8
(1,1072) 13
(1,1073) 9
(1,1074) 32
(1,1076) 3
(1,1077) 6
(1,1078) 8
(1,1079) 1
(1,1080) 1
(1,1081) 1
(1,1082) 8
(1,1083) 7
(1,1084) 5
(1,1085) 8
(1,1086) 2
(1,1087) 4
(1,1088) 5
(1,1089) 3
(1,1090) 5
(1,1091) 6
(1,1093) 2
(1,1094) 2
(1,1095) 6
(1,1096) 3
(1,1098) 8
(1,1099) 5
(1,1100) 5
(1,1101) 5
(1,1102) 4
(1,1103) 15
(1,1104) 8
(1,1105) 3
(1,1106) 7
(1,1107) 6
(1,1108) 3
(1,1109) 7
(1,1111) 8
(1,1112) 6
(1,1113) 1
(1,1114) 6
(1,1115) 7
(1,1116) 8
(1,1117) 4
(1,1118) 7
(1,1119) 6
(1,1120) 7
(1,1121) 6
(1,1122) 6
(1,1123) 8
(1,1124) 4
(1,1125) 6
(1,1126) 6
(1,1127) 6
(1,1128) 10
(1,1129) 6
(1,1130) 9
(1,1131) 2
(1,1132) 6
(1,1133) 7
(1,1134) -35
(1,1135) 1
(1,1136) 11
(1,1137) 6
(1,1139) 6
(1,1140) 6
(1,1141) 6
(1,1142) 10
(1,1143) 1
(1,1144) 7
(1,1145) 6
(1,1146) 6
(1,1147) 5
(1,1148) 5
(1,1149) 6
(1,1150) 6
(1,1151) 10
(1,1152) 6
(1,1153) 1
(1,1154) 6
(1,1156) 6
(1,1157) 5
(1,1158) -8
(1,1159) -99
(1,1160) 4
(1,1161) 7
(1,1162) 10
(1,1163) 8
(1,1164) 6
(1,1165) 10
(1,1166) 7
(1,1167) 7
(1,1168) 6
(1,1169) 6
(1,1170) 9
(1,1171) 5
(1,1172) 6
(1,1173) 5
(1,1174) 10
(1,1175) 8
(1,1177) 9
(1,1178) 14
(1,1179) 10
(1,1180) 9
(1,1181) 9
(1,1182) 5
(1,1183) 6
(1,1184) 6
(1,1185) 8
(1,1186) 6
(1,1187) -5
(1,1188) 7
(1,1189) 9
(1,1190) 8
(1,1191) 6
(1,1192) 9
(1,1193) 7
(1,1194) 5
(1,1195) 7
(1,1196) 2
(1,1197) 7
(1,1198) 7
(1,1199) 11
(1,1201) 1
(1,1202) 9
(1,1207) 5
(1,1208) 2
(1,1209) 6
(1,1210) 8
(1,1212) 4
(1,1214) 1
(1,1216) 4
(1,1218) 2
(1,1219) 1
(1,1220) 8
(1,1221) 2
(1,1222) 5
(1,1224) 5
(1,1225) 1
(1,1226) 5
(1,1227) 6
(1,1228) 5
(1,1229) 5
(1,1230) 10
(1,1232) 7
(1,1233) 10
(1,1234) 5
(1,1235) 10
(1,1236) 10
(1,1237) 5
(1,1238) 5
(1,1239) 5
(1,1240) 3
(1,1241) 18
(1,1243) -4
(1,1244) 5
(1,1245) 5
(1,1246) 10
(1,1247) 13
(1,1248) 5
(1,1249) 23
(1,1250) 5
(1,1251) 11
(1,1252) 7
(1,1253) 5
(1,1254) 6
(1,1255) 3
(1,1256) 14

(1,1257) 5
(1,1258) 5
(1,1259) 8
(1,1260) 5
(1,1261) 5
(1,1262) 4
(1,1263) 5
(1,1264) 6
(1,1265) 5
(1,1266) 5
(1,1267) 5
(1,1268) 3
(1,1269) 6
(1,1270) 5
(1,1271) 5
(1,1272) 5
(1,1273) 4
(1,1274) 5
(1,1275) 5
(1,1276) 6
(1,1278) 5
(1,1279) 4
(1,1280) 6
(1,1281) 5
(1,1282) 5
(1,1283) 9
(1,1284) 5
(1,1285) 5
(1,1287) 5
(1,1288) 6
(1,1289) 10
(1,1290) 6
(1,1291) 10
(1,1292) -2
(1,1293) 5
(1,1294) 6
(1,1295) 7
(1,1297) 1
(1,1298) 8
(1,1299) 11
(1,1300) 5
(1,1301) 1
(1,1302) 4
(1,1303) 10
(1,1304) 6
(1,1305) 3
(1,1306) 7
(1,1307) 2
(1,1308) 5
(1,1309) 5
(1,1310) 3
(1,1311) 1
(1,1312) 5
(1,1313) 4
(1,1314) 5
(1,1315) 9
(1,1316) 5
(1,1317) 2
(1,1318) 4
(1,1320) 5
(1,1322) 13
(1,1323) 4
(1,1324) 4
(1,1325) 6
(1,1326) 10
(1,1327) 4
(1,1328) 13
(1,1329) 5
(1,1330) 5
(1,1331) 4
(1,1332) 4
(1,1333) 7
(1,1334) 5
(1,1335) 4
(1,1336) 4
(1,1337) 3
(1,1338) 5
(1,1339) 6
(1,1340) 5
(1,1342) 5
(1,1343) 9
(1,1344) 5
(1,1346) 7
(1,1347) 9
(1,1348) 5
(1,1349) 4
(1,1350) 4
(1,1351) 15
(1,1352) 9
(1,1353) 5
(1,1354) 2
(1,1355) 4
(1,1356) 4
(1,1357) 2
(1,1358) 5
(1,1359) 3
(1,1360) 5
(1,1361) 9
(1,1362) 7
(1,1363) 4
(1,1364) 4
(1,1365) 3
(1,1366) 5
(1,1367) 16
(1,1368) 25
(1,1369) 2
(1,1370) 5
(1,1371) 5
(1,1372) 7
(1,1373) 7
(1,1374) 9
(1,1375) 5
(1,1376) 5
(1,1377) 8
(1,1378) 6
(1,1379) 10
(1,1380) 13
(1,1381) 5
(1,1382) 5
(1,1383) 5
(1,1386) 12
(1,1387) 4
(1,1388) 15
(1,1389) 1
(1,1392) 3
(1,1393) 2
(1,1396) 2
(1,1398) 7
(1,1399) 4
(1,1400) 4
(1,1401) 13
(1,1402) 4
(1,1404) 4
(1,1405) 4
(1,1409) 5
(1,1413) 3
(1,1415) 4
(1,1416) 5
(1,1417) 4
(1,1419) 3
(1,1420) 1
(1,1421) 14
(1,1422) 4
(1,1423) 3
(1,1424) 10
(1,1425) 1
(1,1426) 4
(1,1427) 4
(1,1428) 10
(1,1429) 2
(1,1430) 3
(1,1431) 5
(1,1432) 4
(1,1433) 4
(1,1434) 5
(1,1435) 4
(1,1436) 4
(1,1437) 6
(1,1438) 4
(1,1439) 1
(1,1440) 5
(1,1441) 2
(1,1442) 5
(1,1443) 4
(1,1444) 8
(1,1445) 9
(1,1446) 5
(1,1448) 5
(1,1449) 4
(1,1450) 7
(1,1451) 2
(1,1452) 4
(1,1453) 4
(1,1454) 6
(1,1455) 13
(1,1456) 24
(1,1457) 5
(1,1458) 28
(1,1459) 4
(1,1460) 4
(1,1461) 5
(1,1462) 7
(1,1463) 6
(1,1464) 6
(1,1465) 3
(1,1466) 4
(1,1467) 4
(1,1468) 3
(1,1469) 1
(1,1470) 2
(1,1471) 4
(1,1472) 5
(1,1473) 4
(1,1474) 5
(1,1475) 4
(1,1476) 4
(1,1477) 4
(1,1478) 7
(1,1479) 3
(1,1480) 5

(1,1481) 7
(1,1482) 4
(1,1483) 4
(1,1484) 4
(1,1485) 1
(1,1486) 5
(1,1487) 5
(1,1488) 4
(1,1489) 3
(1,1490) 4
(1,1491) 4
(1,1492) 4
(1,1493) 3
(1,1494) 7
(1,1495) 4
(1,1496) 6
(1,1498) 9
(1,1500) 4
(1,1501) 2
(1,1502) 5
(1,1503) 4
(1,1504) 4
(1,1505) 3
(1,1506) 8
(1,1507) 4
(1,1508) 4
(1,1509) 5
(1,1510) 6
(1,1511) 4
(1,1512) 1
(1,1513) 13
(1,1514) 4
(1,1516) 5
(1,1517) 10
(1,1518) 5
(1,1519) 6
(1,1520) 2
(1,1521) 3
(1,1522) -17
(1,1523) 5
(1,1524) -7
(1,1525) 8
(1,1526) 8
(1,1527) 3
(1,1528) 5
(1,1529) 4
(1,1530) 6
(1,1531) 7
(1,1532) 4
(1,1533) 3
(1,1534) 4
(1,1535) 8
(1,1536) 5
(1,1537) 4
(1,1538) 6
(1,1539) 5
(1,1540) 4
(1,1541) 9
(1,1542) 6
(1,1543) 1
(1,1544) 8
(1,1545) 8
(1,1546) 4
(1,1547) 4
(1,1548) 4
(1,1549) 5
(1,1550) 5
(1,1551) 2
(1,1552) 2
(1,1553) 3
(1,1554) 2
(1,1555) 4
(1,1556) 4
(1,1557) 5
(1,1558) 6
(1,1559) 3
(1,1560) 4
(1,1561) 4
(1,1562) 2
(1,1563) 3
(1,1564) 3
(1,1565) 9
(1,1566) 8
(1,1567) 5
(1,1568) -17
(1,1569) -4
(1,1570) 7
(1,1571) 8
(1,1572) 4
(1,1573) 6
(1,1574) 3
(1,1575) 4
(1,1576) 2
(1,1577) 5
(1,1578) 7
(1,1579) 4
(1,1580) 6
(1,1581) -6
(1,1582) 3
(1,1583) 5
(1,1584) 7
(1,1585) 4
(1,1586) 8
(1,1588) 4
(1,1589) 4
(1,1590) 14
(1,1592) 2
(1,1593) 2
(1,1594) 3
(1,1596) 9
(1,1597) 7
(1,1600) 3
(1,1601) 3
(1,1602) 2
(1,1603) 6
(1,1605) 5
(1,1606) 4
(1,1607) 2
(1,1610) 1
(1,1611) 11
(1,1612) 3
(1,1613) 4
(1,1614) 3
(1,1615) 7
(1,1616) 3
(1,1617) 3
(1,1618) 3
(1,1619) 7
(1,1620) 5
(1,1621) 3
(1,1622) 2
(1,1623) 2
(1,1624) 3
(1,1625) 4
(1,1626) 3
(1,1627) 3
(1,1628) 5
(1,1629) 4
(1,1630) 3
(1,1631) 3
(1,1632) 5
(1,1633) 5
(1,1635) 3
(1,1636) 4
(1,1638) 25
(1,1639) 6
(1,1640) 3
(1,1641) 6
(1,1642) 3
(1,1644) 3
(1,1645) 3
(1,1647) 3
(1,1648) 3
(1,1649) 4
(1,1650) 3
(1,1651) 4
(1,1652) 3
(1,1653) 3
(1,1654) -8
(1,1655) 1
(1,1656) 2
(1,1657) 3
(1,1658) 4
(1,1659) 3
(1,1660) 3
(1,1661) 5
(1,1662) 3
(1,1663) 3
(1,1664) 3
(1,1665) 4
(1,1666) 1
(1,1667) 3
(1,1668) 2
(1,1669) 3
(1,1670) 3
(1,1671) 2
(1,1672) 3
(1,1673) 2
(1,1674) 6
(1,1675) 2
(1,1676) 4
(1,1677) 3
(1,1678) 2
(1,1680) 10
(1,1681) 9
(1,1684) 2
(1,1685) 3
(1,1686) 3
(1,1687) 1
(1,1688) 5
(1,1689) 4
(1,1690) 2
(1,1691) -66
(1,1692) 3
(1,1693) 3
(1,1694) -7
(1,1695) 3
(1,1696) 3
(1,1697) 4
(1,1698) 2

(1,1699) 3
(1,1700) 2
(1,1701) 3
(1,1702) 4
(1,1703) 4
(1,1704) 2
(1,1705) 4
(1,1706) 3
(1,1708) 3
(1,1709) 5
(1,1710) 3
(1,1711) 4
(1,1712) 10
(1,1713) 4
(1,1714) 4
(1,1715) 4
(1,1716) 4
(1,1717) 3
(1,1718) 7
(1,1719) 2
(1,1720) 3
(1,1721) 2
(1,1722) 3
(1,1724) 6
(1,1726) 2
(1,1727) 3
(1,1728) 2
(1,1729) 3
(1,1730) 3
(1,1731) 3
(1,1732) 7
(1,1733) 4
(1,1734) 4
(1,1735) 3
(1,1736) 4
(1,1737) 3
(1,1738) 3
(1,1739) 3
(1,1740) 6
(1,1741) 4
(1,1742) 3
(1,1743) 1
(1,1745) 3
(1,1746) 5
(1,1749) 2
(1,1750) 2
(1,1752) 1
(1,1753) 1
(1,1754) 3
(1,1755) 3
(1,1757) 4
(1,1758) 3
(1,1759) 1
(1,1760) 4
(1,1761) 2
(1,1762) 6
(1,1764) 3
(1,1765) 2
(1,1766) 2
(1,1767) 8
(1,1768) 3
(1,1769) 8
(1,1770) 2
(1,1771) 2
(1,1772) 4
(1,1773) 4
(1,1774) 3
(1,1775) 2
(1,1776) 6
(1,1777) 3
(1,1778) -9
(1,1779) 3
(1,1780) 5
(1,1781) 2
(1,1782) 3
(1,1783) 3
(1,1784) 3
(1,1785) 4
(1,1786) 1
(1,1787) 2
(1,1788) 3
(1,1789) 3
(1,1790) 2
(1,1791) 4
(1,1792) 3
(1,1793) 2
(1,1794) 4
(1,1795) 3
(1,1796) 4
(1,1797) 3
(1,1798) 3
(1,1799) 3
(1,1800) 3
(1,1801) 5
(1,1802) 3
(1,1803) 2
(1,1804) 3
(1,1805) 3
(1,1806) 6
(1,1807) 12
(1,1808) 4
(1,1809) 3
(1,1810) 1
(1,1811) 9
(1,1812) 4
(1,1813) 5
(1,1814) 2
(1,1815) 3
(1,1816) 2
(1,1817) 3
(1,1818) 3
(1,1819) 3
(1,1820) 2
(1,1821) 7
(1,1822) 2
(1,1823) 3
(1,1825) 2
(1,1826) 2
(1,1827) 3
(1,1828) 3
(1,1830) -4
(1,1831) 3
(1,1832) 3
(1,1833) 3
(1,1834) 3
(1,1835) 3
(1,1836) 6
(1,1837) 4
(1,1838) 3
(1,1839) 3
(1,1840) 3
(1,1841) 3
(1,1842) 3
(1,1843) 3
(1,1844) 4
(1,1845) 3
(1,1846) 3
(1,1847) 4
(1,1848) 4
(1,1849) 5
(1,1850) 10
(1,1851) 2
(1,1852) 3
(1,1853) 3
(1,1854) 3
(1,1855) 3
(1,1856) 4
(1,1857) 3
(1,1859) -6
(1,1860) 6
(1,1861) 2
(1,1862) 2
(1,1863) 3
(1,1864) 3
(1,1865) 1
(1,1866) 3
(1,1867) 5
(1,1868) 6
(1,1869) 3
(1,1870) 1
(1,1871) 6
(1,1872) 3
(1,1873) 8
(1,1875) 3
(1,1876) 3
(1,1877) 3
(1,1878) 3
(1,1879) 7
(1,1880) 3
(1,1881) 3
(1,1882) 4
(1,1883) 14
(1,1884) 3
(1,1885) 3
(1,1886) 3
(1,1887) 3
(1,1888) 1
(1,1889) 3
(1,1890) 1
(1,1892) 3
(1,1893) 3
(1,1894) 5
(1,1895) 5
(1,1897) 3
(1,1900) 3
(1,1901) 6
(1,1902) 2
(1,1906) 3
(1,1907) 10
(1,1908) 2
(1,1909) 2
(1,1910) 1
(1,1911) 2
(1,1912) 2
(1,1913) 2
(1,1914) 3
(1,1915) 12
(1,1916) 10
(1,1917) 2
(1,1918) 5

(1,1919) 1
(1,1920) 2
(1,1921) 15
(1,1922) 2
(1,1923) 2
(1,1924) 1
(1,1925) 2
(1,1926) 3
(1,1927) 1
(1,1928) 2
(1,1929) 1
(1,1930) -7
(1,1931) 4
(1,1932) 2
(1,1935) -4
(1,1936) 2
(1,1937) 2
(1,1938) 2
(1,1939) 2
(1,1940) 2
(1,1941) 1
(1,1942) 2
(1,1944) 2
(1,1946) 3
(1,1947) 2
(1,1948) 2
(1,1949) 2
(1,1950) 2
(1,1951) 2
(1,1952) 3
(1,1953) 4
(1,1954) 1
(1,1955) 2
(1,1956) 2
(1,1957) 3
(1,1958) 2
(1,1959) 1
(1,1960) 2
(1,1962) 3
(1,1963) 2
(1,1964) 1
(1,1965) 3
(1,1966) 2
(1,1967) 2
(1,1968) 2
(1,1969) 2
(1,1970) 2
(1,1971) 2
(1,1972) 2
(1,1973) 2
(1,1974) 2
(1,1975) 2
(1,1976) 2
(1,1977) 2
(1,1978) 3
(1,1980) 1
(1,1981) 2
(1,1982) 3
(1,1983) 2
(1,1984) 2
(1,1985) 2
(1,1988) 2
(1,1989) 3
(1,1990) 10
(1,1991) 2
(1,1992) 2
(1,1994) 2
(1,1995) 2
(1,1996) 2
(1,1997) 1
(1,1998) 2
(1,1999) 2
(1,2000) 2
(1,2001) 7
(1,2002) 2
(1,2003) 2
(1,2004) 2
(1,2005) 2
(1,2006) 10
(1,2007) 2
(1,2008) 2
(1,2009) 4
(1,2010) 4
(1,2011) 2
(1,2012) 2
(1,2013) 1
(1,2014) 2
(1,2016) 2
(1,2017) 2
(1,2019) 2
(1,2020) 1
(1,2022) 3
(1,2025) 2
(1,2026) 2
(1,2027) 1
(1,2028) 3
(1,2029) 2
(1,2030) 2
(1,2031) 3
(1,2032) 3
(1,2033) 1
(1,2034) 2
(1,2037) 20
(1,2038) 2
(1,2039) 2
(1,2040) 2
(1,2041) 3
(1,2042) 2
(1,2043) 4
(1,2044) 2
(1,2045) 3
(1,2046) 10
(1,2048) -9
(1,2049) 2
(1,2050) 1
(1,2051) 1
(1,2052) 2
(1,2053) 2
(1,2054) 1
(1,2055) 2
(1,2056) 2
(1,2057) 2
(1,2058) 2
(1,2059) 2
(1,2060) 3
(1,2061) 2
(1,2062) 3
(1,2063) 1
(1,2064) 2
(1,2065) 3
(1,2066) 4
(1,2067) -9
(1,2068) 4
(1,2069) 3
(1,2070) 10
(1,2071) 2
(1,2072) 2
(1,2073) 2
(1,2074) 3
(1,2076) 2
(1,2077) 1
(1,2079) 2
(1,2080) 1
(1,2081) 2
(1,2082) 5
(1,2083) 2
(1,2084) 1
(1,2085) 1
(1,2086) 2
(1,2087) 2
(1,2089) 2
(1,2090) 5
(1,2091) 2
(1,2092) 2
(1,2093) 2
(1,2094) 1
(1,2095) 1
(1,2096) 1
(1,2097) 2
(1,2098) 4
(1,2099) 3
(1,2100) 4
(1,2101) -8
(1,2102) 2
(1,2103) 2
(1,2104) 2
(1,2105) 2
(1,2106) 2
(1,2107) 1
(1,2108) 2
(1,2109) 3
(1,2110) 2
(1,2111) 11
(1,2112) 2
(1,2113) 2
(1,2114) 2
(1,2115) 2
(1,2116) 3
(1,2117) 2
(1,2118) 4
(1,2119) 1
(1,2120) 2
(1,2121) 1
(1,2122) 4
(1,2123) 3
(1,2124) 3
(1,2125) 3
(1,2126) 2
(1,2127) 2
(1,2128) 2
(1,2129) 2
(1,2130) 2
(1,2131) 2
(1,2132) 1
(1,2135) 2
(1,2136) 1
(1,2137) 1
(1,2138) 1
(1,2139) 3
(1,2140) 1

(1,2142) 2
(1,2143) 2
(1,2144) 1
(1,2145) 2
(1,2146) 3
(1,2147) 2
(1,2148) 2
(1,2149) 7
(1,2150) 2
(1,2151) 1
(1,2152) 4
(1,2153) 2
(1,2154) 5
(1,2155) 2
(1,2156) 1
(1,2157) 2
(1,2158) 1
(1,2159) 1
(1,2160) 2
(1,2161) 2
(1,2162) 1
(1,2163) 2
(1,2164) 2
(1,2165) 2
(1,2166) 1
(1,2167) 3
(1,2168) 2
(1,2169) 2
(1,2170) 3
(1,2171) 11
(1,2172) 2
(1,2173) 2
(1,2174) 4
(1,2175) 2
(1,2176) 3
(1,2177) 4
(1,2178) 2
(1,2179) 7
(1,2180) 1
(1,2181) 1
(1,2182) 1
(1,2183) 1
(1,2184) 2
(1,2185) 1
(1,2186) 2
(1,2187) 1
(1,2188) 2
(1,2189) 2
(1,2190) 2
(1,2191) 1
(1,2192) -1
(1,2193) 2
(1,2194) 3
(1,2195) 1
(1,2196) 2
(1,2197) 2
(1,2198) 1
(1,2199) 6
(1,2200) 2
(1,2201) 2
(1,2202) 4
(1,2204) 4
(1,2205) 1
(1,2206) 2
(1,2207) 10
(1,2208) 3
(1,2209) 2
(1,2210) 2
(1,2211) 5
(1,2212) 2
(1,2213) 2
(1,2215) 2
(1,2216) 1
(1,2217) 2
(1,2218) 1
(1,2219) 2
(1,2222) 1
(1,2223) 3
(1,2224) 4
(1,2225) 12
(1,2226) 2
(1,2227) 5
(1,2228) 3
(1,2229) 2
(1,2230) 3
(1,2231) -7
(1,2233) 2
(1,2234) 2
(1,2235) 2
(1,2236) 2
(1,2237) 2
(1,2238) 3
(1,2239) 2
(1,2240) 2
(1,2241) 2
(1,2242) 2
(1,2243) 1
(1,2244) -17
(1,2245) 2
(1,2246) 2
(1,2248) 3
(1,2249) 5
(1,2250) 3
(1,2251) 2
(1,2252) 2
(1,2253) 4
(1,2254) 2
(1,2255) 1
(1,2256) 2
(1,2257) 5
(1,2258) 3
(1,2259) 2
(1,2260) 2
(1,2261) 4
(1,2262) 5
(1,2263) 2
(1,2264) 2
(1,2265) 2
(1,2266) 1
(1,2267) 2
(1,2268) 11
(1,2269) 2
(1,2270) 3
(1,2271) 4
(1,2272) 2
(1,2274) 2
(1,2275) 5
(1,2276) 2
(1,2277) 3
(1,2278) 4
(1,2279) 1
(1,2280) 6
(1,2281) 2
(1,2282) 3
(1,2283) 2
(1,2284) 4
(1,2285) 2
(1,2286) 2
(1,2287) 3
(1,2289) 5
(1,2290) 1
(1,2291) 2
(1,2292) 3
(1,2293) 12
(1,2295) 1
(1,2297) 2
(1,2298) 2
(1,2299) 4
(1,2300) 2
(1,2301) 2
(1,2302) 2
(1,2303) 1
(1,2304) 2
(1,2305) 2
(1,2306) 1
(1,2308) 2
(1,2309) 3
(1,2310) 2
(1,2311) 2
(1,2314) 1
(1,2315) 2
(1,2316) 1
(1,2317) 4
(1,2318) 1
(1,2319) 2
(1,2320) 4
(1,2321) 2
(1,2322) 2
(1,2323) 2
(1,2324) 2
(1,2325) 2
(1,2326) 2
(1,2328) 9
(1,2329) 2
(1,2330) 8
(1,2331) 2
(1,2332) 2
(1,2333) 4
(1,2334) 5
(1,2335) 2
(1,2336) 16
(1,2337) 2
(1,2338) 1
(1,2339) 1
(1,2340) 2
(1,2341) 2
(1,2342) 3
(1,2343) 1
(1,2344) 1
(1,2345) 1
(1,2346) 5
(1,2347) 1
(1,2348) 3
(1,2349) 1
(1,2350) 2
(1,2351) 1
(1,2352) 2
(1,2353) 2
(1,2354) 3
(1,2355) 1

(1,2356) 2
(1,2357) 6
(1,2358) -2
(1,2359) 4
(1,2360) 1
(1,2361) 2
(1,2362) 2
(1,2363) 2
(1,2364) 2
(1,2365) 1
(1,2366) 1
(1,2369) -1
(1,2370) 2
(1,2371) 3
(1,2372) 2
(1,2373) 2
(1,2374) 3
(1,2375) 1
(1,2376) 2
(1,2377) 2
(1,2378) 4
(1,2379) 8
(1,2380) -9
(1,2381) 2
(1,2382) 2
(1,2383) 1
(1,2384) 1
(1,2385) 3
(1,2386) 6
(1,2387) 5
(1,2388) 2
(1,2389) 5
(1,2390) 2
(1,2391) -8
(1,2392) 2
(1,2393) 3
(1,2394) 2
(1,2395) 3
(1,2396) -19
(1,2397) 2
(1,2398) 4
(1,2399) 2
(1,2400) 3
(1,2401) 5
(1,2402) 1
(1,2403) 4
(1,2404) 4
(1,2405) 3
(1,2406) 2
(1,2407) 2
(1,2408) -10
(1,2409) 3
(1,2410) 3
(1,2412) 1
(1,2414) 10
(1,2415) 1
(1,2417) 8
(1,2418) 2
(1,2421) 13
(1,2426) 2
(1,2427) 2
(1,2430) 3
(1,2434) 2
(1,2436) 10
(1,2438) 1
(1,2439) 1
(1,2440) 1
(1,2442) 1
(1,2443) 2
(1,2445) 10
(1,2446) 1
(1,2447) 1
(1,2448) 1
(1,2450) 1
(1,2451) 1
(1,2452) 1
(1,2453) 1
(1,2454) 1
(1,2456) 1
(1,2457) 1
(1,2458) 1
(1,2459) 1
(1,2460) 1
(1,2461) 1
(1,2462) 5
(1,2463) 1
(1,2464) 1
(1,2465) 1
(1,2466) 1
(1,2467) 1
(1,2468) 1
(1,2469) 1
(1,2470) 1
(1,2471) 1
(1,2472) 3
(1,2473) 1
(1,2474) 1
(1,2475) 3
(1,2476) 1
(1,2477) 1
(1,2478) 1
(1,2479) 2
(1,2480) 1
(1,2481) 2
(1,2482) 1
(1,2483) 1
(1,2484) 1
(1,2485) 1
(1,2486) 1
(1,2488) 1
(1,2489) 1
(1,2490) 1
(1,2491) 1
(1,2492) 2
(1,2493) 1
(1,2494) 1
(1,2495) 1
(1,2497) 1
(1,2498) 1
(1,2499) 1
(1,2500) 1
(1,2501) 1
(1,2502) 1
(1,2503) 1
(1,2504) 2
(1,2505) 1
(1,2506) 3
(1,2507) 2
(1,2508) 1
(1,2509) 10
(1,2510) 11
(1,2511) 1
(1,2512) 1
(1,2513) 1
(1,2514) 1
(1,2515) 1
(1,2516) 1
(1,2517) 1
(1,2518) 1
(1,2519) 1
(1,2520) 1
(1,2521) 1
(1,2522) 1
(1,2523) 1
(1,2524) 1
(1,2525) 1
(1,2526) 10
(1,2527) 3
(1,2528) 1
(1,2529) 11
(1,2530) 1
(1,2531) 1
(1,2532) 7
(1,2533) 1
(1,2534) 1
(1,2535) 1
(1,2536) 1
(1,2537) 1
(1,2538) 2
(1,2539) 1
(1,2540) 1
(1,2541) 10
(1,2542) 1
(1,2543) 3
(1,2544) 1
(1,2545) 1
(1,2546) 1
(1,2547) 1
(1,2548) 1
(1,2549) 1

(1,2552) 4
(1,2553) 1
(1,2554) 2
(1,2555) 2
(1,2556) 1
(1,2557) 1
(1,2558) 1
(1,2559) 1
(1,2560) 1
(1,2561) 2
(1,2562) 1
(1,2564) 1
(1,2565) 1
(1,2566) 1
(1,2567) 1
(1,2568) 2
(1,2569) 2
(1,2570) 1
(1,2572) 1
(1,2573) 2
(1,2574) 1
(1,2575) 1
(1,2576) 1
(1,2577) 2
(1,2578) 1
(1,2579) 2
(1,2580) 10
(1,2581) 1
(1,2582) 1
(1,2583) 8
(1,2584) 1
(1,2585) 1
(1,2586) 2
(1,2587) 1
(1,2588) 1
(1,2589) 1
(1,2590) 1
(1,2591) 1
(1,2592) 1
(1,2593) 1
(1,2594) 1
(1,2595) 1
(1,2596) 1
(1,2598) 1
(1,2599) 2
(1,2600) 1
(1,2601) 1
(1,2602) 5
(1,2603) 1
(1,2604) 1
(1,2606) 1
(1,2607) 1
(1,2609) 3
(1,2610) 2
(1,2611) 5
(1,2612) 1
(1,2613) 1
(1,2615) 5
(1,2616) 2
(1,2617) 2
(1,2618) 1
(1,2620) 1
(1,2621) 1
(1,2622) 1
(1,2623) 1
(1,2625) 1
(1,2626) 10
(1,2627) 1
(1,2628) 1
(1,2629) 1
(1,2630) 1
(1,2631) 2
(1,2637) 1
(1,2638) 1
(1,2639) 1
(1,2640) 1
(1,2641) 1
(1,2642) 1
(1,2643) 1
(1,2644) 1
(1,2645) 1
(1,2646) 1
(1,2648) 1
(1,2649) 5
(1,2650) 1
(1,2652) 1
(1,2654) 1
(1,2655) -9
(1,2656) 1
(1,2658) 1
(1,2659) 1
(1,2661) 2
(1,2662) 2
(1,2663) 1
(1,2664) 1
(1,2666) 2
(1,2667) 1
(1,2668) 1
(1,2669) 1
(1,2670) 1
(1,2671) 1
(1,2672) 1
(1,2674) 1
(1,2675) 2
(1,2676) 1
(1,2677) 1
(1,2678) 1
(1,2680) 1
(1,2681) 1
(1,2682) 1
(1,2683) 1
(1,2684) 1
(1,2685) 10
(1,2687) 1
(1,2688) 1
(1,2689) 1
(1,2690) 1
(1,2691) 1
(1,2692) 2
(1,2693) 1
(1,2694) 1
(1,2696) 10
(1,2698) 1
(1,2701) 1
(1,2702) 1
(1,2703) 1
(1,2704) 1
(1,2705) 1
(1,2706) 1
(1,2708) 1
(1,2710) 1
(1,2711) 1
(1,2712) 1
(1,2714) 1
(1,2715) 1
(1,2716) 1
(1,2717) 1
(1,2718) 1
(1,2719) 1
(1,2720) 1
(1,2721) 1
(1,2722) 4
(1,2723) 2
(1,2724) 5
(1,2725) 1
(1,2726) 1
(1,2727) 3
(1,2728) 1
(1,2729) 1
(1,2730) 1
(1,2731) 1
(1,2732) 1
(1,2733) 1
(1,2734) 1
(1,2735) 1
(1,2736) 1
(1,2737) 1
(1,2738) 1
(1,2739) 1
(1,2741) 1
(1,2742) 1
(1,2746) 1
(1,2748) 5
(1,2749) 1
(1,2753) 1
(1,2754) 2
(1,2755) 1
(1,2756) 1
(1,2757) 1
(1,2758) 1
(1,2759) 1
(1,2760) 1
(1,2761) 2
(1,2762) 1
(1,2765) 1
(1,2768) 3
(1,2769) 1
(1,2770) 1
(1,2773) 1
(1,2776) 1
(1,2777) 3
(1,2778) 1
(1,2779) 1
(1,2780) 1
(1,2781) 1
(1,2784) 1
(1,2785) 1
(1,2787) -9
(1,2789) 1
(1,2790) 2
(1,2792) 1
(1,2795) 1
(1,2796) 1
(1,2798) 1
(1,2799) 1
(1,2800) 1
(1,2801) 1
(1,2802) 3
(1,2803) 2
(1,2804) 1

(1,2805) 1
(1,2806) 1
(1,2807) 10
(1,2808) 2
(1,2809) 1
(1,2811) 1
(1,2814) 1
(1,2815) 1
(1,2816) 1
(1,2817) 1
(1,2818) 1
(1,2819) 3
(1,2820) 1
(1,2821) 2
(1,2822) 1
(1,2823) 1
(1,2824) 1
(1,2825) 1
(1,2826) 1
(1,2828) 1
(1,2829) 1
(1,2831) 1
(1,2832) 5
(1,2833) 1
(1,2834) 1
(1,2836) 1
(1,2838) 1
(1,2840) 1
(1,2841) 1
(1,2842) 1
(1,2844) 6
(1,2845) 2
(1,2846) 1
(1,2847) 1
(1,2848) 1
(1,2849) 1
(1,2850) 1
(1,2851) 2
(1,2852) 1
(1,2853) 3
(1,2854) 1
(1,2855) 1
(1,2856) 1
(1,2857) 3
(1,2860) 1
(1,2861) 1
(1,2862) 1
(1,2863) 1
(1,2864) 1
(1,2865) 1
(1,2866) -3
(1,2867) 1
(1,2869) 1
(1,2870) 1
(1,2871) 1
(1,2872) 1
(1,2874) 1
(1,2875) 1
(1,2876) 2
(1,2877) 1
(1,2878) 2
(1,2879) 1
(1,2880) 1
(1,2882) 1
(1,2883) 1
(1,2884) 1
(1,2885) 1
(1,2886) 1
(1,2887) 1
(1,2888) 1
(1,2889) 1
(1,2890) 1
(1,2891) 1
(1,2892) 2
(1,2893) 1
(1,2894) 1
(1,2895) 1
(1,2897) 2
(1,2899) 1
(1,2900) 1
(1,2901) 2
(1,2902) 1
(1,2905) 10
(1,2906) 2
(1,2907) 1
(1,2908) 15
(1,2909) 1
(1,2910) 1
(1,2911) 1
(1,2912) 1
(1,2913) 10
(1,2914) 2
(1,2915) 1
(1,2916) 1
(1,2917) 1
(1,2921) 2
(1,2922) 2
(1,2923) 1
(1,2924) 2
(1,2925) 2
(1,2927) 1
(1,2928) 1
(1,2929) 1
(1,2930) 1
(1,2931) 2
(1,2932) 2
(1,2933) 2
(1,2934) 1
(1,2935) 1
(1,2936) 1
(1,2937) 1
(1,2938) 1
(1,2939) 1
(1,2940) 1
(1,2942) 2
(1,2943) 1
(1,2944) 1
(1,2948) 1
(1,2949) 1
(1,2950) 1
(1,2951) 1
(1,2952) 1
(1,2954) 1
(1,2955) 1
(1,2956) 1
(1,2957) 1
(1,2958) 1
(1,2959) 1
(1,2960) 1
(1,2961) 1
(1,2962) 1
(1,2963) 2
(1,2965) 1
(1,2966) 3
(1,2967) 1
(1,2968) 1
(1,2969) 2
(1,2970) 1
(1,2971) 2
(1,2972) 3
(1,2973) 1
(1,2974) 1
(1,2976) 1
(1,2977) 1
(1,2978) 1
(1,2979) 2
(1,2980) 1
(1,2981) 2
(1,2982) 1
(1,2983) 1
(1,2984) 1
(1,2985) 1
(1,2986) 1
(1,2987) 1
(1,2988) 1
(1,2990) 1
(1,2991) 1
(1,2992) 1
(1,2993) 1
(1,2994) 1
(1,2995) 11
(1,2996) 1
(1,2998) 1
(1,3001) 3
(1,3002) -9
(1,3003) 1
(1,3005) 1
(1,3007) 2
(1,3008) 1
(1,3009) 1
(1,3010) 10
(1,3011) 1
(1,3012) 1
(1,3014) 1
(1,3015) 9
(1,3016) 1
(1,3017) 10
(1,3018) 3
(1,3019) 2
(1,3020) 1
(1,3021) 3
(1,3022) 1
(1,3023) 1
(1,3025) 1
(1,3026) 10
(1,3027) 1
(1,3028) 2
(1,3029) 1
(1,3030) 1
(1,3031) 1
(1,3032) 1
(1,3033) 1
(1,3034) 1
(1,3035) 25
(1,3036) 1
(1,3037) 1
(1,3038) 1
(1,3039) 1
(1,3040) 1
(1,3041) 6

(1,3042) 1
(1,3043) 2
(1,3045) 1
(1,3046) 1
(1,3047) 1
(1,3050) 1
(1,3051) 1
(1,3053) 1
(1,3054) 1
(1,3055) 1
(1,3056) 1
(1,3057) 1
(1,3058) 5
(1,3060) 10
(1,3061) 1
(1,3063) 1
(1,3064) 1
(1,3066) 1
(1,3067) 1
(1,3068) 1
(1,3070) 2
(1,3072) 1
(1,3073) 1
(1,3074) 1
(1,3075) 3
(1,3076) 1
(1,3077) 1
(1,3079) -14
(1,3080) 1
(1,3081) 5
(1,3082) 1
(1,3085) 1
(1,3087) 1
(1,3088) 2
(1,3089) 1
(1,3090) 1
(1,3092) 1
(1,3093) 10
(1,3094) 2
(1,3096) 7
(1,3097) -7
(1,3098) 1
(1,3099) 1
(1,3100) 1
(1,3102) 2
(1,3104) 1
(1,3105) 2
(1,3106) 1
(1,3107) 8
(1,3108) 1
(1,3109) 1
(1,3110) 1
(1,3111) 1
(1,3112) 2
(1,3114) 2
(1,3115) 2
(1,3116) 2
(1,3117) 2
(1,3118) 1
(1,3119) 5
(1,3120) 2
(1,3121) 1
(1,3122) 1
(1,3123) 1
(1,3125) 1
(1,3126) 1
(1,3127) 1
(1,3130) 1
(1,3131) 2
(1,3132) 1
(1,3133) 17
(1,3134) 13
(1,3137) 1
(1,3138) 2
(1,3139) 1
(1,3140) 1
(1,3141) 1
(1,3142) 1
(1,3143) 1
(1,3144) 1
(1,3145) 2
(1,3146) 1
(1,3147) 1
(1,3149) 1
(1,3150) 1
(1,3151) 1
(1,3153) 1
(1,3154) 3
(1,3155) 1
(1,3156) 2
(1,3157) 1
(1,3158) 2
(1,3159) 2
(1,3160) 1
(1,3161) 1
(1,3162) 1
(1,3164) 1
(1,3165) 5
(1,3166) 2
(1,3167) 1
(1,3168) 2
(1,3169) 1
(1,3170) 10
(1,3171) 1
(1,3172) -4
(1,3173) 1
(1,3175) 1
(1,3176) 1
(1,3178) 3
(1,3179) 15
(1,3180) -9
(1,3181) 1
(1,3182) 1
(1,3185) 1
(1,3186) 1
(1,3187) 1
(1,3188) 2
(1,3189) 1
(1,3190) 2
(1,3191) 1
(1,3193) 1
(1,3194) 1
(1,3196) 1
(1,3197) 1
(1,3198) 3
(1,3199) 1
(1,3200) 3
(1,3201) 1
(1,3203) 1
(1,3204) 1
(1,3205) 1
(1,3206) 7
(1,3207) 2
(1,3209) 1
(1,3210) 1
(1,3211) 1
(1,3212) 1
(1,3213) 2
(1,3214) 1
(1,3218) 1
(1,3220) 2
(1,3221) 2
(1,3222) 2
(1,3223) 1
(1,3225) 1
(1,3226) 1
(1,3229) 1
(1,3230) 1
(1,3231) 1
(1,3232) 1
(1,3233) 1
(1,3234) 1
(1,3235) 1
(1,3236) 1
(1,3237) 1
(1,3238) 1
(1,3239) 1
(1,3241) 1
(1,3242) 1
(1,3243) 1
(1,3244) 1
(1,3245) 3
(1,3246) 1
(1,3248) 8
(1,3249) 1
(1,3250) 1
(1,3251) 1
(1,3252) 1
(1,3253) 1
(1,3254) 19
(1,3257) 1
(1,3258) 1
(1,3260) 3
(1,3261) 1
(1,3262) 1
(1,3263) 1
(1,3264) 1
(1,3265) 1
(1,3266) 1
(1,3267) 2
(1,3268) 1
(1,3269) 11
(1,3270) -9
(1,3271) 3
(1,3273) 1
(1,3274) 2
(1,3275) 1
(1,3277) 2
(1,3278) 1
(1,3279) 2
(1,3280) 1
(1,3281) 1
(1,3282) 1
(1,3285) 1
(1,3286) 2
(1,3287) 1
(1,3288) 1
(1,3289) 1
(1,3290) 1
(1,3291) 1

(1,3292) 1
(1,3293) 1
(1,3294) 1
(1,3297) 1
(1,3298) 1
(1,3299) 2
(1,3300) 2
(1,3301) 1
(1,3304) 1
(1,3305) 10
(1,3306) 1
(1,3307) 2
(1,3309) 1
(1,3311) 1
(1,3312) 1
(1,3314) 1
(1,3315) 2
(1,3316) 1
(1,3318) 1
(1,3319) 2
(1,3320) 1
(1,3321) 1
(1,3323) 1
(1,3324) 1
(1,3325) 2
(1,3326) 1
(1,3327) 1
(1,3328) 1
(1,3329) 5
(1,3330) 1
(1,3331) 2
(1,3332) 1
(1,3333) 1
(1,3334) 1
(1,3336) 1
(1,3337) 14
(1,3338) 1
(1,3340) 1
(1,3341) 5
(1,3343) 1
(1,3344) 1
(1,3345) 1
(1,3346) 1
(1,3347) 1
(1,3348) 1
(1,3350) 1
(1,3352) 1
(1,3353) 1
(1,3354) 1
(1,3355) 2
(1,3356) 2
(1,3357) 1
(1,3358) 1
(1,3359) 1
(1,3360) 1
(1,3361) 1
(1,3362) 1
(1,3364) 2
(1,3366) 1
(1,3368) 2
(1,3369) 1
(1,3372) 7
(1,3375) 1
(1,3378) 1
(1,3379) 1
(1,3380) 1
(1,3381) 1
(1,3383) 3
(1,3384) 10
(1,3386) 1
(1,3387) 1
(1,3388) 5
(1,3389) 2
(1,3391) 1
(1,3392) 7
(1,3394) 1
(1,3396) 1
(1,3403) 1
(1,3404) 1
(1,3405) 1
(1,3406) 2
(1,3408) 1
(1,3409) 1
(1,3410) 5
(1,3413) 1
(1,3414) 1
(1,3415) 2
(1,3416) 1
(1,3419) 10
(1,3420) 1
(1,3422) 1
(1,3428) 7
(1,3446) 1
(1,3447) 3
(1,3451) 5
(1,3452) 1
(1,3453) 6
(1,3454) 17
(1,3455) 1
(1,3456) 2
(1,3458) 1
(1,3459) 1
(1,3460) 1
(1,3462) 6
(1,3463) -10
(1,3464) 1
(1,3465) -249
(1,3466) 14
(1,3467) 1
(1,3468) 2
(1,3470) -5
(1,3471) 2
(1,3472) 10
(1,3473) -10
(1,3474) 14
(1,3475) 1
(1,3476) 1
(1,3477) 1
(1,3478) 1
(1,3479) 4
(1,3480) 1
(1,3481) 1
(1,3482) 1
(1,3483) 1
(1,3484) 1
(1,3485) 1
(1,3486) 1
(1,3487) 3
(1,3488) 1
(1,3489) 10
(1,3490) 12
(1,3492) 10
(1,3493) 1
(1,3494) 11
(1,3495) 1
(1,3496) 2
(1,3497) 5
(1,3498) 10
(1,3499) 1
(1,3500) 1
(1,3501) 1
(1,3506) 2
(1,3507) -3
(1,3512) 1
(1,3513) 16
(1,3514) 88
(1,3515) 10
(1,3516) 12
(1,3519) -3
(1,3520) 9
(1,3542) -1
(1,3548) 1
(1,3550) 6
(1,3551) 9
(1,3552) 8
(1,3553) -5
(1,3554) 7
(1,3556) 4
(1,3559) 28
(1,3565) 18
(1,3566) 2
(1,3567) 11
(1,3568) 4
(1,3569) 14
(1,3570) 3
(1,3573) 6
(1,3576) 5
(1,3577) -12
(1,3579) 19
(1,3581) 1
(1,3582) 19
(1,3585) 5
(1,3589) 10
(1,3590) 3
(1,3591) 4
(1,3592) 3
(1,3594) 2
(1,3595) 11
(1,3596) 13
(1,3597) 1
(1,3598) 4
(1,3599) 12
(1,3600) 3
(1,3601) 1
(1,3602) 3
(1,3603) 2
(1,3605) 2
(1,3606) 2
(1,3607) -8
(1,3608) 5
(1,3609) 1
(1,3610) 7
(1,3611) 2
(1,3612) 2
(1,3613) 2
(1,3614) 2
(1,3615) 1
(1,3617) 2
(1,3619) -6
(1,3621) 3

(1,3622) 8
(1,3623) 10
(1,3624) 2
(1,3626) 1
(1,3628) 1
(1,3631) 1
(1,3634) 10
(1,3635) 1
(1,3636) 3
(1,3640) -10
(1,3645) -10
(1,3647) 1
(1,3655) -10
(1,3658) 1
(1,3660) 10
(1,3661) 2
(1,3662) 15
(1,3677) 10
(1,3678) 6
(1,3679) 1
(1,3680) 2
(1,3681) -11
(1,3682) 10
(1,3683) 4
(1,3685) 6
(1,3686) 3
(1,3687) 5
(1,3688) -3
(1,3689) 12
(1,3690) 3
(1,3691) 17
(1,3692) 29
(1,3693) 5
(1,3694) 2
(1,3695) 2
(1,3696) 15
(1,3697) -24
(1,3698) -8
(1,3699) 22
(1,3700) -7
(1,3701) 10
(1,3702) 10
(1,3703) 2
(1,3704) 11
(1,3705) 4
(1,3706) 1
(1,3707) 2
(1,3708) -19
(1,3709) 12
(1,3710) -8
(1,3711) 10
(1,3712) 4
(1,3714) 22
(1,3715) 20
(1,3717) 4
(1,3719) 9
(1,3720) 2
(1,3723) -20
(1,3725) 3
(1,3726) 4
(1,3727) 1
(1,3729) -1
(1,3730) 6
(1,3731) 17
(1,3732) -12
(1,3733) 6
(1,3734) 2
(1,3737) 2
(1,3739) 22
(1,3740) 13
(1,3741) 23
(1,3742) 2
(1,3743) 108
(1,3744) 6
(1,3745) 3
(1,3747) -8
(1,3748) 16
(1,3749) 27
(1,3750) 19
(1,3752) 2
(1,3754) 2
(1,3755) -20
(1,3756) 17
(1,3757) 5
(1,3758) 4
(1,3759) 9
(1,3760) 2
(1,3761) 7
(1,3762) 5
(1,3763) -40
(1,3764) 6
(1,3765) -18
(1,3766) 13
(1,3767) 27
(1,3768) 5
(1,3769) 9
(1,3770) 17
(1,3771) 2
(1,3772) 2
(1,3773) -60
(1,3774) 23
(1,3775) 20
(1,3776) 10
(1,3779) 15
(1,3780) 10
(1,3781) 10
(1,3782) 186
(1,3783) 110

b(10)

ans =

(1,1) 284