jubjub_addition_chain_fr

# found using https://github.com/kwantam/addchain
t10 = input        #    0 : 1
t1 = sqr(t10)      #    1 : 2
t0 = sqr(t1)       #    2 : 4
t3 = t0 * t1       #    3 : 6
t6 = t3 * t10      #    4 : 7
t7 = t6 * t1       #    5 : 9
t12 = t7 * t3      #    6 : 15
t13 = t12 * t0     #    7 : 19
t16 = t12 * t3     #    8 : 21
t2 = t13 * t3      #    9 : 25
t15 = t16 * t3     #   10 : 27
t19 = t2 * t0      #   11 : 29
t9 = t15 * t3      #   12 : 33
t18 = t9 * t3      #   13 : 39
t14 = t18 * t1     #   14 : 41
t4 = t18 * t0      #   15 : 43
t8 = t18 * t3      #   16 : 45
t17 = t14 * t3     #   17 : 47
t11 = t8 * t3      #   18 : 51
t1 = t17 * t3      #   19 : 53
t5 = t11 * t3      #   20 : 57
t3 = t5 * t0       #   21 : 61
t0 = sqr(t5)       #   22 : 114
t0 = sqr(t0)       #   23 : 228
t0 = sqr(t0)       #   24 : 456
t0 = sqr(t0)       #   25 : 912
t0 = sqr(t0)       #   26 : 1824
t0 = sqr(t0)       #   27 : 3648
t0 = t0 * t3       #   28 : 3709
t0 = sqr(t0)       #   29 : 7418
t0 = sqr(t0)       #   30 : 14836
t0 = sqr(t0)       #   31 : 29672
t0 = sqr(t0)       #   32 : 59344
t0 = sqr(t0)       #   33 : 118688
t0 = sqr(t0)       #   34 : 237376
t0 = t0 * t8       #   35 : 237421
t0 = sqr(t0)       #   36 : 474842
t0 = sqr(t0)       #   37 : 949684
t0 = sqr(t0)       #   38 : 1899368
t0 = sqr(t0)       #   39 : 3798736
t0 = sqr(t0)       #   40 : 7597472
t0 = sqr(t0)       #   41 : 15194944
t0 = sqr(t0)       #   42 : 30389888
t0 = t0 * t19      #   43 : 30389917
t0 = sqr(t0)       #   44 : 60779834
t0 = sqr(t0)       #   45 : 121559668
t0 = sqr(t0)       #   46 : 243119336
t0 = sqr(t0)       #   47 : 486238672
t0 = sqr(t0)       #   48 : 972477344
t0 = sqr(t0)       #   49 : 1944954688
t0 = t0 * t13      #   50 : 1944954707
t0 = sqr(t0)       #   51 : 3889909414
t0 = sqr(t0)       #   52 : 7779818828
t0 = sqr(t0)       #   53 : 15559637656
t0 = sqr(t0)       #   54 : 31119275312
t0 = sqr(t0)       #   55 : 62238550624
t0 = sqr(t0)       #   56 : 124477101248
t0 = sqr(t0)       #   57 : 248954202496
t0 = sqr(t0)       #   58 : 497908404992
t0 = t0 * t14      #   59 : 497908405033
t0 = sqr(t0)       #   60 : 995816810066
t0 = sqr(t0)       #   61 : 1991633620132
t0 = sqr(t0)       #   62 : 3983267240264
t0 = sqr(t0)       #   63 : 7966534480528
t0 = sqr(t0)       #   64 : 15933068961056
t0 = sqr(t0)       #   65 : 31866137922112
t0 = t0 * t18      #   66 : 31866137922151
t0 = sqr(t0)       #   67 : 63732275844302
t0 = sqr(t0)       #   68 : 127464551688604
t0 = sqr(t0)       #   69 : 254929103377208
t0 = sqr(t0)       #   70 : 509858206754416
t0 = sqr(t0)       #   71 : 1019716413508832
t0 = sqr(t0)       #   72 : 2039432827017664
t0 = sqr(t0)       #   73 : 4078865654035328
t0 = t0 * t17      #   74 : 4078865654035375
t0 = sqr(t0)       #   75 : 8157731308070750
t0 = sqr(t0)       #   76 : 16315462616141500
t0 = sqr(t0)       #   77 : 32630925232283000
t0 = sqr(t0)       #   78 : 65261850464566000
t0 = sqr(t0)       #   79 : 130523700929132000
t0 = t0 * t16      #   80 : 130523700929132021
t0 = sqr(t0)       #   81 : 261047401858264042
t0 = sqr(t0)       #   82 : 522094803716528084
t0 = sqr(t0)       #   83 : 1044189607433056168
t0 = t0 * t10      #   84 : 1044189607433056169
t0 = sqr(t0)       #   85 : 2088379214866112338
t0 = sqr(t0)       #   86 : 4176758429732224676
t0 = sqr(t0)       #   87 : 8353516859464449352
t0 = sqr(t0)       #   88 : 16707033718928898704
t0 = sqr(t0)       #   89 : 33414067437857797408
t0 = sqr(t0)       #   90 : 66828134875715594816
t0 = sqr(t0)       #   91 : 133656269751431189632
t0 = sqr(t0)       #   92 : 267312539502862379264
t0 = sqr(t0)       #   93 : 534625079005724758528
t0 = sqr(t0)       #   94 : 1069250158011449517056
t0 = sqr(t0)       #   95 : 2138500316022899034112
t0 = t0 * t11      #   96 : 2138500316022899034163
t0 = sqr(t0)       #   97 : 4277000632045798068326
t0 = sqr(t0)       #   98 : 8554001264091596136652
t0 = sqr(t0)       #   99 : 17108002528183192273304
t0 = sqr(t0)       #  100 : 34216005056366384546608
t0 = sqr(t0)       #  101 : 68432010112732769093216
t0 = sqr(t0)       #  102 : 136864020225465538186432
t0 = sqr(t0)       #  103 : 273728040450931076372864
t0 = sqr(t0)       #  104 : 547456080901862152745728
t0 = t0 * t5       #  105 : 547456080901862152745785
t0 = sqr(t0)       #  106 : 1094912161803724305491570
t0 = sqr(t0)       #  107 : 2189824323607448610983140
t0 = sqr(t0)       #  108 : 4379648647214897221966280
t0 = sqr(t0)       #  109 : 8759297294429794443932560
t0 = sqr(t0)       #  110 : 17518594588859588887865120
t0 = t0 * t15      #  111 : 17518594588859588887865147
t0 = sqr(t0)       #  112 : 35037189177719177775730294
t0 = sqr(t0)       #  113 : 70074378355438355551460588
t0 = sqr(t0)       #  114 : 140148756710876711102921176
t0 = sqr(t0)       #  115 : 280297513421753422205842352
t0 = sqr(t0)       #  116 : 560595026843506844411684704
t0 = sqr(t0)       #  117 : 1121190053687013688823369408
t0 = sqr(t0)       #  118 : 2242380107374027377646738816
t0 = sqr(t0)       #  119 : 4484760214748054755293477632
t0 = t0 * t10      #  120 : 4484760214748054755293477633
t0 = sqr(t0)       #  121 : 8969520429496109510586955266
t0 = sqr(t0)       #  122 : 17939040858992219021173910532
t0 = sqr(t0)       #  123 : 35878081717984438042347821064
t0 = sqr(t0)       #  124 : 71756163435968876084695642128
t0 = sqr(t0)       #  125 : 143512326871937752169391284256
t0 = sqr(t0)       #  126 : 287024653743875504338782568512
t0 = sqr(t0)       #  127 : 574049307487751008677565137024
t0 = sqr(t0)       #  128 : 1148098614975502017355130274048
t0 = sqr(t0)       #  129 : 2296197229951004034710260548096
t0 = sqr(t0)       #  130 : 4592394459902008069420521096192
t0 = sqr(t0)       #  131 : 9184788919804016138841042192384
t0 = sqr(t0)       #  132 : 18369577839608032277682084384768
t0 = t0 * t13      #  133 : 18369577839608032277682084384787
t0 = sqr(t0)       #  134 : 36739155679216064555364168769574
t0 = sqr(t0)       #  135 : 73478311358432129110728337539148
t0 = sqr(t0)       #  136 : 146956622716864258221456675078296
t0 = sqr(t0)       #  137 : 293913245433728516442913350156592
t0 = sqr(t0)       #  138 : 587826490867457032885826700313184
t0 = sqr(t0)       #  139 : 1175652981734914065771653400626368
t0 = sqr(t0)       #  140 : 2351305963469828131543306801252736
t0 = t0 * t9       #  141 : 2351305963469828131543306801252769
t0 = sqr(t0)       #  142 : 4702611926939656263086613602505538
t0 = sqr(t0)       #  143 : 9405223853879312526173227205011076
t0 = sqr(t0)       #  144 : 18810447707758625052346454410022152
t0 = sqr(t0)       #  145 : 37620895415517250104692908820044304
t0 = sqr(t0)       #  146 : 75241790831034500209385817640088608
t0 = t0 * t15      #  147 : 75241790831034500209385817640088635
t0 = sqr(t0)       #  148 : 150483581662069000418771635280177270
t0 = sqr(t0)       #  149 : 300967163324138000837543270560354540
t0 = sqr(t0)       #  150 : 601934326648276001675086541120709080
t0 = sqr(t0)       #  151 : 1203868653296552003350173082241418160
t0 = sqr(t0)       #  152 : 2407737306593104006700346164482836320
t0 = sqr(t0)       #  153 : 4815474613186208013400692328965672640
t0 = sqr(t0)       #  154 : 9630949226372416026801384657931345280
t0 = sqr(t0)       #  155 : 19261898452744832053602769315862690560
t0 = sqr(t0)       #  156 : 38523796905489664107205538631725381120
t0 = sqr(t0)       #  157 : 77047593810979328214411077263450762240
t0 = sqr(t0)       #  158 : 154095187621958656428822154526901524480
t0 = sqr(t0)       #  159 : 308190375243917312857644309053803048960
t0 = sqr(t0)       #  160 : 616380750487834625715288618107606097920
t0 = sqr(t0)       #  161 : 1232761500975669251430577236215212195840
t0 = t0 * t14      #  162 : 1232761500975669251430577236215212195881
t0 = sqr(t0)       #  163 : 2465523001951338502861154472430424391762
t0 = sqr(t0)       #  164 : 4931046003902677005722308944860848783524
t0 = sqr(t0)       #  165 : 9862092007805354011444617889721697567048
t0 = sqr(t0)       #  166 : 19724184015610708022889235779443395134096
t0 = sqr(t0)       #  167 : 39448368031221416045778471558886790268192
t0 = t0 * t13      #  168 : 39448368031221416045778471558886790268211
t0 = sqr(t0)       #  169 : 78896736062442832091556943117773580536422
t0 = sqr(t0)       #  170 : 157793472124885664183113886235547161072844
t0 = t0 * t10      #  171 : 157793472124885664183113886235547161072845
t0 = sqr(t0)       #  172 : 315586944249771328366227772471094322145690
t0 = sqr(t0)       #  173 : 631173888499542656732455544942188644291380
t0 = sqr(t0)       #  174 : 1262347776999085313464911089884377288582760
t0 = sqr(t0)       #  175 : 2524695553998170626929822179768754577165520
t0 = sqr(t0)       #  176 : 5049391107996341253859644359537509154331040
t0 = sqr(t0)       #  177 : 10098782215992682507719288719075018308662080
t0 = t0 * t10      #  178 : 10098782215992682507719288719075018308662081
t0 = sqr(t0)       #  179 : 20197564431985365015438577438150036617324162
t0 = sqr(t0)       #  180 : 40395128863970730030877154876300073234648324
t0 = sqr(t0)       #  181 : 80790257727941460061754309752600146469296648
t0 = sqr(t0)       #  182 : 161580515455882920123508619505200292938593296
t0 = sqr(t0)       #  183 : 323161030911765840247017239010400585877186592
t0 = sqr(t0)       #  184 : 646322061823531680494034478020801171754373184
t0 = sqr(t0)       #  185 : 1292644123647063360988068956041602343508746368
t0 = sqr(t0)       #  186 : 2585288247294126721976137912083204687017492736
t0 = sqr(t0)       #  187 : 5170576494588253443952275824166409374034985472
t0 = t0 * t7       #  188 : 5170576494588253443952275824166409374034985481
t0 = sqr(t0)       #  189 : 10341152989176506887904551648332818748069970962
t0 = sqr(t0)       #  190 : 20682305978353013775809103296665637496139941924
t0 = sqr(t0)       #  191 : 41364611956706027551618206593331274992279883848
t0 = sqr(t0)       #  192 : 82729223913412055103236413186662549984559767696
t0 = sqr(t0)       #  193 : 165458447826824110206472826373325099969119535392
t0 = sqr(t0)       #  194 : 330916895653648220412945652746650199938239070784
t0 = t0 * t12      #  195 : 330916895653648220412945652746650199938239070799
t0 = sqr(t0)       #  196 : 661833791307296440825891305493300399876478141598
t0 = sqr(t0)       #  197 : 1323667582614592881651782610986600799752956283196
t0 = sqr(t0)       #  198 : 2647335165229185763303565221973201599505912566392
t0 = sqr(t0)       #  199 : 5294670330458371526607130443946403199011825132784
t0 = sqr(t0)       #  200 : 10589340660916743053214260887892806398023650265568
t0 = sqr(t0)       #  201 : 21178681321833486106428521775785612796047300531136
t0 = sqr(t0)       #  202 : 42357362643666972212857043551571225592094601062272
t0 = sqr(t0)       #  203 : 84714725287333944425714087103142451184189202124544
t0 = t0 * t11      #  204 : 84714725287333944425714087103142451184189202124595
t0 = sqr(t0)       #  205 : 169429450574667888851428174206284902368378404249190
t0 = sqr(t0)       #  206 : 338858901149335777702856348412569804736756808498380
t0 = sqr(t0)       #  207 : 677717802298671555405712696825139609473513616996760
t0 = t0 * t10      #  208 : 677717802298671555405712696825139609473513616996761
t0 = sqr(t0)       #  209 : 1355435604597343110811425393650279218947027233993522
t0 = sqr(t0)       #  210 : 2710871209194686221622850787300558437894054467987044
t0 = sqr(t0)       #  211 : 5421742418389372443245701574601116875788108935974088
t0 = sqr(t0)       #  212 : 10843484836778744886491403149202233751576217871948176
t0 = sqr(t0)       #  213 : 21686969673557489772982806298404467503152435743896352
t0 = sqr(t0)       #  214 : 43373939347114979545965612596808935006304871487792704
t0 = sqr(t0)       #  215 : 86747878694229959091931225193617870012609742975585408
t0 = sqr(t0)       #  216 : 173495757388459918183862450387235740025219485951170816
t0 = sqr(t0)       #  217 : 346991514776919836367724900774471480050438971902341632
t0 = sqr(t0)       #  218 : 693983029553839672735449801548942960100877943804683264
t0 = sqr(t0)       #  219 : 1387966059107679345470899603097885920201755887609366528
t0 = sqr(t0)       #  220 : 2775932118215358690941799206195771840403511775218733056
t0 = t0 * t9       #  221 : 2775932118215358690941799206195771840403511775218733089
t0 = sqr(t0)       #  222 : 5551864236430717381883598412391543680807023550437466178
t0 = sqr(t0)       #  223 : 11103728472861434763767196824783087361614047100874932356
t0 = sqr(t0)       #  224 : 22207456945722869527534393649566174723228094201749864712
t0 = sqr(t0)       #  225 : 44414913891445739055068787299132349446456188403499729424
t0 = sqr(t0)       #  226 : 88829827782891478110137574598264698892912376806999458848
t0 = sqr(t0)       #  227 : 177659655565782956220275149196529397785824753613998917696
t0 = sqr(t0)       #  228 : 355319311131565912440550298393058795571649507227997835392
t0 = sqr(t0)       #  229 : 710638622263131824881100596786117591143299014455995670784
t0 = sqr(t0)       #  230 : 1421277244526263649762201193572235182286598028911991341568
t0 = sqr(t0)       #  231 : 2842554489052527299524402387144470364573196057823982683136
t0 = sqr(t0)       #  232 : 5685108978105054599048804774288940729146392115647965366272
t0 = t0 * t8       #  233 : 5685108978105054599048804774288940729146392115647965366317
t0 = sqr(t0)       #  234 : 11370217956210109198097609548577881458292784231295930732634
t0 = sqr(t0)       #  235 : 22740435912420218396195219097155762916585568462591861465268
t0 = sqr(t0)       #  236 : 45480871824840436792390438194311525833171136925183722930536
t0 = sqr(t0)       #  237 : 90961743649680873584780876388623051666342273850367445861072
t0 = sqr(t0)       #  238 : 181923487299361747169561752777246103332684547700734891722144
t0 = sqr(t0)       #  239 : 363846974598723494339123505554492206665369095401469783444288
t0 = sqr(t0)       #  240 : 727693949197446988678247011108984413330738190802939566888576
t0 = sqr(t0)       #  241 : 1455387898394893977356494022217968826661476381605879133777152
t0 = t0 * t7       #  242 : 1455387898394893977356494022217968826661476381605879133777161
t0 = sqr(t0)       #  243 : 2910775796789787954712988044435937653322952763211758267554322
t0 = sqr(t0)       #  244 : 5821551593579575909425976088871875306645905526423516535108644
t0 = sqr(t0)       #  245 : 11643103187159151818851952177743750613291811052847033070217288
t0 = sqr(t0)       #  246 : 23286206374318303637703904355487501226583622105694066140434576
t0 = t0 * t6       #  247 : 23286206374318303637703904355487501226583622105694066140434583
t0 = sqr(t0)       #  248 : 46572412748636607275407808710975002453167244211388132280869166
t0 = sqr(t0)       #  249 : 93144825497273214550815617421950004906334488422776264561738332
t0 = sqr(t0)       #  250 : 186289650994546429101631234843900009812668976845552529123476664
t0 = sqr(t0)       #  251 : 372579301989092858203262469687800019625337953691105058246953328
t0 = sqr(t0)       #  252 : 745158603978185716406524939375600039250675907382210116493906656
t0 = sqr(t0)       #  253 : 1490317207956371432813049878751200078501351814764420232987813312
t0 = sqr(t0)       #  254 : 2980634415912742865626099757502400157002703629528840465975626624
t0 = sqr(t0)       #  255 : 5961268831825485731252199515004800314005407259057680931951253248
t0 = sqr(t0)       #  256 : 11922537663650971462504399030009600628010814518115361863902506496
t0 = sqr(t0)       #  257 : 23845075327301942925008798060019201256021629036230723727805012992
t0 = t0 * t5       #  258 : 23845075327301942925008798060019201256021629036230723727805013049
t0 = sqr(t0)       #  259 : 47690150654603885850017596120038402512043258072461447455610026098
t0 = sqr(t0)       #  260 : 95380301309207771700035192240076805024086516144922894911220052196
t0 = sqr(t0)       #  261 : 190760602618415543400070384480153610048173032289845789822440104392
t0 = sqr(t0)       #  262 : 381521205236831086800140768960307220096346064579691579644880208784
t0 = sqr(t0)       #  263 : 763042410473662173600281537920614440192692129159383159289760417568
t0 = sqr(t0)       #  264 : 1526084820947324347200563075841228880385384258318766318579520835136
t0 = sqr(t0)       #  265 : 3052169641894648694401126151682457760770768516637532637159041670272
t0 = t0 * t3       #  266 : 3052169641894648694401126151682457760770768516637532637159041670333
t0 = sqr(t0)       #  267 : 6104339283789297388802252303364915521541537033275065274318083340666
t0 = sqr(t0)       #  268 : 12208678567578594777604504606729831043083074066550130548636166681332
t0 = sqr(t0)       #  269 : 24417357135157189555209009213459662086166148133100261097272333362664
t0 = sqr(t0)       #  270 : 48834714270314379110418018426919324172332296266200522194544666725328
t0 = sqr(t0)       #  271 : 97669428540628758220836036853838648344664592532401044389089333450656
t0 = sqr(t0)       #  272 : 195338857081257516441672073707677296689329185064802088778178666901312
t0 = t0 * t4       #  273 : 195338857081257516441672073707677296689329185064802088778178666901355
t0 = sqr(t0)       #  274 : 390677714162515032883344147415354593378658370129604177556357333802710
t0 = sqr(t0)       #  275 : 781355428325030065766688294830709186757316740259208355112714667605420
t0 = sqr(t0)       #  276 : 1562710856650060131533376589661418373514633480518416710225429335210840
t0 = sqr(t0)       #  277 : 3125421713300120263066753179322836747029266961036833420450858670421680
t0 = sqr(t0)       #  278 : 6250843426600240526133506358645673494058533922073666840901717340843360
t0 = sqr(t0)       #  279 : 12501686853200481052267012717291346988117067844147333681803434681686720
t0 = sqr(t0)       #  280 : 25003373706400962104534025434582693976234135688294667363606869363373440
t0 = t0 * t3       #  281 : 25003373706400962104534025434582693976234135688294667363606869363373501
t0 = sqr(t0)       #  282 : 50006747412801924209068050869165387952468271376589334727213738726747002
t0 = sqr(t0)       #  283 : 100013494825603848418136101738330775904936542753178669454427477453494004
t0 = sqr(t0)       #  284 : 200026989651207696836272203476661551809873085506357338908854954906988008
t0 = sqr(t0)       #  285 : 400053979302415393672544406953323103619746171012714677817709909813976016
t0 = sqr(t0)       #  286 : 800107958604830787345088813906646207239492342025429355635419819627952032
t0 = t0 * t2       #  287 : 800107958604830787345088813906646207239492342025429355635419819627952057
t0 = sqr(t0)       #  288 : 1600215917209661574690177627813292414478984684050858711270839639255904114
t0 = sqr(t0)       #  289 : 3200431834419323149380355255626584828957969368101717422541679278511808228
t0 = sqr(t0)       #  290 : 6400863668838646298760710511253169657915938736203434845083358557023616456
t0 = sqr(t0)       #  291 : 12801727337677292597521421022506339315831877472406869690166717114047232912
t0 = sqr(t0)       #  292 : 25603454675354585195042842045012678631663754944813739380333434228094465824
t0 = sqr(t0)       #  293 : 51206909350709170390085684090025357263327509889627478760666868456188931648
t0 = t0 * t2       #  294 : 51206909350709170390085684090025357263327509889627478760666868456188931673
t0 = sqr(t0)       #  295 : 102413818701418340780171368180050714526655019779254957521333736912377863346
t0 = sqr(t0)       #  296 : 204827637402836681560342736360101429053310039558509915042667473824755726692
t0 = sqr(t0)       #  297 : 409655274805673363120685472720202858106620079117019830085334947649511453384
t0 = sqr(t0)       #  298 : 819310549611346726241370945440405716213240158234039660170669895299022906768
t0 = sqr(t0)       #  299 : 1638621099222693452482741890880811432426480316468079320341339790598045813536
t0 = sqr(t0)       #  300 : 3277242198445386904965483781761622864852960632936158640682679581196091627072
t0 = sqr(t0)       #  301 : 6554484396890773809930967563523245729705921265872317281365359162392183254144
t0 = t0 * t1       #  302 : 6554484396890773809930967563523245729705921265872317281365359162392183254197