Setup

n = 268 (slider from 0 to 1000, step 1)
S = Sequence(((sqrt(i) * cos(((i * 137.5))°)), (sqrt(i) * sin(((i * 137.5))°))), i, 0, n)
c = Circle((0, 0), 0.2)
A1 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 1]]], log(sqrt(1 + 1)) / log(2), Element[S, 1]], y(Element[S, 1]), Element[S, 1])
A2 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 2]]], log(sqrt(1 + 2)) / log(2), Element[S, 2]], y(Element[S, 2]), Element[S, 2])
A3 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 3]]], log(sqrt(1 + 3)) / log(2), Element[S, 3]], y(Element[S, 3]), Element[S, 3])
A4 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 4]]], log(sqrt(1 + 4)) / log(2), Element[S, 4]], y(Element[S, 4]), Element[S, 4])
A5 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 5]]], log(sqrt(1 + 5)) / log(2), Element[S, 5]], y(Element[S, 5]), Element[S, 5])
A6 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 6]]], log(sqrt(1 + 6)) / log(2), Element[S, 6]], y(Element[S, 6]), Element[S, 6])
A7 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 7]]], log(sqrt(1 + 7)) / log(2), Element[S, 7]], y(Element[S, 7]), Element[S, 7])
A8 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 8]]], log(sqrt(1 + 8)) / log(2), Element[S, 8]], y(Element[S, 8]), Element[S, 8])
A9 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 9]]], log(sqrt(1 + 9)) / log(2), Element[S, 9]], y(Element[S, 9]), Element[S, 9])
A10 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 10]]], log(sqrt(1 + 10)) / log(2), Element[S, 10]], y(Element[S, 10]), Element[S, 10])
A11 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 11]]], log(sqrt(1 + 11)) / log(2), Element[S, 11]], y(Element[S, 11]), Element[S, 11])
A12 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 12]]], log(sqrt(1 + 12)) / log(2), Element[S, 12]], y(Element[S, 12]), Element[S, 12])
A13 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 13]]], log(sqrt(1 + 13)) / log(2), Element[S, 13]], y(Element[S, 13]), Element[S, 13])
A14 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 14]]], log(sqrt(1 + 14)) / log(2), Element[S, 14]], y(Element[S, 14]), Element[S, 14])
A15 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 15]]], log(sqrt(1 + 15)) / log(2), Element[S, 15]], y(Element[S, 15]), Element[S, 15])
A16 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 16]]], log(sqrt(1 + 16)) / log(2), Element[S, 16]], y(Element[S, 16]), Element[S, 16])
A17 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 17]]], log(sqrt(1 + 17)) / log(2), Element[S, 17]], y(Element[S, 17]), Element[S, 17])
A18 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 18]]], log(sqrt(1 + 18)) / log(2), Element[S, 18]], y(Element[S, 18]), Element[S, 18])
A19 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 19]]], log(sqrt(1 + 19)) / log(2), Element[S, 19]], y(Element[S, 19]), Element[S, 19])
A20 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 20]]], log(sqrt(1 + 20)) / log(2), Element[S, 20]], y(Element[S, 20]), Element[S, 20])
A21 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 21]]], log(sqrt(1 + 21)) / log(2), Element[S, 21]], y(Element[S, 21]), Element[S, 21])
A22 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 22]]], log(sqrt(1 + 22)) / log(2), Element[S, 22]], y(Element[S, 22]), Element[S, 22])
A23 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 23]]], log(sqrt(1 + 23)) / log(2), Element[S, 23]], y(Element[S, 23]), Element[S, 23])
A24 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 24]]], log(sqrt(1 + 24)) / log(2), Element[S, 24]], y(Element[S, 24]), Element[S, 24])
A25 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 25]]], log(sqrt(1 + 25)) / log(2), Element[S, 25]], y(Element[S, 25]), Element[S, 25])
A26 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 26]]], log(sqrt(1 + 26)) / log(2), Element[S, 26]], y(Element[S, 26]), Element[S, 26])
A27 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 27]]], log(sqrt(1 + 27)) / log(2), Element[S, 27]], y(Element[S, 27]), Element[S, 27])
A28 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 28]]], log(sqrt(1 + 28)) / log(2), Element[S, 28]], y(Element[S, 28]), Element[S, 28])
A29 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 29]]], log(sqrt(1 + 29)) / log(2), Element[S, 29]], y(Element[S, 29]), Element[S, 29])
A30 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 30]]], log(sqrt(1 + 30)) / log(2), Element[S, 30]], y(Element[S, 30]), Element[S, 30])
A31 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 31]]], log(sqrt(1 + 31)) / log(2), Element[S, 31]], y(Element[S, 31]), Element[S, 31])
A32 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 32]]], log(sqrt(1 + 32)) / log(2), Element[S, 32]], y(Element[S, 32]), Element[S, 32])
A33 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 33]]], log(sqrt(1 + 33)) / log(2), Element[S, 33]], y(Element[S, 33]), Element[S, 33])
A34 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 34]]], log(sqrt(1 + 34)) / log(2), Element[S, 34]], y(Element[S, 34]), Element[S, 34])
A35 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 35]]], log(sqrt(1 + 35)) / log(2), Element[S, 35]], y(Element[S, 35]), Element[S, 35])
A36 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 36]]], log(sqrt(1 + 36)) / log(2), Element[S, 36]], y(Element[S, 36]), Element[S, 36])
A37 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 37]]], log(sqrt(1 + 37)) / log(2), Element[S, 37]], y(Element[S, 37]), Element[S, 37])
A38 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 38]]], log(sqrt(1 + 38)) / log(2), Element[S, 38]], y(Element[S, 38]), Element[S, 38])
A39 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 39]]], log(sqrt(1 + 39)) / log(2), Element[S, 39]], y(Element[S, 39]), Element[S, 39])
A40 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 40]]], log(sqrt(1 + 40)) / log(2), Element[S, 40]], y(Element[S, 40]), Element[S, 40])
A41 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 41]]], log(sqrt(1 + 41)) / log(2), Element[S, 41]], y(Element[S, 41]), Element[S, 41])
A42 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 42]]], log(sqrt(1 + 42)) / log(2), Element[S, 42]], y(Element[S, 42]), Element[S, 42])
A43 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 43]]], log(sqrt(1 + 43)) / log(2), Element[S, 43]], y(Element[S, 43]), Element[S, 43])
A44 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 44]]], log(sqrt(1 + 44)) / log(2), Element[S, 44]], y(Element[S, 44]), Element[S, 44])
A45 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 45]]], log(sqrt(1 + 45)) / log(2), Element[S, 45]], y(Element[S, 45]), Element[S, 45])
A46 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 46]]], log(sqrt(1 + 46)) / log(2), Element[S, 46]], y(Element[S, 46]), Element[S, 46])
A47 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 47]]], log(sqrt(1 + 47)) / log(2), Element[S, 47]], y(Element[S, 47]), Element[S, 47])
A48 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 48]]], log(sqrt(1 + 48)) / log(2), Element[S, 48]], y(Element[S, 48]), Element[S, 48])
A49 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 49]]], log(sqrt(1 + 49)) / log(2), Element[S, 49]], y(Element[S, 49]), Element[S, 49])
A50 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 50]]], log(sqrt(1 + 50)) / log(2), Element[S, 50]], y(Element[S, 50]), Element[S, 50])
A51 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 51]]], log(sqrt(1 + 51)) / log(2), Element[S, 51]], y(Element[S, 51]), Element[S, 51])
A52 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 52]]], log(sqrt(1 + 52)) / log(2), Element[S, 52]], y(Element[S, 52]), Element[S, 52])
A53 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 53]]], log(sqrt(1 + 53)) / log(2), Element[S, 53]], y(Element[S, 53]), Element[S, 53])
A54 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 54]]], log(sqrt(1 + 54)) / log(2), Element[S, 54]], y(Element[S, 54]), Element[S, 54])
A55 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 55]]], log(sqrt(1 + 55)) / log(2), Element[S, 55]], y(Element[S, 55]), Element[S, 55])
A56 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 56]]], log(sqrt(1 + 56)) / log(2), Element[S, 56]], y(Element[S, 56]), Element[S, 56])
A57 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 57]]], log(sqrt(1 + 57)) / log(2), Element[S, 57]], y(Element[S, 57]), Element[S, 57])
A58 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 58]]], log(sqrt(1 + 58)) / log(2), Element[S, 58]], y(Element[S, 58]), Element[S, 58])
A59 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 59]]], log(sqrt(1 + 59)) / log(2), Element[S, 59]], y(Element[S, 59]), Element[S, 59])
A60 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 60]]], log(sqrt(1 + 60)) / log(2), Element[S, 60]], y(Element[S, 60]), Element[S, 60])
A61 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 61]]], log(sqrt(1 + 61)) / log(2), Element[S, 61]], y(Element[S, 61]), Element[S, 61])
A62 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 62]]], log(sqrt(1 + 62)) / log(2), Element[S, 62]], y(Element[S, 62]), Element[S, 62])
A63 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 63]]], log(sqrt(1 + 63)) / log(2), Element[S, 63]], y(Element[S, 63]), Element[S, 63])
A64 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 64]]], log(sqrt(1 + 64)) / log(2), Element[S, 64]], y(Element[S, 64]), Element[S, 64])
A65 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 65]]], log(sqrt(1 + 65)) / log(2), Element[S, 65]], y(Element[S, 65]), Element[S, 65])
A66 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 66]]], log(sqrt(1 + 66)) / log(2), Element[S, 66]], y(Element[S, 66]), Element[S, 66])
A67 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 67]]], log(sqrt(1 + 67)) / log(2), Element[S, 67]], y(Element[S, 67]), Element[S, 67])
A68 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 68]]], log(sqrt(1 + 68)) / log(2), Element[S, 68]], y(Element[S, 68]), Element[S, 68])
A69 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 69]]], log(sqrt(1 + 69)) / log(2), Element[S, 69]], y(Element[S, 69]), Element[S, 69])
A70 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 70]]], log(sqrt(1 + 70)) / log(2), Element[S, 70]], y(Element[S, 70]), Element[S, 70])
A71 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 71]]], log(sqrt(1 + 71)) / log(2), Element[S, 71]], y(Element[S, 71]), Element[S, 71])
A72 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 72]]], log(sqrt(1 + 72)) / log(2), Element[S, 72]], y(Element[S, 72]), Element[S, 72])
A73 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 73]]], log(sqrt(1 + 73)) / log(2), Element[S, 73]], y(Element[S, 73]), Element[S, 73])
A74 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 74]]], log(sqrt(1 + 74)) / log(2), Element[S, 74]], y(Element[S, 74]), Element[S, 74])
A75 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 75]]], log(sqrt(1 + 75)) / log(2), Element[S, 75]], y(Element[S, 75]), Element[S, 75])
A76 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 76]]], log(sqrt(1 + 76)) / log(2), Element[S, 76]], y(Element[S, 76]), Element[S, 76])
A77 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 77]]], log(sqrt(1 + 77)) / log(2), Element[S, 77]], y(Element[S, 77]), Element[S, 77])
A78 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 78]]], log(sqrt(1 + 78)) / log(2), Element[S, 78]], y(Element[S, 78]), Element[S, 78])
A79 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 79]]], log(sqrt(1 + 79)) / log(2), Element[S, 79]], y(Element[S, 79]), Element[S, 79])
A80 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 80]]], log(sqrt(1 + 80)) / log(2), Element[S, 80]], y(Element[S, 80]), Element[S, 80])
A81 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 81]]], log(sqrt(1 + 81)) / log(2), Element[S, 81]], y(Element[S, 81]), Element[S, 81])
A82 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 82]]], log(sqrt(1 + 82)) / log(2), Element[S, 82]], y(Element[S, 82]), Element[S, 82])
A83 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 83]]], log(sqrt(1 + 83)) / log(2), Element[S, 83]], y(Element[S, 83]), Element[S, 83])
A84 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 84]]], log(sqrt(1 + 84)) / log(2), Element[S, 84]], y(Element[S, 84]), Element[S, 84])
A85 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 85]]], log(sqrt(1 + 85)) / log(2), Element[S, 85]], y(Element[S, 85]), Element[S, 85])
A86 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 86]]], log(sqrt(1 + 86)) / log(2), Element[S, 86]], y(Element[S, 86]), Element[S, 86])
A87 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 87]]], log(sqrt(1 + 87)) / log(2), Element[S, 87]], y(Element[S, 87]), Element[S, 87])
A88 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 88]]], log(sqrt(1 + 88)) / log(2), Element[S, 88]], y(Element[S, 88]), Element[S, 88])
A89 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 89]]], log(sqrt(1 + 89)) / log(2), Element[S, 89]], y(Element[S, 89]), Element[S, 89])
A90 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 90]]], log(sqrt(1 + 90)) / log(2), Element[S, 90]], y(Element[S, 90]), Element[S, 90])
A91 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 91]]], log(sqrt(1 + 91)) / log(2), Element[S, 91]], y(Element[S, 91]), Element[S, 91])
A92 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 92]]], log(sqrt(1 + 92)) / log(2), Element[S, 92]], y(Element[S, 92]), Element[S, 92])
A93 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 93]]], log(sqrt(1 + 93)) / log(2), Element[S, 93]], y(Element[S, 93]), Element[S, 93])
A94 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 94]]], log(sqrt(1 + 94)) / log(2), Element[S, 94]], y(Element[S, 94]), Element[S, 94])
A95 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 95]]], log(sqrt(1 + 95)) / log(2), Element[S, 95]], y(Element[S, 95]), Element[S, 95])
A96 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 96]]], log(sqrt(1 + 96)) / log(2), Element[S, 96]], y(Element[S, 96]), Element[S, 96])
A97 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 97]]], log(sqrt(1 + 97)) / log(2), Element[S, 97]], y(Element[S, 97]), Element[S, 97])
A98 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 98]]], log(sqrt(1 + 98)) / log(2), Element[S, 98]], y(Element[S, 98]), Element[S, 98])
A99 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 99]]], log(sqrt(1 + 99)) / log(2), Element[S, 99]], y(Element[S, 99]), Element[S, 99])
A100 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 100]]], log(sqrt(1 + 100)) / log(2), Element[S, 100]], y(Element[S, 100]), Element[S, 100])
A101 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 101]]], log(sqrt(1 + 101)) / log(2), Element[S, 101]], y(Element[S, 101]), Element[S, 101])
A102 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 102]]], log(sqrt(1 + 102)) / log(2), Element[S, 102]], y(Element[S, 102]), Element[S, 102])
A103 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 103]]], log(sqrt(1 + 103)) / log(2), Element[S, 103]], y(Element[S, 103]), Element[S, 103])
A104 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 104]]], log(sqrt(1 + 104)) / log(2), Element[S, 104]], y(Element[S, 104]), Element[S, 104])
A105 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 105]]], log(sqrt(1 + 105)) / log(2), Element[S, 105]], y(Element[S, 105]), Element[S, 105])
A106 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 106]]], log(sqrt(1 + 106)) / log(2), Element[S, 106]], y(Element[S, 106]), Element[S, 106])
A107 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 107]]], log(sqrt(1 + 107)) / log(2), Element[S, 107]], y(Element[S, 107]), Element[S, 107])
A108 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 108]]], log(sqrt(1 + 108)) / log(2), Element[S, 108]], y(Element[S, 108]), Element[S, 108])
A109 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 109]]], log(sqrt(1 + 109)) / log(2), Element[S, 109]], y(Element[S, 109]), Element[S, 109])
A110 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 110]]], log(sqrt(1 + 110)) / log(2), Element[S, 110]], y(Element[S, 110]), Element[S, 110])
A111 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 111]]], log(sqrt(1 + 111)) / log(2), Element[S, 111]], y(Element[S, 111]), Element[S, 111])
A112 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 112]]], log(sqrt(1 + 112)) / log(2), Element[S, 112]], y(Element[S, 112]), Element[S, 112])
A113 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 113]]], log(sqrt(1 + 113)) / log(2), Element[S, 113]], y(Element[S, 113]), Element[S, 113])
A114 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 114]]], log(sqrt(1 + 114)) / log(2), Element[S, 114]], y(Element[S, 114]), Element[S, 114])
A115 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 115]]], log(sqrt(1 + 115)) / log(2), Element[S, 115]], y(Element[S, 115]), Element[S, 115])
A116 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 116]]], log(sqrt(1 + 116)) / log(2), Element[S, 116]], y(Element[S, 116]), Element[S, 116])
A117 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 117]]], log(sqrt(1 + 117)) / log(2), Element[S, 117]], y(Element[S, 117]), Element[S, 117])
A118 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 118]]], log(sqrt(1 + 118)) / log(2), Element[S, 118]], y(Element[S, 118]), Element[S, 118])
A119 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 119]]], log(sqrt(1 + 119)) / log(2), Element[S, 119]], y(Element[S, 119]), Element[S, 119])
A120 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 120]]], log(sqrt(1 + 120)) / log(2), Element[S, 120]], y(Element[S, 120]), Element[S, 120])
A121 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 121]]], log(sqrt(1 + 121)) / log(2), Element[S, 121]], y(Element[S, 121]), Element[S, 121])
A122 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 122]]], log(sqrt(1 + 122)) / log(2), Element[S, 122]], y(Element[S, 122]), Element[S, 122])
A123 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 123]]], log(sqrt(1 + 123)) / log(2), Element[S, 123]], y(Element[S, 123]), Element[S, 123])
A124 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 124]]], log(sqrt(1 + 124)) / log(2), Element[S, 124]], y(Element[S, 124]), Element[S, 124])
A125 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 125]]], log(sqrt(1 + 125)) / log(2), Element[S, 125]], y(Element[S, 125]), Element[S, 125])
A126 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 126]]], log(sqrt(1 + 126)) / log(2), Element[S, 126]], y(Element[S, 126]), Element[S, 126])
A127 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 127]]], log(sqrt(1 + 127)) / log(2), Element[S, 127]], y(Element[S, 127]), Element[S, 127])
A128 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 128]]], log(sqrt(1 + 128)) / log(2), Element[S, 128]], y(Element[S, 128]), Element[S, 128])
A129 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 129]]], log(sqrt(1 + 129)) / log(2), Element[S, 129]], y(Element[S, 129]), Element[S, 129])
A130 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 130]]], log(sqrt(1 + 130)) / log(2), Element[S, 130]], y(Element[S, 130]), Element[S, 130])
A131 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 131]]], log(sqrt(1 + 131)) / log(2), Element[S, 131]], y(Element[S, 131]), Element[S, 131])
A132 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 132]]], log(sqrt(1 + 132)) / log(2), Element[S, 132]], y(Element[S, 132]), Element[S, 132])
A133 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 133]]], log(sqrt(1 + 133)) / log(2), Element[S, 133]], y(Element[S, 133]), Element[S, 133])
A134 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 134]]], log(sqrt(1 + 134)) / log(2), Element[S, 134]], y(Element[S, 134]), Element[S, 134])
A135 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 135]]], log(sqrt(1 + 135)) / log(2), Element[S, 135]], y(Element[S, 135]), Element[S, 135])
A136 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 136]]], log(sqrt(1 + 136)) / log(2), Element[S, 136]], y(Element[S, 136]), Element[S, 136])
A137 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 137]]], log(sqrt(1 + 137)) / log(2), Element[S, 137]], y(Element[S, 137]), Element[S, 137])
A138 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 138]]], log(sqrt(1 + 138)) / log(2), Element[S, 138]], y(Element[S, 138]), Element[S, 138])
A139 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 139]]], log(sqrt(1 + 139)) / log(2), Element[S, 139]], y(Element[S, 139]), Element[S, 139])
A140 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 140]]], log(sqrt(1 + 140)) / log(2), Element[S, 140]], y(Element[S, 140]), Element[S, 140])
A141 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 141]]], log(sqrt(1 + 141)) / log(2), Element[S, 141]], y(Element[S, 141]), Element[S, 141])
A142 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 142]]], log(sqrt(1 + 142)) / log(2), Element[S, 142]], y(Element[S, 142]), Element[S, 142])
A143 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 143]]], log(sqrt(1 + 143)) / log(2), Element[S, 143]], y(Element[S, 143]), Element[S, 143])
A144 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 144]]], log(sqrt(1 + 144)) / log(2), Element[S, 144]], y(Element[S, 144]), Element[S, 144])
A145 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 145]]], log(sqrt(1 + 145)) / log(2), Element[S, 145]], y(Element[S, 145]), Element[S, 145])
A146 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 146]]], log(sqrt(1 + 146)) / log(2), Element[S, 146]], y(Element[S, 146]), Element[S, 146])
A147 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 147]]], log(sqrt(1 + 147)) / log(2), Element[S, 147]], y(Element[S, 147]), Element[S, 147])
A148 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 148]]], log(sqrt(1 + 148)) / log(2), Element[S, 148]], y(Element[S, 148]), Element[S, 148])
A149 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 149]]], log(sqrt(1 + 149)) / log(2), Element[S, 149]], y(Element[S, 149]), Element[S, 149])
A150 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 150]]], log(sqrt(1 + 150)) / log(2), Element[S, 150]], y(Element[S, 150]), Element[S, 150])
A151 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 151]]], log(sqrt(1 + 151)) / log(2), Element[S, 151]], y(Element[S, 151]), Element[S, 151])
A152 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 152]]], log(sqrt(1 + 152)) / log(2), Element[S, 152]], y(Element[S, 152]), Element[S, 152])
A153 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 153]]], log(sqrt(1 + 153)) / log(2), Element[S, 153]], y(Element[S, 153]), Element[S, 153])
A154 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 154]]], log(sqrt(1 + 154)) / log(2), Element[S, 154]], y(Element[S, 154]), Element[S, 154])
A155 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 155]]], log(sqrt(1 + 155)) / log(2), Element[S, 155]], y(Element[S, 155]), Element[S, 155])
A156 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 156]]], log(sqrt(1 + 156)) / log(2), Element[S, 156]], y(Element[S, 156]), Element[S, 156])
A157 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 157]]], log(sqrt(1 + 157)) / log(2), Element[S, 157]], y(Element[S, 157]), Element[S, 157])
A158 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 158]]], log(sqrt(1 + 158)) / log(2), Element[S, 158]], y(Element[S, 158]), Element[S, 158])
A159 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 159]]], log(sqrt(1 + 159)) / log(2), Element[S, 159]], y(Element[S, 159]), Element[S, 159])
A160 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 160]]], log(sqrt(1 + 160)) / log(2), Element[S, 160]], y(Element[S, 160]), Element[S, 160])
A161 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 161]]], log(sqrt(1 + 161)) / log(2), Element[S, 161]], y(Element[S, 161]), Element[S, 161])
A162 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 162]]], log(sqrt(1 + 162)) / log(2), Element[S, 162]], y(Element[S, 162]), Element[S, 162])
A163 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 163]]], log(sqrt(1 + 163)) / log(2), Element[S, 163]], y(Element[S, 163]), Element[S, 163])
A164 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 164]]], log(sqrt(1 + 164)) / log(2), Element[S, 164]], y(Element[S, 164]), Element[S, 164])
A165 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 165]]], log(sqrt(1 + 165)) / log(2), Element[S, 165]], y(Element[S, 165]), Element[S, 165])
A166 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 166]]], log(sqrt(1 + 166)) / log(2), Element[S, 166]], y(Element[S, 166]), Element[S, 166])
A167 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 167]]], log(sqrt(1 + 167)) / log(2), Element[S, 167]], y(Element[S, 167]), Element[S, 167])
A168 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 168]]], log(sqrt(1 + 168)) / log(2), Element[S, 168]], y(Element[S, 168]), Element[S, 168])
A169 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 169]]], log(sqrt(1 + 169)) / log(2), Element[S, 169]], y(Element[S, 169]), Element[S, 169])
A170 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 170]]], log(sqrt(1 + 170)) / log(2), Element[S, 170]], y(Element[S, 170]), Element[S, 170])
A171 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 171]]], log(sqrt(1 + 171)) / log(2), Element[S, 171]], y(Element[S, 171]), Element[S, 171])
A172 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 172]]], log(sqrt(1 + 172)) / log(2), Element[S, 172]], y(Element[S, 172]), Element[S, 172])
A173 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 173]]], log(sqrt(1 + 173)) / log(2), Element[S, 173]], y(Element[S, 173]), Element[S, 173])
A174 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 174]]], log(sqrt(1 + 174)) / log(2), Element[S, 174]], y(Element[S, 174]), Element[S, 174])
A175 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 175]]], log(sqrt(1 + 175)) / log(2), Element[S, 175]], y(Element[S, 175]), Element[S, 175])
A176 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 176]]], log(sqrt(1 + 176)) / log(2), Element[S, 176]], y(Element[S, 176]), Element[S, 176])
A177 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 177]]], log(sqrt(1 + 177)) / log(2), Element[S, 177]], y(Element[S, 177]), Element[S, 177])
A178 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 178]]], log(sqrt(1 + 178)) / log(2), Element[S, 178]], y(Element[S, 178]), Element[S, 178])
A179 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 179]]], log(sqrt(1 + 179)) / log(2), Element[S, 179]], y(Element[S, 179]), Element[S, 179])
A180 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 180]]], log(sqrt(1 + 180)) / log(2), Element[S, 180]], y(Element[S, 180]), Element[S, 180])
A181 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 181]]], log(sqrt(1 + 181)) / log(2), Element[S, 181]], y(Element[S, 181]), Element[S, 181])
A182 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 182]]], log(sqrt(1 + 182)) / log(2), Element[S, 182]], y(Element[S, 182]), Element[S, 182])
A183 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 183]]], log(sqrt(1 + 183)) / log(2), Element[S, 183]], y(Element[S, 183]), Element[S, 183])
A184 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 184]]], log(sqrt(1 + 184)) / log(2), Element[S, 184]], y(Element[S, 184]), Element[S, 184])
A185 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 185]]], log(sqrt(1 + 185)) / log(2), Element[S, 185]], y(Element[S, 185]), Element[S, 185])
A186 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 186]]], log(sqrt(1 + 186)) / log(2), Element[S, 186]], y(Element[S, 186]), Element[S, 186])
A187 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 187]]], log(sqrt(1 + 187)) / log(2), Element[S, 187]], y(Element[S, 187]), Element[S, 187])
A188 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 188]]], log(sqrt(1 + 188)) / log(2), Element[S, 188]], y(Element[S, 188]), Element[S, 188])
A189 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 189]]], log(sqrt(1 + 189)) / log(2), Element[S, 189]], y(Element[S, 189]), Element[S, 189])
A190 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 190]]], log(sqrt(1 + 190)) / log(2), Element[S, 190]], y(Element[S, 190]), Element[S, 190])
A191 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 191]]], log(sqrt(1 + 191)) / log(2), Element[S, 191]], y(Element[S, 191]), Element[S, 191])
A192 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 192]]], log(sqrt(1 + 192)) / log(2), Element[S, 192]], y(Element[S, 192]), Element[S, 192])
A193 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 193]]], log(sqrt(1 + 193)) / log(2), Element[S, 193]], y(Element[S, 193]), Element[S, 193])
A194 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 194]]], log(sqrt(1 + 194)) / log(2), Element[S, 194]], y(Element[S, 194]), Element[S, 194])
A195 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 195]]], log(sqrt(1 + 195)) / log(2), Element[S, 195]], y(Element[S, 195]), Element[S, 195])
A196 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 196]]], log(sqrt(1 + 196)) / log(2), Element[S, 196]], y(Element[S, 196]), Element[S, 196])
A197 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 197]]], log(sqrt(1 + 197)) / log(2), Element[S, 197]], y(Element[S, 197]), Element[S, 197])
A198 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 198]]], log(sqrt(1 + 198)) / log(2), Element[S, 198]], y(Element[S, 198]), Element[S, 198])
A199 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 199]]], log(sqrt(1 + 199)) / log(2), Element[S, 199]], y(Element[S, 199]), Element[S, 199])
A200 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 200]]], log(sqrt(1 + 200)) / log(2), Element[S, 200]], y(Element[S, 200]), Element[S, 200])
A201 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 201]]], log(sqrt(1 + 201)) / log(2), Element[S, 201]], y(Element[S, 201]), Element[S, 201])
A202 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 202]]], log(sqrt(1 + 202)) / log(2), Element[S, 202]], y(Element[S, 202]), Element[S, 202])
A203 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 203]]], log(sqrt(1 + 203)) / log(2), Element[S, 203]], y(Element[S, 203]), Element[S, 203])
A204 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 204]]], log(sqrt(1 + 204)) / log(2), Element[S, 204]], y(Element[S, 204]), Element[S, 204])
A205 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 205]]], log(sqrt(1 + 205)) / log(2), Element[S, 205]], y(Element[S, 205]), Element[S, 205])
A206 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 206]]], log(sqrt(1 + 206)) / log(2), Element[S, 206]], y(Element[S, 206]), Element[S, 206])
A207 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 207]]], log(sqrt(1 + 207)) / log(2), Element[S, 207]], y(Element[S, 207]), Element[S, 207])
A208 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 208]]], log(sqrt(1 + 208)) / log(2), Element[S, 208]], y(Element[S, 208]), Element[S, 208])
A209 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 209]]], log(sqrt(1 + 209)) / log(2), Element[S, 209]], y(Element[S, 209]), Element[S, 209])
A210 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 210]]], log(sqrt(1 + 210)) / log(2), Element[S, 210]], y(Element[S, 210]), Element[S, 210])
A211 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 211]]], log(sqrt(1 + 211)) / log(2), Element[S, 211]], y(Element[S, 211]), Element[S, 211])
A212 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 212]]], log(sqrt(1 + 212)) / log(2), Element[S, 212]], y(Element[S, 212]), Element[S, 212])
A213 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 213]]], log(sqrt(1 + 213)) / log(2), Element[S, 213]], y(Element[S, 213]), Element[S, 213])
A214 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 214]]], log(sqrt(1 + 214)) / log(2), Element[S, 214]], y(Element[S, 214]), Element[S, 214])
A215 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 215]]], log(sqrt(1 + 215)) / log(2), Element[S, 215]], y(Element[S, 215]), Element[S, 215])
A216 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 216]]], log(sqrt(1 + 216)) / log(2), Element[S, 216]], y(Element[S, 216]), Element[S, 216])
A217 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 217]]], log(sqrt(1 + 217)) / log(2), Element[S, 217]], y(Element[S, 217]), Element[S, 217])
A218 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 218]]], log(sqrt(1 + 218)) / log(2), Element[S, 218]], y(Element[S, 218]), Element[S, 218])
A219 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 219]]], log(sqrt(1 + 219)) / log(2), Element[S, 219]], y(Element[S, 219]), Element[S, 219])
A220 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 220]]], log(sqrt(1 + 220)) / log(2), Element[S, 220]], y(Element[S, 220]), Element[S, 220])
A221 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 221]]], log(sqrt(1 + 221)) / log(2), Element[S, 221]], y(Element[S, 221]), Element[S, 221])
A222 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 222]]], log(sqrt(1 + 222)) / log(2), Element[S, 222]], y(Element[S, 222]), Element[S, 222])
A223 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 223]]], log(sqrt(1 + 223)) / log(2), Element[S, 223]], y(Element[S, 223]), Element[S, 223])
A224 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 224]]], log(sqrt(1 + 224)) / log(2), Element[S, 224]], y(Element[S, 224]), Element[S, 224])
A225 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 225]]], log(sqrt(1 + 225)) / log(2), Element[S, 225]], y(Element[S, 225]), Element[S, 225])
A226 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 226]]], log(sqrt(1 + 226)) / log(2), Element[S, 226]], y(Element[S, 226]), Element[S, 226])
A227 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 227]]], log(sqrt(1 + 227)) / log(2), Element[S, 227]], y(Element[S, 227]), Element[S, 227])
A228 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 228]]], log(sqrt(1 + 228)) / log(2), Element[S, 228]], y(Element[S, 228]), Element[S, 228])
A229 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 229]]], log(sqrt(1 + 229)) / log(2), Element[S, 229]], y(Element[S, 229]), Element[S, 229])
A230 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 230]]], log(sqrt(1 + 230)) / log(2), Element[S, 230]], y(Element[S, 230]), Element[S, 230])
A231 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 231]]], log(sqrt(1 + 231)) / log(2), Element[S, 231]], y(Element[S, 231]), Element[S, 231])
A232 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 232]]], log(sqrt(1 + 232)) / log(2), Element[S, 232]], y(Element[S, 232]), Element[S, 232])
A233 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 233]]], log(sqrt(1 + 233)) / log(2), Element[S, 233]], y(Element[S, 233]), Element[S, 233])
A234 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 234]]], log(sqrt(1 + 234)) / log(2), Element[S, 234]], y(Element[S, 234]), Element[S, 234])
A235 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 235]]], log(sqrt(1 + 235)) / log(2), Element[S, 235]], y(Element[S, 235]), Element[S, 235])
A236 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 236]]], log(sqrt(1 + 236)) / log(2), Element[S, 236]], y(Element[S, 236]), Element[S, 236])
A237 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 237]]], log(sqrt(1 + 237)) / log(2), Element[S, 237]], y(Element[S, 237]), Element[S, 237])
A238 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 238]]], log(sqrt(1 + 238)) / log(2), Element[S, 238]], y(Element[S, 238]), Element[S, 238])
A239 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 239]]], log(sqrt(1 + 239)) / log(2), Element[S, 239]], y(Element[S, 239]), Element[S, 239])
A240 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 240]]], log(sqrt(1 + 240)) / log(2), Element[S, 240]], y(Element[S, 240]), Element[S, 240])
A241 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 241]]], log(sqrt(1 + 241)) / log(2), Element[S, 241]], y(Element[S, 241]), Element[S, 241])
A242 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 242]]], log(sqrt(1 + 242)) / log(2), Element[S, 242]], y(Element[S, 242]), Element[S, 242])
A243 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 243]]], log(sqrt(1 + 243)) / log(2), Element[S, 243]], y(Element[S, 243]), Element[S, 243])
A244 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 244]]], log(sqrt(1 + 244)) / log(2), Element[S, 244]], y(Element[S, 244]), Element[S, 244])
A245 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 245]]], log(sqrt(1 + 245)) / log(2), Element[S, 245]], y(Element[S, 245]), Element[S, 245])
A246 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 246]]], log(sqrt(1 + 246)) / log(2), Element[S, 246]], y(Element[S, 246]), Element[S, 246])
A247 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 247]]], log(sqrt(1 + 247)) / log(2), Element[S, 247]], y(Element[S, 247]), Element[S, 247])
A248 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 248]]], log(sqrt(1 + 248)) / log(2), Element[S, 248]], y(Element[S, 248]), Element[S, 248])
A249 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 249]]], log(sqrt(1 + 249)) / log(2), Element[S, 249]], y(Element[S, 249]), Element[S, 249])
A250 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 250]]], log(sqrt(1 + 250)) / log(2), Element[S, 250]], y(Element[S, 250]), Element[S, 250])
A251 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 251]]], log(sqrt(1 + 251)) / log(2), Element[S, 251]], y(Element[S, 251]), Element[S, 251])
A252 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 252]]], log(sqrt(1 + 252)) / log(2), Element[S, 252]], y(Element[S, 252]), Element[S, 252])
A253 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 253]]], log(sqrt(1 + 253)) / log(2), Element[S, 253]], y(Element[S, 253]), Element[S, 253])
A254 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 254]]], log(sqrt(1 + 254)) / log(2), Element[S, 254]], y(Element[S, 254]), Element[S, 254])
A255 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 255]]], log(sqrt(1 + 255)) / log(2), Element[S, 255]], y(Element[S, 255]), Element[S, 255])
A256 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 256]]], log(sqrt(1 + 256)) / log(2), Element[S, 256]], y(Element[S, 256]), Element[S, 256])
A257 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 257]]], log(sqrt(1 + 257)) / log(2), Element[S, 257]], y(Element[S, 257]), Element[S, 257])
A258 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 258]]], log(sqrt(1 + 258)) / log(2), Element[S, 258]], y(Element[S, 258]), Element[S, 258])
A259 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 259]]], log(sqrt(1 + 259)) / log(2), Element[S, 259]], y(Element[S, 259]), Element[S, 259])
A260 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 260]]], log(sqrt(1 + 260)) / log(2), Element[S, 260]], y(Element[S, 260]), Element[S, 260])
A261 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 261]]], log(sqrt(1 + 261)) / log(2), Element[S, 261]], y(Element[S, 261]), Element[S, 261])
A262 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 262]]], log(sqrt(1 + 262)) / log(2), Element[S, 262]], y(Element[S, 262]), Element[S, 262])
A263 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 263]]], log(sqrt(1 + 263)) / log(2), Element[S, 263]], y(Element[S, 263]), Element[S, 263])
A264 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 264]]], log(sqrt(1 + 264)) / log(2), Element[S, 264]], y(Element[S, 264]), Element[S, 264])
A265 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 265]]], log(sqrt(1 + 265)) / log(2), Element[S, 265]], y(Element[S, 265]), Element[S, 265])
A266 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 266]]], log(sqrt(1 + 266)) / log(2), Element[S, 266]], y(Element[S, 266]), Element[S, 266])
A267 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 267]]], log(sqrt(1 + 267)) / log(2), Element[S, 267]], y(Element[S, 267]), Element[S, 267])
A268 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 268]]], log(sqrt(1 + 268)) / log(2), Element[S, 268]], y(Element[S, 268]), Element[S, 268])
A269 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 269]]], log(sqrt(1 + 269)) / log(2), Element[S, 269]], y(Element[S, 269]), Element[S, 269])
A270 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 270]]], log(sqrt(1 + 270)) / log(2), Element[S, 270]], y(Element[S, 270]), Element[S, 270])
A271 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 271]]], log(sqrt(1 + 271)) / log(2), Element[S, 271]], y(Element[S, 271]), Element[S, 271])
A272 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 272]]], log(sqrt(1 + 272)) / log(2), Element[S, 272]], y(Element[S, 272]), Element[S, 272])
A273 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 273]]], log(sqrt(1 + 273)) / log(2), Element[S, 273]], y(Element[S, 273]), Element[S, 273])
A274 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 274]]], log(sqrt(1 + 274)) / log(2), Element[S, 274]], y(Element[S, 274]), Element[S, 274])
A275 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 275]]], log(sqrt(1 + 275)) / log(2), Element[S, 275]], y(Element[S, 275]), Element[S, 275])
A276 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 276]]], log(sqrt(1 + 276)) / log(2), Element[S, 276]], y(Element[S, 276]), Element[S, 276])
A277 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 277]]], log(sqrt(1 + 277)) / log(2), Element[S, 277]], y(Element[S, 277]), Element[S, 277])
A278 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 278]]], log(sqrt(1 + 278)) / log(2), Element[S, 278]], y(Element[S, 278]), Element[S, 278])
A279 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 279]]], log(sqrt(1 + 279)) / log(2), Element[S, 279]], y(Element[S, 279]), Element[S, 279])
A280 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 280]]], log(sqrt(1 + 280)) / log(2), Element[S, 280]], y(Element[S, 280]), Element[S, 280])
A281 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 281]]], log(sqrt(1 + 281)) / log(2), Element[S, 281]], y(Element[S, 281]), Element[S, 281])
A282 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 282]]], log(sqrt(1 + 282)) / log(2), Element[S, 282]], y(Element[S, 282]), Element[S, 282])
A283 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 283]]], log(sqrt(1 + 283)) / log(2), Element[S, 283]], y(Element[S, 283]), Element[S, 283])
A284 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 284]]], log(sqrt(1 + 284)) / log(2), Element[S, 284]], y(Element[S, 284]), Element[S, 284])
A285 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 285]]], log(sqrt(1 + 285)) / log(2), Element[S, 285]], y(Element[S, 285]), Element[S, 285])
A286 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 286]]], log(sqrt(1 + 286)) / log(2), Element[S, 286]], y(Element[S, 286]), Element[S, 286])
A287 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 287]]], log(sqrt(1 + 287)) / log(2), Element[S, 287]], y(Element[S, 287]), Element[S, 287])
A288 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 288]]], log(sqrt(1 + 288)) / log(2), Element[S, 288]], y(Element[S, 288]), Element[S, 288])
A289 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 289]]], log(sqrt(1 + 289)) / log(2), Element[S, 289]], y(Element[S, 289]), Element[S, 289])
A290 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 290]]], log(sqrt(1 + 290)) / log(2), Element[S, 290]], y(Element[S, 290]), Element[S, 290])
A291 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 291]]], log(sqrt(1 + 291)) / log(2), Element[S, 291]], y(Element[S, 291]), Element[S, 291])
A292 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 292]]], log(sqrt(1 + 292)) / log(2), Element[S, 292]], y(Element[S, 292]), Element[S, 292])
A293 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 293]]], log(sqrt(1 + 293)) / log(2), Element[S, 293]], y(Element[S, 293]), Element[S, 293])
A294 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 294]]], log(sqrt(1 + 294)) / log(2), Element[S, 294]], y(Element[S, 294]), Element[S, 294])
A295 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 295]]], log(sqrt(1 + 295)) / log(2), Element[S, 295]], y(Element[S, 295]), Element[S, 295])
A296 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 296]]], log(sqrt(1 + 296)) / log(2), Element[S, 296]], y(Element[S, 296]), Element[S, 296])
A297 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 297]]], log(sqrt(1 + 297)) / log(2), Element[S, 297]], y(Element[S, 297]), Element[S, 297])
A298 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 298]]], log(sqrt(1 + 298)) / log(2), Element[S, 298]], y(Element[S, 298]), Element[S, 298])
A299 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 299]]], log(sqrt(1 + 299)) / log(2), Element[S, 299]], y(Element[S, 299]), Element[S, 299])
A300 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 300]]], log(sqrt(1 + 300)) / log(2), Element[S, 300]], y(Element[S, 300]), Element[S, 300])
A301 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 301]]], log(sqrt(1 + 301)) / log(2), Element[S, 301]], y(Element[S, 301]), Element[S, 301])
A302 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 302]]], log(sqrt(1 + 302)) / log(2), Element[S, 302]], y(Element[S, 302]), Element[S, 302])
A303 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 303]]], log(sqrt(1 + 303)) / log(2), Element[S, 303]], y(Element[S, 303]), Element[S, 303])
A304 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 304]]], log(sqrt(1 + 304)) / log(2), Element[S, 304]], y(Element[S, 304]), Element[S, 304])
A305 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 305]]], log(sqrt(1 + 305)) / log(2), Element[S, 305]], y(Element[S, 305]), Element[S, 305])
A306 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 306]]], log(sqrt(1 + 306)) / log(2), Element[S, 306]], y(Element[S, 306]), Element[S, 306])
A307 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 307]]], log(sqrt(1 + 307)) / log(2), Element[S, 307]], y(Element[S, 307]), Element[S, 307])
A308 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 308]]], log(sqrt(1 + 308)) / log(2), Element[S, 308]], y(Element[S, 308]), Element[S, 308])
A309 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 309]]], log(sqrt(1 + 309)) / log(2), Element[S, 309]], y(Element[S, 309]), Element[S, 309])
A310 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 310]]], log(sqrt(1 + 310)) / log(2), Element[S, 310]], y(Element[S, 310]), Element[S, 310])
A311 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 311]]], log(sqrt(1 + 311)) / log(2), Element[S, 311]], y(Element[S, 311]), Element[S, 311])
A312 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 312]]], log(sqrt(1 + 312)) / log(2), Element[S, 312]], y(Element[S, 312]), Element[S, 312])
A313 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 313]]], log(sqrt(1 + 313)) / log(2), Element[S, 313]], y(Element[S, 313]), Element[S, 313])
A314 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 314]]], log(sqrt(1 + 314)) / log(2), Element[S, 314]], y(Element[S, 314]), Element[S, 314])
A315 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 315]]], log(sqrt(1 + 315)) / log(2), Element[S, 315]], y(Element[S, 315]), Element[S, 315])
A316 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 316]]], log(sqrt(1 + 316)) / log(2), Element[S, 316]], y(Element[S, 316]), Element[S, 316])
A317 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 317]]], log(sqrt(1 + 317)) / log(2), Element[S, 317]], y(Element[S, 317]), Element[S, 317])
A318 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 318]]], log(sqrt(1 + 318)) / log(2), Element[S, 318]], y(Element[S, 318]), Element[S, 318])
A319 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 319]]], log(sqrt(1 + 319)) / log(2), Element[S, 319]], y(Element[S, 319]), Element[S, 319])
A320 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 320]]], log(sqrt(1 + 320)) / log(2), Element[S, 320]], y(Element[S, 320]), Element[S, 320])
A321 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 321]]], log(sqrt(1 + 321)) / log(2), Element[S, 321]], y(Element[S, 321]), Element[S, 321])
A322 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 322]]], log(sqrt(1 + 322)) / log(2), Element[S, 322]], y(Element[S, 322]), Element[S, 322])
A323 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 323]]], log(sqrt(1 + 323)) / log(2), Element[S, 323]], y(Element[S, 323]), Element[S, 323])
A324 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 324]]], log(sqrt(1 + 324)) / log(2), Element[S, 324]], y(Element[S, 324]), Element[S, 324])
A325 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 325]]], log(sqrt(1 + 325)) / log(2), Element[S, 325]], y(Element[S, 325]), Element[S, 325])
A326 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 326]]], log(sqrt(1 + 326)) / log(2), Element[S, 326]], y(Element[S, 326]), Element[S, 326])
A327 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 327]]], log(sqrt(1 + 327)) / log(2), Element[S, 327]], y(Element[S, 327]), Element[S, 327])
A328 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 328]]], log(sqrt(1 + 328)) / log(2), Element[S, 328]], y(Element[S, 328]), Element[S, 328])
A329 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 329]]], log(sqrt(1 + 329)) / log(2), Element[S, 329]], y(Element[S, 329]), Element[S, 329])
A330 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 330]]], log(sqrt(1 + 330)) / log(2), Element[S, 330]], y(Element[S, 330]), Element[S, 330])
A331 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 331]]], log(sqrt(1 + 331)) / log(2), Element[S, 331]], y(Element[S, 331]), Element[S, 331])
A332 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 332]]], log(sqrt(1 + 332)) / log(2), Element[S, 332]], y(Element[S, 332]), Element[S, 332])
A333 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 333]]], log(sqrt(1 + 333)) / log(2), Element[S, 333]], y(Element[S, 333]), Element[S, 333])
A334 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 334]]], log(sqrt(1 + 334)) / log(2), Element[S, 334]], y(Element[S, 334]), Element[S, 334])
A335 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 335]]], log(sqrt(1 + 335)) / log(2), Element[S, 335]], y(Element[S, 335]), Element[S, 335])
A336 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 336]]], log(sqrt(1 + 336)) / log(2), Element[S, 336]], y(Element[S, 336]), Element[S, 336])
A337 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 337]]], log(sqrt(1 + 337)) / log(2), Element[S, 337]], y(Element[S, 337]), Element[S, 337])
A338 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 338]]], log(sqrt(1 + 338)) / log(2), Element[S, 338]], y(Element[S, 338]), Element[S, 338])
A339 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 339]]], log(sqrt(1 + 339)) / log(2), Element[S, 339]], y(Element[S, 339]), Element[S, 339])
A340 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 340]]], log(sqrt(1 + 340)) / log(2), Element[S, 340]], y(Element[S, 340]), Element[S, 340])
A341 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 341]]], log(sqrt(1 + 341)) / log(2), Element[S, 341]], y(Element[S, 341]), Element[S, 341])
A342 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 342]]], log(sqrt(1 + 342)) / log(2), Element[S, 342]], y(Element[S, 342]), Element[S, 342])
A343 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 343]]], log(sqrt(1 + 343)) / log(2), Element[S, 343]], y(Element[S, 343]), Element[S, 343])
A344 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 344]]], log(sqrt(1 + 344)) / log(2), Element[S, 344]], y(Element[S, 344]), Element[S, 344])
A345 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 345]]], log(sqrt(1 + 345)) / log(2), Element[S, 345]], y(Element[S, 345]), Element[S, 345])
A346 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 346]]], log(sqrt(1 + 346)) / log(2), Element[S, 346]], y(Element[S, 346]), Element[S, 346])
A347 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 347]]], log(sqrt(1 + 347)) / log(2), Element[S, 347]], y(Element[S, 347]), Element[S, 347])
A348 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 348]]], log(sqrt(1 + 348)) / log(2), Element[S, 348]], y(Element[S, 348]), Element[S, 348])
A349 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 349]]], log(sqrt(1 + 349)) / log(2), Element[S, 349]], y(Element[S, 349]), Element[S, 349])
A350 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 350]]], log(sqrt(1 + 350)) / log(2), Element[S, 350]], y(Element[S, 350]), Element[S, 350])
A351 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 351]]], log(sqrt(1 + 351)) / log(2), Element[S, 351]], y(Element[S, 351]), Element[S, 351])
A352 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 352]]], log(sqrt(1 + 352)) / log(2), Element[S, 352]], y(Element[S, 352]), Element[S, 352])
A353 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 353]]], log(sqrt(1 + 353)) / log(2), Element[S, 353]], y(Element[S, 353]), Element[S, 353])
A354 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 354]]], log(sqrt(1 + 354)) / log(2), Element[S, 354]], y(Element[S, 354]), Element[S, 354])
A355 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 355]]], log(sqrt(1 + 355)) / log(2), Element[S, 355]], y(Element[S, 355]), Element[S, 355])
A356 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 356]]], log(sqrt(1 + 356)) / log(2), Element[S, 356]], y(Element[S, 356]), Element[S, 356])
A357 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 357]]], log(sqrt(1 + 357)) / log(2), Element[S, 357]], y(Element[S, 357]), Element[S, 357])
A358 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 358]]], log(sqrt(1 + 358)) / log(2), Element[S, 358]], y(Element[S, 358]), Element[S, 358])
A359 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 359]]], log(sqrt(1 + 359)) / log(2), Element[S, 359]], y(Element[S, 359]), Element[S, 359])
A360 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 360]]], log(sqrt(1 + 360)) / log(2), Element[S, 360]], y(Element[S, 360]), Element[S, 360])
A361 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 361]]], log(sqrt(1 + 361)) / log(2), Element[S, 361]], y(Element[S, 361]), Element[S, 361])
A362 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 362]]], log(sqrt(1 + 362)) / log(2), Element[S, 362]], y(Element[S, 362]), Element[S, 362])
A363 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 363]]], log(sqrt(1 + 363)) / log(2), Element[S, 363]], y(Element[S, 363]), Element[S, 363])
A364 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 364]]], log(sqrt(1 + 364)) / log(2), Element[S, 364]], y(Element[S, 364]), Element[S, 364])
A365 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 365]]], log(sqrt(1 + 365)) / log(2), Element[S, 365]], y(Element[S, 365]), Element[S, 365])
A366 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 366]]], log(sqrt(1 + 366)) / log(2), Element[S, 366]], y(Element[S, 366]), Element[S, 366])
A367 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 367]]], log(sqrt(1 + 367)) / log(2), Element[S, 367]], y(Element[S, 367]), Element[S, 367])
A368 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 368]]], log(sqrt(1 + 368)) / log(2), Element[S, 368]], y(Element[S, 368]), Element[S, 368])
A369 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 369]]], log(sqrt(1 + 369)) / log(2), Element[S, 369]], y(Element[S, 369]), Element[S, 369])
A370 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 370]]], log(sqrt(1 + 370)) / log(2), Element[S, 370]], y(Element[S, 370]), Element[S, 370])
A371 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 371]]], log(sqrt(1 + 371)) / log(2), Element[S, 371]], y(Element[S, 371]), Element[S, 371])
A372 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 372]]], log(sqrt(1 + 372)) / log(2), Element[S, 372]], y(Element[S, 372]), Element[S, 372])
A373 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 373]]], log(sqrt(1 + 373)) / log(2), Element[S, 373]], y(Element[S, 373]), Element[S, 373])
A374 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 374]]], log(sqrt(1 + 374)) / log(2), Element[S, 374]], y(Element[S, 374]), Element[S, 374])
A375 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 375]]], log(sqrt(1 + 375)) / log(2), Element[S, 375]], y(Element[S, 375]), Element[S, 375])
A376 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 376]]], log(sqrt(1 + 376)) / log(2), Element[S, 376]], y(Element[S, 376]), Element[S, 376])
A377 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 377]]], log(sqrt(1 + 377)) / log(2), Element[S, 377]], y(Element[S, 377]), Element[S, 377])
A378 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 378]]], log(sqrt(1 + 378)) / log(2), Element[S, 378]], y(Element[S, 378]), Element[S, 378])
A379 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 379]]], log(sqrt(1 + 379)) / log(2), Element[S, 379]], y(Element[S, 379]), Element[S, 379])
A380 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 380]]], log(sqrt(1 + 380)) / log(2), Element[S, 380]], y(Element[S, 380]), Element[S, 380])
A381 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 381]]], log(sqrt(1 + 381)) / log(2), Element[S, 381]], y(Element[S, 381]), Element[S, 381])
A382 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 382]]], log(sqrt(1 + 382)) / log(2), Element[S, 382]], y(Element[S, 382]), Element[S, 382])
A383 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 383]]], log(sqrt(1 + 383)) / log(2), Element[S, 383]], y(Element[S, 383]), Element[S, 383])
A384 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 384]]], log(sqrt(1 + 384)) / log(2), Element[S, 384]], y(Element[S, 384]), Element[S, 384])
A385 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 385]]], log(sqrt(1 + 385)) / log(2), Element[S, 385]], y(Element[S, 385]), Element[S, 385])
A386 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 386]]], log(sqrt(1 + 386)) / log(2), Element[S, 386]], y(Element[S, 386]), Element[S, 386])
A387 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 387]]], log(sqrt(1 + 387)) / log(2), Element[S, 387]], y(Element[S, 387]), Element[S, 387])
A388 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 388]]], log(sqrt(1 + 388)) / log(2), Element[S, 388]], y(Element[S, 388]), Element[S, 388])
A389 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 389]]], log(sqrt(1 + 389)) / log(2), Element[S, 389]], y(Element[S, 389]), Element[S, 389])
A390 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 390]]], log(sqrt(1 + 390)) / log(2), Element[S, 390]], y(Element[S, 390]), Element[S, 390])
A391 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 391]]], log(sqrt(1 + 391)) / log(2), Element[S, 391]], y(Element[S, 391]), Element[S, 391])
A392 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 392]]], log(sqrt(1 + 392)) / log(2), Element[S, 392]], y(Element[S, 392]), Element[S, 392])
A393 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 393]]], log(sqrt(1 + 393)) / log(2), Element[S, 393]], y(Element[S, 393]), Element[S, 393])
A394 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 394]]], log(sqrt(1 + 394)) / log(2), Element[S, 394]], y(Element[S, 394]), Element[S, 394])
A395 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 395]]], log(sqrt(1 + 395)) / log(2), Element[S, 395]], y(Element[S, 395]), Element[S, 395])
A396 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 396]]], log(sqrt(1 + 396)) / log(2), Element[S, 396]], y(Element[S, 396]), Element[S, 396])
A397 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 397]]], log(sqrt(1 + 397)) / log(2), Element[S, 397]], y(Element[S, 397]), Element[S, 397])
A398 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 398]]], log(sqrt(1 + 398)) / log(2), Element[S, 398]], y(Element[S, 398]), Element[S, 398])
A399 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 399]]], log(sqrt(1 + 399)) / log(2), Element[S, 399]], y(Element[S, 399]), Element[S, 399])
A400 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 400]]], log(sqrt(1 + 400)) / log(2), Element[S, 400]], y(Element[S, 400]), Element[S, 400])
A401 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 401]]], log(sqrt(1 + 401)) / log(2), Element[S, 401]], y(Element[S, 401]), Element[S, 401])
A402 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 402]]], log(sqrt(1 + 402)) / log(2), Element[S, 402]], y(Element[S, 402]), Element[S, 402])
A403 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 403]]], log(sqrt(1 + 403)) / log(2), Element[S, 403]], y(Element[S, 403]), Element[S, 403])
A404 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 404]]], log(sqrt(1 + 404)) / log(2), Element[S, 404]], y(Element[S, 404]), Element[S, 404])
A405 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 405]]], log(sqrt(1 + 405)) / log(2), Element[S, 405]], y(Element[S, 405]), Element[S, 405])
A406 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 406]]], log(sqrt(1 + 406)) / log(2), Element[S, 406]], y(Element[S, 406]), Element[S, 406])
A407 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 407]]], log(sqrt(1 + 407)) / log(2), Element[S, 407]], y(Element[S, 407]), Element[S, 407])
A408 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 408]]], log(sqrt(1 + 408)) / log(2), Element[S, 408]], y(Element[S, 408]), Element[S, 408])
A409 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 409]]], log(sqrt(1 + 409)) / log(2), Element[S, 409]], y(Element[S, 409]), Element[S, 409])
A410 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 410]]], log(sqrt(1 + 410)) / log(2), Element[S, 410]], y(Element[S, 410]), Element[S, 410])
A411 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 411]]], log(sqrt(1 + 411)) / log(2), Element[S, 411]], y(Element[S, 411]), Element[S, 411])
A412 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 412]]], log(sqrt(1 + 412)) / log(2), Element[S, 412]], y(Element[S, 412]), Element[S, 412])
A413 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 413]]], log(sqrt(1 + 413)) / log(2), Element[S, 413]], y(Element[S, 413]), Element[S, 413])
A414 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 414]]], log(sqrt(1 + 414)) / log(2), Element[S, 414]], y(Element[S, 414]), Element[S, 414])
A415 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 415]]], log(sqrt(1 + 415)) / log(2), Element[S, 415]], y(Element[S, 415]), Element[S, 415])
A416 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 416]]], log(sqrt(1 + 416)) / log(2), Element[S, 416]], y(Element[S, 416]), Element[S, 416])
A417 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 417]]], log(sqrt(1 + 417)) / log(2), Element[S, 417]], y(Element[S, 417]), Element[S, 417])
A418 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 418]]], log(sqrt(1 + 418)) / log(2), Element[S, 418]], y(Element[S, 418]), Element[S, 418])
A419 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 419]]], log(sqrt(1 + 419)) / log(2), Element[S, 419]], y(Element[S, 419]), Element[S, 419])
A420 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 420]]], log(sqrt(1 + 420)) / log(2), Element[S, 420]], y(Element[S, 420]), Element[S, 420])
A421 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 421]]], log(sqrt(1 + 421)) / log(2), Element[S, 421]], y(Element[S, 421]), Element[S, 421])
A422 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 422]]], log(sqrt(1 + 422)) / log(2), Element[S, 422]], y(Element[S, 422]), Element[S, 422])
A423 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 423]]], log(sqrt(1 + 423)) / log(2), Element[S, 423]], y(Element[S, 423]), Element[S, 423])
A424 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 424]]], log(sqrt(1 + 424)) / log(2), Element[S, 424]], y(Element[S, 424]), Element[S, 424])
A425 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 425]]], log(sqrt(1 + 425)) / log(2), Element[S, 425]], y(Element[S, 425]), Element[S, 425])
A426 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 426]]], log(sqrt(1 + 426)) / log(2), Element[S, 426]], y(Element[S, 426]), Element[S, 426])
A427 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 427]]], log(sqrt(1 + 427)) / log(2), Element[S, 427]], y(Element[S, 427]), Element[S, 427])
A428 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 428]]], log(sqrt(1 + 428)) / log(2), Element[S, 428]], y(Element[S, 428]), Element[S, 428])
A429 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 429]]], log(sqrt(1 + 429)) / log(2), Element[S, 429]], y(Element[S, 429]), Element[S, 429])
A430 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 430]]], log(sqrt(1 + 430)) / log(2), Element[S, 430]], y(Element[S, 430]), Element[S, 430])
A431 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 431]]], log(sqrt(1 + 431)) / log(2), Element[S, 431]], y(Element[S, 431]), Element[S, 431])
A432 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 432]]], log(sqrt(1 + 432)) / log(2), Element[S, 432]], y(Element[S, 432]), Element[S, 432])
A433 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 433]]], log(sqrt(1 + 433)) / log(2), Element[S, 433]], y(Element[S, 433]), Element[S, 433])
A434 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 434]]], log(sqrt(1 + 434)) / log(2), Element[S, 434]], y(Element[S, 434]), Element[S, 434])
A435 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 435]]], log(sqrt(1 + 435)) / log(2), Element[S, 435]], y(Element[S, 435]), Element[S, 435])
A436 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 436]]], log(sqrt(1 + 436)) / log(2), Element[S, 436]], y(Element[S, 436]), Element[S, 436])
A437 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 437]]], log(sqrt(1 + 437)) / log(2), Element[S, 437]], y(Element[S, 437]), Element[S, 437])
A438 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 438]]], log(sqrt(1 + 438)) / log(2), Element[S, 438]], y(Element[S, 438]), Element[S, 438])
A439 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 439]]], log(sqrt(1 + 439)) / log(2), Element[S, 439]], y(Element[S, 439]), Element[S, 439])
A440 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 440]]], log(sqrt(1 + 440)) / log(2), Element[S, 440]], y(Element[S, 440]), Element[S, 440])
A441 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 441]]], log(sqrt(1 + 441)) / log(2), Element[S, 441]], y(Element[S, 441]), Element[S, 441])
A442 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 442]]], log(sqrt(1 + 442)) / log(2), Element[S, 442]], y(Element[S, 442]), Element[S, 442])
A443 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 443]]], log(sqrt(1 + 443)) / log(2), Element[S, 443]], y(Element[S, 443]), Element[S, 443])
A444 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 444]]], log(sqrt(1 + 444)) / log(2), Element[S, 444]], y(Element[S, 444]), Element[S, 444])
A445 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 445]]], log(sqrt(1 + 445)) / log(2), Element[S, 445]], y(Element[S, 445]), Element[S, 445])
A446 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 446]]], log(sqrt(1 + 446)) / log(2), Element[S, 446]], y(Element[S, 446]), Element[S, 446])
A447 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 447]]], log(sqrt(1 + 447)) / log(2), Element[S, 447]], y(Element[S, 447]), Element[S, 447])
A448 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 448]]], log(sqrt(1 + 448)) / log(2), Element[S, 448]], y(Element[S, 448]), Element[S, 448])
A449 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 449]]], log(sqrt(1 + 449)) / log(2), Element[S, 449]], y(Element[S, 449]), Element[S, 449])
A450 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 450]]], log(sqrt(1 + 450)) / log(2), Element[S, 450]], y(Element[S, 450]), Element[S, 450])
A451 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 451]]], log(sqrt(1 + 451)) / log(2), Element[S, 451]], y(Element[S, 451]), Element[S, 451])
A452 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 452]]], log(sqrt(1 + 452)) / log(2), Element[S, 452]], y(Element[S, 452]), Element[S, 452])
A453 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 453]]], log(sqrt(1 + 453)) / log(2), Element[S, 453]], y(Element[S, 453]), Element[S, 453])
A454 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 454]]], log(sqrt(1 + 454)) / log(2), Element[S, 454]], y(Element[S, 454]), Element[S, 454])
A455 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 455]]], log(sqrt(1 + 455)) / log(2), Element[S, 455]], y(Element[S, 455]), Element[S, 455])
A456 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 456]]], log(sqrt(1 + 456)) / log(2), Element[S, 456]], y(Element[S, 456]), Element[S, 456])
A457 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 457]]], log(sqrt(1 + 457)) / log(2), Element[S, 457]], y(Element[S, 457]), Element[S, 457])
A458 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 458]]], log(sqrt(1 + 458)) / log(2), Element[S, 458]], y(Element[S, 458]), Element[S, 458])
A459 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 459]]], log(sqrt(1 + 459)) / log(2), Element[S, 459]], y(Element[S, 459]), Element[S, 459])
A460 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 460]]], log(sqrt(1 + 460)) / log(2), Element[S, 460]], y(Element[S, 460]), Element[S, 460])
A461 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 461]]], log(sqrt(1 + 461)) / log(2), Element[S, 461]], y(Element[S, 461]), Element[S, 461])
A462 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 462]]], log(sqrt(1 + 462)) / log(2), Element[S, 462]], y(Element[S, 462]), Element[S, 462])
A463 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 463]]], log(sqrt(1 + 463)) / log(2), Element[S, 463]], y(Element[S, 463]), Element[S, 463])
A464 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 464]]], log(sqrt(1 + 464)) / log(2), Element[S, 464]], y(Element[S, 464]), Element[S, 464])
A465 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 465]]], log(sqrt(1 + 465)) / log(2), Element[S, 465]], y(Element[S, 465]), Element[S, 465])
A466 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 466]]], log(sqrt(1 + 466)) / log(2), Element[S, 466]], y(Element[S, 466]), Element[S, 466])
A467 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 467]]], log(sqrt(1 + 467)) / log(2), Element[S, 467]], y(Element[S, 467]), Element[S, 467])
A468 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 468]]], log(sqrt(1 + 468)) / log(2), Element[S, 468]], y(Element[S, 468]), Element[S, 468])
A469 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 469]]], log(sqrt(1 + 469)) / log(2), Element[S, 469]], y(Element[S, 469]), Element[S, 469])
A470 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 470]]], log(sqrt(1 + 470)) / log(2), Element[S, 470]], y(Element[S, 470]), Element[S, 470])
A471 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 471]]], log(sqrt(1 + 471)) / log(2), Element[S, 471]], y(Element[S, 471]), Element[S, 471])
A472 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 472]]], log(sqrt(1 + 472)) / log(2), Element[S, 472]], y(Element[S, 472]), Element[S, 472])
A473 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 473]]], log(sqrt(1 + 473)) / log(2), Element[S, 473]], y(Element[S, 473]), Element[S, 473])
A474 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 474]]], log(sqrt(1 + 474)) / log(2), Element[S, 474]], y(Element[S, 474]), Element[S, 474])
A475 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 475]]], log(sqrt(1 + 475)) / log(2), Element[S, 475]], y(Element[S, 475]), Element[S, 475])
A476 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 476]]], log(sqrt(1 + 476)) / log(2), Element[S, 476]], y(Element[S, 476]), Element[S, 476])
A477 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 477]]], log(sqrt(1 + 477)) / log(2), Element[S, 477]], y(Element[S, 477]), Element[S, 477])
A478 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 478]]], log(sqrt(1 + 478)) / log(2), Element[S, 478]], y(Element[S, 478]), Element[S, 478])
A479 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 479]]], log(sqrt(1 + 479)) / log(2), Element[S, 479]], y(Element[S, 479]), Element[S, 479])
A480 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 480]]], log(sqrt(1 + 480)) / log(2), Element[S, 480]], y(Element[S, 480]), Element[S, 480])
A481 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 481]]], log(sqrt(1 + 481)) / log(2), Element[S, 481]], y(Element[S, 481]), Element[S, 481])
A482 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 482]]], log(sqrt(1 + 482)) / log(2), Element[S, 482]], y(Element[S, 482]), Element[S, 482])
A483 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 483]]], log(sqrt(1 + 483)) / log(2), Element[S, 483]], y(Element[S, 483]), Element[S, 483])
A484 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 484]]], log(sqrt(1 + 484)) / log(2), Element[S, 484]], y(Element[S, 484]), Element[S, 484])
A485 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 485]]], log(sqrt(1 + 485)) / log(2), Element[S, 485]], y(Element[S, 485]), Element[S, 485])
A486 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 486]]], log(sqrt(1 + 486)) / log(2), Element[S, 486]], y(Element[S, 486]), Element[S, 486])
A487 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 487]]], log(sqrt(1 + 487)) / log(2), Element[S, 487]], y(Element[S, 487]), Element[S, 487])
A488 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 488]]], log(sqrt(1 + 488)) / log(2), Element[S, 488]], y(Element[S, 488]), Element[S, 488])
A489 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 489]]], log(sqrt(1 + 489)) / log(2), Element[S, 489]], y(Element[S, 489]), Element[S, 489])
A490 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 490]]], log(sqrt(1 + 490)) / log(2), Element[S, 490]], y(Element[S, 490]), Element[S, 490])
A491 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 491]]], log(sqrt(1 + 491)) / log(2), Element[S, 491]], y(Element[S, 491]), Element[S, 491])
A492 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 492]]], log(sqrt(1 + 492)) / log(2), Element[S, 492]], y(Element[S, 492]), Element[S, 492])
A493 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 493]]], log(sqrt(1 + 493)) / log(2), Element[S, 493]], y(Element[S, 493]), Element[S, 493])
A494 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 494]]], log(sqrt(1 + 494)) / log(2), Element[S, 494]], y(Element[S, 494]), Element[S, 494])
A495 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 495]]], log(sqrt(1 + 495)) / log(2), Element[S, 495]], y(Element[S, 495]), Element[S, 495])
A496 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 496]]], log(sqrt(1 + 496)) / log(2), Element[S, 496]], y(Element[S, 496]), Element[S, 496])
A497 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 497]]], log(sqrt(1 + 497)) / log(2), Element[S, 497]], y(Element[S, 497]), Element[S, 497])
A498 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 498]]], log(sqrt(1 + 498)) / log(2), Element[S, 498]], y(Element[S, 498]), Element[S, 498])
A499 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 499]]], log(sqrt(1 + 499)) / log(2), Element[S, 499]], y(Element[S, 499]), Element[S, 499])
A500 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 500]]], log(sqrt(1 + 500)) / log(2), Element[S, 500]], y(Element[S, 500]), Element[S, 500])
A501 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 501]]], log(sqrt(1 + 501)) / log(2), Element[S, 501]], y(Element[S, 501]), Element[S, 501])
A502 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 502]]], log(sqrt(1 + 502)) / log(2), Element[S, 502]], y(Element[S, 502]), Element[S, 502])
A503 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 503]]], log(sqrt(1 + 503)) / log(2), Element[S, 503]], y(Element[S, 503]), Element[S, 503])
A504 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 504]]], log(sqrt(1 + 504)) / log(2), Element[S, 504]], y(Element[S, 504]), Element[S, 504])
A505 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 505]]], log(sqrt(1 + 505)) / log(2), Element[S, 505]], y(Element[S, 505]), Element[S, 505])
A506 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 506]]], log(sqrt(1 + 506)) / log(2), Element[S, 506]], y(Element[S, 506]), Element[S, 506])
A507 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 507]]], log(sqrt(1 + 507)) / log(2), Element[S, 507]], y(Element[S, 507]), Element[S, 507])
A508 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 508]]], log(sqrt(1 + 508)) / log(2), Element[S, 508]], y(Element[S, 508]), Element[S, 508])
A509 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 509]]], log(sqrt(1 + 509)) / log(2), Element[S, 509]], y(Element[S, 509]), Element[S, 509])
A510 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 510]]], log(sqrt(1 + 510)) / log(2), Element[S, 510]], y(Element[S, 510]), Element[S, 510])
A511 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 511]]], log(sqrt(1 + 511)) / log(2), Element[S, 511]], y(Element[S, 511]), Element[S, 511])
A512 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 512]]], log(sqrt(1 + 512)) / log(2), Element[S, 512]], y(Element[S, 512]), Element[S, 512])
A513 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 513]]], log(sqrt(1 + 513)) / log(2), Element[S, 513]], y(Element[S, 513]), Element[S, 513])
A514 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 514]]], log(sqrt(1 + 514)) / log(2), Element[S, 514]], y(Element[S, 514]), Element[S, 514])
A515 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 515]]], log(sqrt(1 + 515)) / log(2), Element[S, 515]], y(Element[S, 515]), Element[S, 515])
A516 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 516]]], log(sqrt(1 + 516)) / log(2), Element[S, 516]], y(Element[S, 516]), Element[S, 516])
A517 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 517]]], log(sqrt(1 + 517)) / log(2), Element[S, 517]], y(Element[S, 517]), Element[S, 517])
A518 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 518]]], log(sqrt(1 + 518)) / log(2), Element[S, 518]], y(Element[S, 518]), Element[S, 518])
A519 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 519]]], log(sqrt(1 + 519)) / log(2), Element[S, 519]], y(Element[S, 519]), Element[S, 519])
A520 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 520]]], log(sqrt(1 + 520)) / log(2), Element[S, 520]], y(Element[S, 520]), Element[S, 520])
A521 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 521]]], log(sqrt(1 + 521)) / log(2), Element[S, 521]], y(Element[S, 521]), Element[S, 521])
A522 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 522]]], log(sqrt(1 + 522)) / log(2), Element[S, 522]], y(Element[S, 522]), Element[S, 522])
A523 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 523]]], log(sqrt(1 + 523)) / log(2), Element[S, 523]], y(Element[S, 523]), Element[S, 523])
A524 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 524]]], log(sqrt(1 + 524)) / log(2), Element[S, 524]], y(Element[S, 524]), Element[S, 524])
A525 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 525]]], log(sqrt(1 + 525)) / log(2), Element[S, 525]], y(Element[S, 525]), Element[S, 525])
A526 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 526]]], log(sqrt(1 + 526)) / log(2), Element[S, 526]], y(Element[S, 526]), Element[S, 526])
A527 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 527]]], log(sqrt(1 + 527)) / log(2), Element[S, 527]], y(Element[S, 527]), Element[S, 527])
A528 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 528]]], log(sqrt(1 + 528)) / log(2), Element[S, 528]], y(Element[S, 528]), Element[S, 528])
A529 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 529]]], log(sqrt(1 + 529)) / log(2), Element[S, 529]], y(Element[S, 529]), Element[S, 529])
A530 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 530]]], log(sqrt(1 + 530)) / log(2), Element[S, 530]], y(Element[S, 530]), Element[S, 530])
A531 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 531]]], log(sqrt(1 + 531)) / log(2), Element[S, 531]], y(Element[S, 531]), Element[S, 531])
A532 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 532]]], log(sqrt(1 + 532)) / log(2), Element[S, 532]], y(Element[S, 532]), Element[S, 532])
A533 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 533]]], log(sqrt(1 + 533)) / log(2), Element[S, 533]], y(Element[S, 533]), Element[S, 533])
A534 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 534]]], log(sqrt(1 + 534)) / log(2), Element[S, 534]], y(Element[S, 534]), Element[S, 534])
A535 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 535]]], log(sqrt(1 + 535)) / log(2), Element[S, 535]], y(Element[S, 535]), Element[S, 535])
A536 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 536]]], log(sqrt(1 + 536)) / log(2), Element[S, 536]], y(Element[S, 536]), Element[S, 536])
A537 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 537]]], log(sqrt(1 + 537)) / log(2), Element[S, 537]], y(Element[S, 537]), Element[S, 537])
A538 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 538]]], log(sqrt(1 + 538)) / log(2), Element[S, 538]], y(Element[S, 538]), Element[S, 538])
A539 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 539]]], log(sqrt(1 + 539)) / log(2), Element[S, 539]], y(Element[S, 539]), Element[S, 539])
A540 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 540]]], log(sqrt(1 + 540)) / log(2), Element[S, 540]], y(Element[S, 540]), Element[S, 540])
A541 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 541]]], log(sqrt(1 + 541)) / log(2), Element[S, 541]], y(Element[S, 541]), Element[S, 541])
A542 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 542]]], log(sqrt(1 + 542)) / log(2), Element[S, 542]], y(Element[S, 542]), Element[S, 542])
A543 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 543]]], log(sqrt(1 + 543)) / log(2), Element[S, 543]], y(Element[S, 543]), Element[S, 543])
A544 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 544]]], log(sqrt(1 + 544)) / log(2), Element[S, 544]], y(Element[S, 544]), Element[S, 544])
A545 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 545]]], log(sqrt(1 + 545)) / log(2), Element[S, 545]], y(Element[S, 545]), Element[S, 545])
A546 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 546]]], log(sqrt(1 + 546)) / log(2), Element[S, 546]], y(Element[S, 546]), Element[S, 546])
A547 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 547]]], log(sqrt(1 + 547)) / log(2), Element[S, 547]], y(Element[S, 547]), Element[S, 547])
A548 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 548]]], log(sqrt(1 + 548)) / log(2), Element[S, 548]], y(Element[S, 548]), Element[S, 548])
A549 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 549]]], log(sqrt(1 + 549)) / log(2), Element[S, 549]], y(Element[S, 549]), Element[S, 549])
A550 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 550]]], log(sqrt(1 + 550)) / log(2), Element[S, 550]], y(Element[S, 550]), Element[S, 550])
A551 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 551]]], log(sqrt(1 + 551)) / log(2), Element[S, 551]], y(Element[S, 551]), Element[S, 551])
A552 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 552]]], log(sqrt(1 + 552)) / log(2), Element[S, 552]], y(Element[S, 552]), Element[S, 552])
A553 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 553]]], log(sqrt(1 + 553)) / log(2), Element[S, 553]], y(Element[S, 553]), Element[S, 553])
A554 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 554]]], log(sqrt(1 + 554)) / log(2), Element[S, 554]], y(Element[S, 554]), Element[S, 554])
A555 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 555]]], log(sqrt(1 + 555)) / log(2), Element[S, 555]], y(Element[S, 555]), Element[S, 555])
A556 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 556]]], log(sqrt(1 + 556)) / log(2), Element[S, 556]], y(Element[S, 556]), Element[S, 556])
A557 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 557]]], log(sqrt(1 + 557)) / log(2), Element[S, 557]], y(Element[S, 557]), Element[S, 557])
A558 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 558]]], log(sqrt(1 + 558)) / log(2), Element[S, 558]], y(Element[S, 558]), Element[S, 558])
A559 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 559]]], log(sqrt(1 + 559)) / log(2), Element[S, 559]], y(Element[S, 559]), Element[S, 559])
A560 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 560]]], log(sqrt(1 + 560)) / log(2), Element[S, 560]], y(Element[S, 560]), Element[S, 560])
A561 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 561]]], log(sqrt(1 + 561)) / log(2), Element[S, 561]], y(Element[S, 561]), Element[S, 561])
A562 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 562]]], log(sqrt(1 + 562)) / log(2), Element[S, 562]], y(Element[S, 562]), Element[S, 562])
A563 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 563]]], log(sqrt(1 + 563)) / log(2), Element[S, 563]], y(Element[S, 563]), Element[S, 563])
A564 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 564]]], log(sqrt(1 + 564)) / log(2), Element[S, 564]], y(Element[S, 564]), Element[S, 564])
A565 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 565]]], log(sqrt(1 + 565)) / log(2), Element[S, 565]], y(Element[S, 565]), Element[S, 565])
A566 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 566]]], log(sqrt(1 + 566)) / log(2), Element[S, 566]], y(Element[S, 566]), Element[S, 566])
A567 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 567]]], log(sqrt(1 + 567)) / log(2), Element[S, 567]], y(Element[S, 567]), Element[S, 567])
A568 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 568]]], log(sqrt(1 + 568)) / log(2), Element[S, 568]], y(Element[S, 568]), Element[S, 568])
A569 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 569]]], log(sqrt(1 + 569)) / log(2), Element[S, 569]], y(Element[S, 569]), Element[S, 569])
A570 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 570]]], log(sqrt(1 + 570)) / log(2), Element[S, 570]], y(Element[S, 570]), Element[S, 570])
A571 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 571]]], log(sqrt(1 + 571)) / log(2), Element[S, 571]], y(Element[S, 571]), Element[S, 571])
A572 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 572]]], log(sqrt(1 + 572)) / log(2), Element[S, 572]], y(Element[S, 572]), Element[S, 572])
A573 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 573]]], log(sqrt(1 + 573)) / log(2), Element[S, 573]], y(Element[S, 573]), Element[S, 573])
A574 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 574]]], log(sqrt(1 + 574)) / log(2), Element[S, 574]], y(Element[S, 574]), Element[S, 574])
A575 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 575]]], log(sqrt(1 + 575)) / log(2), Element[S, 575]], y(Element[S, 575]), Element[S, 575])
A576 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 576]]], log(sqrt(1 + 576)) / log(2), Element[S, 576]], y(Element[S, 576]), Element[S, 576])
A577 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 577]]], log(sqrt(1 + 577)) / log(2), Element[S, 577]], y(Element[S, 577]), Element[S, 577])
A578 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 578]]], log(sqrt(1 + 578)) / log(2), Element[S, 578]], y(Element[S, 578]), Element[S, 578])
A579 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 579]]], log(sqrt(1 + 579)) / log(2), Element[S, 579]], y(Element[S, 579]), Element[S, 579])
A580 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 580]]], log(sqrt(1 + 580)) / log(2), Element[S, 580]], y(Element[S, 580]), Element[S, 580])
A581 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 581]]], log(sqrt(1 + 581)) / log(2), Element[S, 581]], y(Element[S, 581]), Element[S, 581])
A582 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 582]]], log(sqrt(1 + 582)) / log(2), Element[S, 582]], y(Element[S, 582]), Element[S, 582])
A583 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 583]]], log(sqrt(1 + 583)) / log(2), Element[S, 583]], y(Element[S, 583]), Element[S, 583])
A584 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 584]]], log(sqrt(1 + 584)) / log(2), Element[S, 584]], y(Element[S, 584]), Element[S, 584])
A585 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 585]]], log(sqrt(1 + 585)) / log(2), Element[S, 585]], y(Element[S, 585]), Element[S, 585])
A586 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 586]]], log(sqrt(1 + 586)) / log(2), Element[S, 586]], y(Element[S, 586]), Element[S, 586])
A587 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 587]]], log(sqrt(1 + 587)) / log(2), Element[S, 587]], y(Element[S, 587]), Element[S, 587])
A588 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 588]]], log(sqrt(1 + 588)) / log(2), Element[S, 588]], y(Element[S, 588]), Element[S, 588])
A589 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 589]]], log(sqrt(1 + 589)) / log(2), Element[S, 589]], y(Element[S, 589]), Element[S, 589])
A590 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 590]]], log(sqrt(1 + 590)) / log(2), Element[S, 590]], y(Element[S, 590]), Element[S, 590])
A591 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 591]]], log(sqrt(1 + 591)) / log(2), Element[S, 591]], y(Element[S, 591]), Element[S, 591])
A592 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 592]]], log(sqrt(1 + 592)) / log(2), Element[S, 592]], y(Element[S, 592]), Element[S, 592])
A593 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 593]]], log(sqrt(1 + 593)) / log(2), Element[S, 593]], y(Element[S, 593]), Element[S, 593])
A594 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 594]]], log(sqrt(1 + 594)) / log(2), Element[S, 594]], y(Element[S, 594]), Element[S, 594])
A595 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 595]]], log(sqrt(1 + 595)) / log(2), Element[S, 595]], y(Element[S, 595]), Element[S, 595])
A596 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 596]]], log(sqrt(1 + 596)) / log(2), Element[S, 596]], y(Element[S, 596]), Element[S, 596])
A597 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 597]]], log(sqrt(1 + 597)) / log(2), Element[S, 597]], y(Element[S, 597]), Element[S, 597])
A598 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 598]]], log(sqrt(1 + 598)) / log(2), Element[S, 598]], y(Element[S, 598]), Element[S, 598])
A599 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 599]]], log(sqrt(1 + 599)) / log(2), Element[S, 599]], y(Element[S, 599]), Element[S, 599])
A600 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 600]]], log(sqrt(1 + 600)) / log(2), Element[S, 600]], y(Element[S, 600]), Element[S, 600])
A601 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 601]]], log(sqrt(1 + 601)) / log(2), Element[S, 601]], y(Element[S, 601]), Element[S, 601])
A602 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 602]]], log(sqrt(1 + 602)) / log(2), Element[S, 602]], y(Element[S, 602]), Element[S, 602])
A603 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 603]]], log(sqrt(1 + 603)) / log(2), Element[S, 603]], y(Element[S, 603]), Element[S, 603])
A604 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 604]]], log(sqrt(1 + 604)) / log(2), Element[S, 604]], y(Element[S, 604]), Element[S, 604])
A605 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 605]]], log(sqrt(1 + 605)) / log(2), Element[S, 605]], y(Element[S, 605]), Element[S, 605])
A606 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 606]]], log(sqrt(1 + 606)) / log(2), Element[S, 606]], y(Element[S, 606]), Element[S, 606])
A607 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 607]]], log(sqrt(1 + 607)) / log(2), Element[S, 607]], y(Element[S, 607]), Element[S, 607])
A608 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 608]]], log(sqrt(1 + 608)) / log(2), Element[S, 608]], y(Element[S, 608]), Element[S, 608])
A609 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 609]]], log(sqrt(1 + 609)) / log(2), Element[S, 609]], y(Element[S, 609]), Element[S, 609])
A610 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 610]]], log(sqrt(1 + 610)) / log(2), Element[S, 610]], y(Element[S, 610]), Element[S, 610])
A611 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 611]]], log(sqrt(1 + 611)) / log(2), Element[S, 611]], y(Element[S, 611]), Element[S, 611])
A612 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 612]]], log(sqrt(1 + 612)) / log(2), Element[S, 612]], y(Element[S, 612]), Element[S, 612])
A613 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 613]]], log(sqrt(1 + 613)) / log(2), Element[S, 613]], y(Element[S, 613]), Element[S, 613])
A614 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 614]]], log(sqrt(1 + 614)) / log(2), Element[S, 614]], y(Element[S, 614]), Element[S, 614])
A615 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 615]]], log(sqrt(1 + 615)) / log(2), Element[S, 615]], y(Element[S, 615]), Element[S, 615])
A616 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 616]]], log(sqrt(1 + 616)) / log(2), Element[S, 616]], y(Element[S, 616]), Element[S, 616])
A617 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 617]]], log(sqrt(1 + 617)) / log(2), Element[S, 617]], y(Element[S, 617]), Element[S, 617])
A618 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 618]]], log(sqrt(1 + 618)) / log(2), Element[S, 618]], y(Element[S, 618]), Element[S, 618])
A619 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 619]]], log(sqrt(1 + 619)) / log(2), Element[S, 619]], y(Element[S, 619]), Element[S, 619])
A620 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 620]]], log(sqrt(1 + 620)) / log(2), Element[S, 620]], y(Element[S, 620]), Element[S, 620])
A621 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 621]]], log(sqrt(1 + 621)) / log(2), Element[S, 621]], y(Element[S, 621]), Element[S, 621])
A622 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 622]]], log(sqrt(1 + 622)) / log(2), Element[S, 622]], y(Element[S, 622]), Element[S, 622])
A623 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 623]]], log(sqrt(1 + 623)) / log(2), Element[S, 623]], y(Element[S, 623]), Element[S, 623])
A624 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 624]]], log(sqrt(1 + 624)) / log(2), Element[S, 624]], y(Element[S, 624]), Element[S, 624])
A625 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 625]]], log(sqrt(1 + 625)) / log(2), Element[S, 625]], y(Element[S, 625]), Element[S, 625])
A626 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 626]]], log(sqrt(1 + 626)) / log(2), Element[S, 626]], y(Element[S, 626]), Element[S, 626])
A627 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 627]]], log(sqrt(1 + 627)) / log(2), Element[S, 627]], y(Element[S, 627]), Element[S, 627])
A628 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 628]]], log(sqrt(1 + 628)) / log(2), Element[S, 628]], y(Element[S, 628]), Element[S, 628])
A629 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 629]]], log(sqrt(1 + 629)) / log(2), Element[S, 629]], y(Element[S, 629]), Element[S, 629])
A630 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 630]]], log(sqrt(1 + 630)) / log(2), Element[S, 630]], y(Element[S, 630]), Element[S, 630])
A631 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 631]]], log(sqrt(1 + 631)) / log(2), Element[S, 631]], y(Element[S, 631]), Element[S, 631])
A632 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 632]]], log(sqrt(1 + 632)) / log(2), Element[S, 632]], y(Element[S, 632]), Element[S, 632])
A633 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 633]]], log(sqrt(1 + 633)) / log(2), Element[S, 633]], y(Element[S, 633]), Element[S, 633])
A634 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 634]]], log(sqrt(1 + 634)) / log(2), Element[S, 634]], y(Element[S, 634]), Element[S, 634])
A635 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 635]]], log(sqrt(1 + 635)) / log(2), Element[S, 635]], y(Element[S, 635]), Element[S, 635])
A636 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 636]]], log(sqrt(1 + 636)) / log(2), Element[S, 636]], y(Element[S, 636]), Element[S, 636])
A637 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 637]]], log(sqrt(1 + 637)) / log(2), Element[S, 637]], y(Element[S, 637]), Element[S, 637])
A638 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 638]]], log(sqrt(1 + 638)) / log(2), Element[S, 638]], y(Element[S, 638]), Element[S, 638])
A639 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 639]]], log(sqrt(1 + 639)) / log(2), Element[S, 639]], y(Element[S, 639]), Element[S, 639])
A640 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 640]]], log(sqrt(1 + 640)) / log(2), Element[S, 640]], y(Element[S, 640]), Element[S, 640])
A641 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 641]]], log(sqrt(1 + 641)) / log(2), Element[S, 641]], y(Element[S, 641]), Element[S, 641])
A642 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 642]]], log(sqrt(1 + 642)) / log(2), Element[S, 642]], y(Element[S, 642]), Element[S, 642])
A643 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 643]]], log(sqrt(1 + 643)) / log(2), Element[S, 643]], y(Element[S, 643]), Element[S, 643])
A644 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 644]]], log(sqrt(1 + 644)) / log(2), Element[S, 644]], y(Element[S, 644]), Element[S, 644])
A645 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 645]]], log(sqrt(1 + 645)) / log(2), Element[S, 645]], y(Element[S, 645]), Element[S, 645])
A646 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 646]]], log(sqrt(1 + 646)) / log(2), Element[S, 646]], y(Element[S, 646]), Element[S, 646])
A647 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 647]]], log(sqrt(1 + 647)) / log(2), Element[S, 647]], y(Element[S, 647]), Element[S, 647])
A648 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 648]]], log(sqrt(1 + 648)) / log(2), Element[S, 648]], y(Element[S, 648]), Element[S, 648])
A649 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 649]]], log(sqrt(1 + 649)) / log(2), Element[S, 649]], y(Element[S, 649]), Element[S, 649])
A650 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 650]]], log(sqrt(1 + 650)) / log(2), Element[S, 650]], y(Element[S, 650]), Element[S, 650])
A651 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 651]]], log(sqrt(1 + 651)) / log(2), Element[S, 651]], y(Element[S, 651]), Element[S, 651])
A652 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 652]]], log(sqrt(1 + 652)) / log(2), Element[S, 652]], y(Element[S, 652]), Element[S, 652])
A653 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 653]]], log(sqrt(1 + 653)) / log(2), Element[S, 653]], y(Element[S, 653]), Element[S, 653])
A654 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 654]]], log(sqrt(1 + 654)) / log(2), Element[S, 654]], y(Element[S, 654]), Element[S, 654])
A655 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 655]]], log(sqrt(1 + 655)) / log(2), Element[S, 655]], y(Element[S, 655]), Element[S, 655])
A656 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 656]]], log(sqrt(1 + 656)) / log(2), Element[S, 656]], y(Element[S, 656]), Element[S, 656])
A657 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 657]]], log(sqrt(1 + 657)) / log(2), Element[S, 657]], y(Element[S, 657]), Element[S, 657])
A658 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 658]]], log(sqrt(1 + 658)) / log(2), Element[S, 658]], y(Element[S, 658]), Element[S, 658])
A659 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 659]]], log(sqrt(1 + 659)) / log(2), Element[S, 659]], y(Element[S, 659]), Element[S, 659])
A660 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 660]]], log(sqrt(1 + 660)) / log(2), Element[S, 660]], y(Element[S, 660]), Element[S, 660])
A661 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 661]]], log(sqrt(1 + 661)) / log(2), Element[S, 661]], y(Element[S, 661]), Element[S, 661])
A662 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 662]]], log(sqrt(1 + 662)) / log(2), Element[S, 662]], y(Element[S, 662]), Element[S, 662])
A663 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 663]]], log(sqrt(1 + 663)) / log(2), Element[S, 663]], y(Element[S, 663]), Element[S, 663])
A664 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 664]]], log(sqrt(1 + 664)) / log(2), Element[S, 664]], y(Element[S, 664]), Element[S, 664])
A665 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 665]]], log(sqrt(1 + 665)) / log(2), Element[S, 665]], y(Element[S, 665]), Element[S, 665])
A666 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 666]]], log(sqrt(1 + 666)) / log(2), Element[S, 666]], y(Element[S, 666]), Element[S, 666])
A667 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 667]]], log(sqrt(1 + 667)) / log(2), Element[S, 667]], y(Element[S, 667]), Element[S, 667])
A668 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 668]]], log(sqrt(1 + 668)) / log(2), Element[S, 668]], y(Element[S, 668]), Element[S, 668])
A669 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 669]]], log(sqrt(1 + 669)) / log(2), Element[S, 669]], y(Element[S, 669]), Element[S, 669])
A670 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 670]]], log(sqrt(1 + 670)) / log(2), Element[S, 670]], y(Element[S, 670]), Element[S, 670])
A671 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 671]]], log(sqrt(1 + 671)) / log(2), Element[S, 671]], y(Element[S, 671]), Element[S, 671])
A672 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 672]]], log(sqrt(1 + 672)) / log(2), Element[S, 672]], y(Element[S, 672]), Element[S, 672])
A673 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 673]]], log(sqrt(1 + 673)) / log(2), Element[S, 673]], y(Element[S, 673]), Element[S, 673])
A674 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 674]]], log(sqrt(1 + 674)) / log(2), Element[S, 674]], y(Element[S, 674]), Element[S, 674])
A675 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 675]]], log(sqrt(1 + 675)) / log(2), Element[S, 675]], y(Element[S, 675]), Element[S, 675])
A676 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 676]]], log(sqrt(1 + 676)) / log(2), Element[S, 676]], y(Element[S, 676]), Element[S, 676])
A677 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 677]]], log(sqrt(1 + 677)) / log(2), Element[S, 677]], y(Element[S, 677]), Element[S, 677])
A678 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 678]]], log(sqrt(1 + 678)) / log(2), Element[S, 678]], y(Element[S, 678]), Element[S, 678])
A679 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 679]]], log(sqrt(1 + 679)) / log(2), Element[S, 679]], y(Element[S, 679]), Element[S, 679])
A680 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 680]]], log(sqrt(1 + 680)) / log(2), Element[S, 680]], y(Element[S, 680]), Element[S, 680])
A681 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 681]]], log(sqrt(1 + 681)) / log(2), Element[S, 681]], y(Element[S, 681]), Element[S, 681])
A682 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 682]]], log(sqrt(1 + 682)) / log(2), Element[S, 682]], y(Element[S, 682]), Element[S, 682])
A683 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 683]]], log(sqrt(1 + 683)) / log(2), Element[S, 683]], y(Element[S, 683]), Element[S, 683])
A684 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 684]]], log(sqrt(1 + 684)) / log(2), Element[S, 684]], y(Element[S, 684]), Element[S, 684])
A685 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 685]]], log(sqrt(1 + 685)) / log(2), Element[S, 685]], y(Element[S, 685]), Element[S, 685])
A686 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 686]]], log(sqrt(1 + 686)) / log(2), Element[S, 686]], y(Element[S, 686]), Element[S, 686])
A687 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 687]]], log(sqrt(1 + 687)) / log(2), Element[S, 687]], y(Element[S, 687]), Element[S, 687])
A688 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 688]]], log(sqrt(1 + 688)) / log(2), Element[S, 688]], y(Element[S, 688]), Element[S, 688])
A689 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 689]]], log(sqrt(1 + 689)) / log(2), Element[S, 689]], y(Element[S, 689]), Element[S, 689])
A690 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 690]]], log(sqrt(1 + 690)) / log(2), Element[S, 690]], y(Element[S, 690]), Element[S, 690])
A691 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 691]]], log(sqrt(1 + 691)) / log(2), Element[S, 691]], y(Element[S, 691]), Element[S, 691])
A692 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 692]]], log(sqrt(1 + 692)) / log(2), Element[S, 692]], y(Element[S, 692]), Element[S, 692])
A693 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 693]]], log(sqrt(1 + 693)) / log(2), Element[S, 693]], y(Element[S, 693]), Element[S, 693])
A694 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 694]]], log(sqrt(1 + 694)) / log(2), Element[S, 694]], y(Element[S, 694]), Element[S, 694])
A695 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 695]]], log(sqrt(1 + 695)) / log(2), Element[S, 695]], y(Element[S, 695]), Element[S, 695])
A696 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 696]]], log(sqrt(1 + 696)) / log(2), Element[S, 696]], y(Element[S, 696]), Element[S, 696])
A697 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 697]]], log(sqrt(1 + 697)) / log(2), Element[S, 697]], y(Element[S, 697]), Element[S, 697])
A698 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 698]]], log(sqrt(1 + 698)) / log(2), Element[S, 698]], y(Element[S, 698]), Element[S, 698])
A699 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 699]]], log(sqrt(1 + 699)) / log(2), Element[S, 699]], y(Element[S, 699]), Element[S, 699])
A700 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 700]]], log(sqrt(1 + 700)) / log(2), Element[S, 700]], y(Element[S, 700]), Element[S, 700])
A701 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 701]]], log(sqrt(1 + 701)) / log(2), Element[S, 701]], y(Element[S, 701]), Element[S, 701])
A702 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 702]]], log(sqrt(1 + 702)) / log(2), Element[S, 702]], y(Element[S, 702]), Element[S, 702])
A703 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 703]]], log(sqrt(1 + 703)) / log(2), Element[S, 703]], y(Element[S, 703]), Element[S, 703])
A704 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 704]]], log(sqrt(1 + 704)) / log(2), Element[S, 704]], y(Element[S, 704]), Element[S, 704])
A705 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 705]]], log(sqrt(1 + 705)) / log(2), Element[S, 705]], y(Element[S, 705]), Element[S, 705])
A706 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 706]]], log(sqrt(1 + 706)) / log(2), Element[S, 706]], y(Element[S, 706]), Element[S, 706])
A707 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 707]]], log(sqrt(1 + 707)) / log(2), Element[S, 707]], y(Element[S, 707]), Element[S, 707])
A708 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 708]]], log(sqrt(1 + 708)) / log(2), Element[S, 708]], y(Element[S, 708]), Element[S, 708])
A709 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 709]]], log(sqrt(1 + 709)) / log(2), Element[S, 709]], y(Element[S, 709]), Element[S, 709])
A710 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 710]]], log(sqrt(1 + 710)) / log(2), Element[S, 710]], y(Element[S, 710]), Element[S, 710])
A711 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 711]]], log(sqrt(1 + 711)) / log(2), Element[S, 711]], y(Element[S, 711]), Element[S, 711])
A712 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 712]]], log(sqrt(1 + 712)) / log(2), Element[S, 712]], y(Element[S, 712]), Element[S, 712])
A713 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 713]]], log(sqrt(1 + 713)) / log(2), Element[S, 713]], y(Element[S, 713]), Element[S, 713])
A714 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 714]]], log(sqrt(1 + 714)) / log(2), Element[S, 714]], y(Element[S, 714]), Element[S, 714])
A715 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 715]]], log(sqrt(1 + 715)) / log(2), Element[S, 715]], y(Element[S, 715]), Element[S, 715])
A716 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 716]]], log(sqrt(1 + 716)) / log(2), Element[S, 716]], y(Element[S, 716]), Element[S, 716])
A717 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 717]]], log(sqrt(1 + 717)) / log(2), Element[S, 717]], y(Element[S, 717]), Element[S, 717])
A718 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 718]]], log(sqrt(1 + 718)) / log(2), Element[S, 718]], y(Element[S, 718]), Element[S, 718])
A719 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 719]]], log(sqrt(1 + 719)) / log(2), Element[S, 719]], y(Element[S, 719]), Element[S, 719])
A720 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 720]]], log(sqrt(1 + 720)) / log(2), Element[S, 720]], y(Element[S, 720]), Element[S, 720])
A721 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 721]]], log(sqrt(1 + 721)) / log(2), Element[S, 721]], y(Element[S, 721]), Element[S, 721])
A722 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 722]]], log(sqrt(1 + 722)) / log(2), Element[S, 722]], y(Element[S, 722]), Element[S, 722])
A723 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 723]]], log(sqrt(1 + 723)) / log(2), Element[S, 723]], y(Element[S, 723]), Element[S, 723])
A724 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 724]]], log(sqrt(1 + 724)) / log(2), Element[S, 724]], y(Element[S, 724]), Element[S, 724])
A725 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 725]]], log(sqrt(1 + 725)) / log(2), Element[S, 725]], y(Element[S, 725]), Element[S, 725])
A726 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 726]]], log(sqrt(1 + 726)) / log(2), Element[S, 726]], y(Element[S, 726]), Element[S, 726])
A727 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 727]]], log(sqrt(1 + 727)) / log(2), Element[S, 727]], y(Element[S, 727]), Element[S, 727])
A728 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 728]]], log(sqrt(1 + 728)) / log(2), Element[S, 728]], y(Element[S, 728]), Element[S, 728])
A729 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 729]]], log(sqrt(1 + 729)) / log(2), Element[S, 729]], y(Element[S, 729]), Element[S, 729])
A730 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 730]]], log(sqrt(1 + 730)) / log(2), Element[S, 730]], y(Element[S, 730]), Element[S, 730])
A731 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 731]]], log(sqrt(1 + 731)) / log(2), Element[S, 731]], y(Element[S, 731]), Element[S, 731])
A732 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 732]]], log(sqrt(1 + 732)) / log(2), Element[S, 732]], y(Element[S, 732]), Element[S, 732])
A733 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 733]]], log(sqrt(1 + 733)) / log(2), Element[S, 733]], y(Element[S, 733]), Element[S, 733])
A734 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 734]]], log(sqrt(1 + 734)) / log(2), Element[S, 734]], y(Element[S, 734]), Element[S, 734])
A735 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 735]]], log(sqrt(1 + 735)) / log(2), Element[S, 735]], y(Element[S, 735]), Element[S, 735])
A736 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 736]]], log(sqrt(1 + 736)) / log(2), Element[S, 736]], y(Element[S, 736]), Element[S, 736])
A737 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 737]]], log(sqrt(1 + 737)) / log(2), Element[S, 737]], y(Element[S, 737]), Element[S, 737])
A738 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 738]]], log(sqrt(1 + 738)) / log(2), Element[S, 738]], y(Element[S, 738]), Element[S, 738])
A739 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 739]]], log(sqrt(1 + 739)) / log(2), Element[S, 739]], y(Element[S, 739]), Element[S, 739])
A740 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 740]]], log(sqrt(1 + 740)) / log(2), Element[S, 740]], y(Element[S, 740]), Element[S, 740])
A741 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 741]]], log(sqrt(1 + 741)) / log(2), Element[S, 741]], y(Element[S, 741]), Element[S, 741])
A742 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 742]]], log(sqrt(1 + 742)) / log(2), Element[S, 742]], y(Element[S, 742]), Element[S, 742])
A743 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 743]]], log(sqrt(1 + 743)) / log(2), Element[S, 743]], y(Element[S, 743]), Element[S, 743])
A744 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 744]]], log(sqrt(1 + 744)) / log(2), Element[S, 744]], y(Element[S, 744]), Element[S, 744])
A745 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 745]]], log(sqrt(1 + 745)) / log(2), Element[S, 745]], y(Element[S, 745]), Element[S, 745])
A746 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 746]]], log(sqrt(1 + 746)) / log(2), Element[S, 746]], y(Element[S, 746]), Element[S, 746])
A747 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 747]]], log(sqrt(1 + 747)) / log(2), Element[S, 747]], y(Element[S, 747]), Element[S, 747])
A748 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 748]]], log(sqrt(1 + 748)) / log(2), Element[S, 748]], y(Element[S, 748]), Element[S, 748])
A749 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 749]]], log(sqrt(1 + 749)) / log(2), Element[S, 749]], y(Element[S, 749]), Element[S, 749])
A750 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 750]]], log(sqrt(1 + 750)) / log(2), Element[S, 750]], y(Element[S, 750]), Element[S, 750])
A751 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 751]]], log(sqrt(1 + 751)) / log(2), Element[S, 751]], y(Element[S, 751]), Element[S, 751])
A752 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 752]]], log(sqrt(1 + 752)) / log(2), Element[S, 752]], y(Element[S, 752]), Element[S, 752])
A753 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 753]]], log(sqrt(1 + 753)) / log(2), Element[S, 753]], y(Element[S, 753]), Element[S, 753])
A754 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 754]]], log(sqrt(1 + 754)) / log(2), Element[S, 754]], y(Element[S, 754]), Element[S, 754])
A755 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 755]]], log(sqrt(1 + 755)) / log(2), Element[S, 755]], y(Element[S, 755]), Element[S, 755])
A756 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 756]]], log(sqrt(1 + 756)) / log(2), Element[S, 756]], y(Element[S, 756]), Element[S, 756])
A757 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 757]]], log(sqrt(1 + 757)) / log(2), Element[S, 757]], y(Element[S, 757]), Element[S, 757])
A758 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 758]]], log(sqrt(1 + 758)) / log(2), Element[S, 758]], y(Element[S, 758]), Element[S, 758])
A759 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 759]]], log(sqrt(1 + 759)) / log(2), Element[S, 759]], y(Element[S, 759]), Element[S, 759])
A760 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 760]]], log(sqrt(1 + 760)) / log(2), Element[S, 760]], y(Element[S, 760]), Element[S, 760])
A761 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 761]]], log(sqrt(1 + 761)) / log(2), Element[S, 761]], y(Element[S, 761]), Element[S, 761])
A762 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 762]]], log(sqrt(1 + 762)) / log(2), Element[S, 762]], y(Element[S, 762]), Element[S, 762])
A763 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 763]]], log(sqrt(1 + 763)) / log(2), Element[S, 763]], y(Element[S, 763]), Element[S, 763])
A764 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 764]]], log(sqrt(1 + 764)) / log(2), Element[S, 764]], y(Element[S, 764]), Element[S, 764])
A765 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 765]]], log(sqrt(1 + 765)) / log(2), Element[S, 765]], y(Element[S, 765]), Element[S, 765])
A766 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 766]]], log(sqrt(1 + 766)) / log(2), Element[S, 766]], y(Element[S, 766]), Element[S, 766])
A767 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 767]]], log(sqrt(1 + 767)) / log(2), Element[S, 767]], y(Element[S, 767]), Element[S, 767])
A768 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 768]]], log(sqrt(1 + 768)) / log(2), Element[S, 768]], y(Element[S, 768]), Element[S, 768])
A769 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 769]]], log(sqrt(1 + 769)) / log(2), Element[S, 769]], y(Element[S, 769]), Element[S, 769])
A770 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 770]]], log(sqrt(1 + 770)) / log(2), Element[S, 770]], y(Element[S, 770]), Element[S, 770])
A771 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 771]]], log(sqrt(1 + 771)) / log(2), Element[S, 771]], y(Element[S, 771]), Element[S, 771])
A772 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 772]]], log(sqrt(1 + 772)) / log(2), Element[S, 772]], y(Element[S, 772]), Element[S, 772])
A773 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 773]]], log(sqrt(1 + 773)) / log(2), Element[S, 773]], y(Element[S, 773]), Element[S, 773])
A774 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 774]]], log(sqrt(1 + 774)) / log(2), Element[S, 774]], y(Element[S, 774]), Element[S, 774])
A775 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 775]]], log(sqrt(1 + 775)) / log(2), Element[S, 775]], y(Element[S, 775]), Element[S, 775])
A776 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 776]]], log(sqrt(1 + 776)) / log(2), Element[S, 776]], y(Element[S, 776]), Element[S, 776])
A777 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 777]]], log(sqrt(1 + 777)) / log(2), Element[S, 777]], y(Element[S, 777]), Element[S, 777])
A778 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 778]]], log(sqrt(1 + 778)) / log(2), Element[S, 778]], y(Element[S, 778]), Element[S, 778])
A779 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 779]]], log(sqrt(1 + 779)) / log(2), Element[S, 779]], y(Element[S, 779]), Element[S, 779])
A780 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 780]]], log(sqrt(1 + 780)) / log(2), Element[S, 780]], y(Element[S, 780]), Element[S, 780])
A781 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 781]]], log(sqrt(1 + 781)) / log(2), Element[S, 781]], y(Element[S, 781]), Element[S, 781])
A782 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 782]]], log(sqrt(1 + 782)) / log(2), Element[S, 782]], y(Element[S, 782]), Element[S, 782])
A783 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 783]]], log(sqrt(1 + 783)) / log(2), Element[S, 783]], y(Element[S, 783]), Element[S, 783])
A784 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 784]]], log(sqrt(1 + 784)) / log(2), Element[S, 784]], y(Element[S, 784]), Element[S, 784])
A785 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 785]]], log(sqrt(1 + 785)) / log(2), Element[S, 785]], y(Element[S, 785]), Element[S, 785])
A786 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 786]]], log(sqrt(1 + 786)) / log(2), Element[S, 786]], y(Element[S, 786]), Element[S, 786])
A787 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 787]]], log(sqrt(1 + 787)) / log(2), Element[S, 787]], y(Element[S, 787]), Element[S, 787])
A788 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 788]]], log(sqrt(1 + 788)) / log(2), Element[S, 788]], y(Element[S, 788]), Element[S, 788])
A789 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 789]]], log(sqrt(1 + 789)) / log(2), Element[S, 789]], y(Element[S, 789]), Element[S, 789])
A790 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 790]]], log(sqrt(1 + 790)) / log(2), Element[S, 790]], y(Element[S, 790]), Element[S, 790])
A791 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 791]]], log(sqrt(1 + 791)) / log(2), Element[S, 791]], y(Element[S, 791]), Element[S, 791])
A792 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 792]]], log(sqrt(1 + 792)) / log(2), Element[S, 792]], y(Element[S, 792]), Element[S, 792])
A793 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 793]]], log(sqrt(1 + 793)) / log(2), Element[S, 793]], y(Element[S, 793]), Element[S, 793])
A794 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 794]]], log(sqrt(1 + 794)) / log(2), Element[S, 794]], y(Element[S, 794]), Element[S, 794])
A795 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 795]]], log(sqrt(1 + 795)) / log(2), Element[S, 795]], y(Element[S, 795]), Element[S, 795])
A796 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 796]]], log(sqrt(1 + 796)) / log(2), Element[S, 796]], y(Element[S, 796]), Element[S, 796])
A797 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 797]]], log(sqrt(1 + 797)) / log(2), Element[S, 797]], y(Element[S, 797]), Element[S, 797])
A798 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 798]]], log(sqrt(1 + 798)) / log(2), Element[S, 798]], y(Element[S, 798]), Element[S, 798])
A799 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 799]]], log(sqrt(1 + 799)) / log(2), Element[S, 799]], y(Element[S, 799]), Element[S, 799])
A800 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 800]]], log(sqrt(1 + 800)) / log(2), Element[S, 800]], y(Element[S, 800]), Element[S, 800])
A801 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 801]]], log(sqrt(1 + 801)) / log(2), Element[S, 801]], y(Element[S, 801]), Element[S, 801])
A802 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 802]]], log(sqrt(1 + 802)) / log(2), Element[S, 802]], y(Element[S, 802]), Element[S, 802])
A803 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 803]]], log(sqrt(1 + 803)) / log(2), Element[S, 803]], y(Element[S, 803]), Element[S, 803])
A804 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 804]]], log(sqrt(1 + 804)) / log(2), Element[S, 804]], y(Element[S, 804]), Element[S, 804])
A805 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 805]]], log(sqrt(1 + 805)) / log(2), Element[S, 805]], y(Element[S, 805]), Element[S, 805])
A806 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 806]]], log(sqrt(1 + 806)) / log(2), Element[S, 806]], y(Element[S, 806]), Element[S, 806])
A807 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 807]]], log(sqrt(1 + 807)) / log(2), Element[S, 807]], y(Element[S, 807]), Element[S, 807])
A808 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 808]]], log(sqrt(1 + 808)) / log(2), Element[S, 808]], y(Element[S, 808]), Element[S, 808])
A809 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 809]]], log(sqrt(1 + 809)) / log(2), Element[S, 809]], y(Element[S, 809]), Element[S, 809])
A810 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 810]]], log(sqrt(1 + 810)) / log(2), Element[S, 810]], y(Element[S, 810]), Element[S, 810])
A811 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 811]]], log(sqrt(1 + 811)) / log(2), Element[S, 811]], y(Element[S, 811]), Element[S, 811])
A812 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 812]]], log(sqrt(1 + 812)) / log(2), Element[S, 812]], y(Element[S, 812]), Element[S, 812])
A813 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 813]]], log(sqrt(1 + 813)) / log(2), Element[S, 813]], y(Element[S, 813]), Element[S, 813])
A814 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 814]]], log(sqrt(1 + 814)) / log(2), Element[S, 814]], y(Element[S, 814]), Element[S, 814])
A815 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 815]]], log(sqrt(1 + 815)) / log(2), Element[S, 815]], y(Element[S, 815]), Element[S, 815])
A816 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 816]]], log(sqrt(1 + 816)) / log(2), Element[S, 816]], y(Element[S, 816]), Element[S, 816])
A817 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 817]]], log(sqrt(1 + 817)) / log(2), Element[S, 817]], y(Element[S, 817]), Element[S, 817])
A818 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 818]]], log(sqrt(1 + 818)) / log(2), Element[S, 818]], y(Element[S, 818]), Element[S, 818])
A819 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 819]]], log(sqrt(1 + 819)) / log(2), Element[S, 819]], y(Element[S, 819]), Element[S, 819])
A820 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 820]]], log(sqrt(1 + 820)) / log(2), Element[S, 820]], y(Element[S, 820]), Element[S, 820])
A821 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 821]]], log(sqrt(1 + 821)) / log(2), Element[S, 821]], y(Element[S, 821]), Element[S, 821])
A822 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 822]]], log(sqrt(1 + 822)) / log(2), Element[S, 822]], y(Element[S, 822]), Element[S, 822])
A823 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 823]]], log(sqrt(1 + 823)) / log(2), Element[S, 823]], y(Element[S, 823]), Element[S, 823])
A824 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 824]]], log(sqrt(1 + 824)) / log(2), Element[S, 824]], y(Element[S, 824]), Element[S, 824])
A825 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 825]]], log(sqrt(1 + 825)) / log(2), Element[S, 825]], y(Element[S, 825]), Element[S, 825])
A826 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 826]]], log(sqrt(1 + 826)) / log(2), Element[S, 826]], y(Element[S, 826]), Element[S, 826])
A827 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 827]]], log(sqrt(1 + 827)) / log(2), Element[S, 827]], y(Element[S, 827]), Element[S, 827])
A828 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 828]]], log(sqrt(1 + 828)) / log(2), Element[S, 828]], y(Element[S, 828]), Element[S, 828])
A829 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 829]]], log(sqrt(1 + 829)) / log(2), Element[S, 829]], y(Element[S, 829]), Element[S, 829])
A830 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 830]]], log(sqrt(1 + 830)) / log(2), Element[S, 830]], y(Element[S, 830]), Element[S, 830])
A831 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 831]]], log(sqrt(1 + 831)) / log(2), Element[S, 831]], y(Element[S, 831]), Element[S, 831])
A832 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 832]]], log(sqrt(1 + 832)) / log(2), Element[S, 832]], y(Element[S, 832]), Element[S, 832])
A833 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 833]]], log(sqrt(1 + 833)) / log(2), Element[S, 833]], y(Element[S, 833]), Element[S, 833])
A834 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 834]]], log(sqrt(1 + 834)) / log(2), Element[S, 834]], y(Element[S, 834]), Element[S, 834])
A835 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 835]]], log(sqrt(1 + 835)) / log(2), Element[S, 835]], y(Element[S, 835]), Element[S, 835])
A836 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 836]]], log(sqrt(1 + 836)) / log(2), Element[S, 836]], y(Element[S, 836]), Element[S, 836])
A837 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 837]]], log(sqrt(1 + 837)) / log(2), Element[S, 837]], y(Element[S, 837]), Element[S, 837])
A838 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 838]]], log(sqrt(1 + 838)) / log(2), Element[S, 838]], y(Element[S, 838]), Element[S, 838])
A839 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 839]]], log(sqrt(1 + 839)) / log(2), Element[S, 839]], y(Element[S, 839]), Element[S, 839])
A840 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 840]]], log(sqrt(1 + 840)) / log(2), Element[S, 840]], y(Element[S, 840]), Element[S, 840])
A841 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 841]]], log(sqrt(1 + 841)) / log(2), Element[S, 841]], y(Element[S, 841]), Element[S, 841])
A842 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 842]]], log(sqrt(1 + 842)) / log(2), Element[S, 842]], y(Element[S, 842]), Element[S, 842])
A843 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 843]]], log(sqrt(1 + 843)) / log(2), Element[S, 843]], y(Element[S, 843]), Element[S, 843])
A844 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 844]]], log(sqrt(1 + 844)) / log(2), Element[S, 844]], y(Element[S, 844]), Element[S, 844])
A845 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 845]]], log(sqrt(1 + 845)) / log(2), Element[S, 845]], y(Element[S, 845]), Element[S, 845])
A846 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 846]]], log(sqrt(1 + 846)) / log(2), Element[S, 846]], y(Element[S, 846]), Element[S, 846])
A847 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 847]]], log(sqrt(1 + 847)) / log(2), Element[S, 847]], y(Element[S, 847]), Element[S, 847])
A848 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 848]]], log(sqrt(1 + 848)) / log(2), Element[S, 848]], y(Element[S, 848]), Element[S, 848])
A849 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 849]]], log(sqrt(1 + 849)) / log(2), Element[S, 849]], y(Element[S, 849]), Element[S, 849])
A850 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 850]]], log(sqrt(1 + 850)) / log(2), Element[S, 850]], y(Element[S, 850]), Element[S, 850])
A851 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 851]]], log(sqrt(1 + 851)) / log(2), Element[S, 851]], y(Element[S, 851]), Element[S, 851])
A852 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 852]]], log(sqrt(1 + 852)) / log(2), Element[S, 852]], y(Element[S, 852]), Element[S, 852])
A853 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 853]]], log(sqrt(1 + 853)) / log(2), Element[S, 853]], y(Element[S, 853]), Element[S, 853])
A854 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 854]]], log(sqrt(1 + 854)) / log(2), Element[S, 854]], y(Element[S, 854]), Element[S, 854])
A855 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 855]]], log(sqrt(1 + 855)) / log(2), Element[S, 855]], y(Element[S, 855]), Element[S, 855])
A856 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 856]]], log(sqrt(1 + 856)) / log(2), Element[S, 856]], y(Element[S, 856]), Element[S, 856])
A857 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 857]]], log(sqrt(1 + 857)) / log(2), Element[S, 857]], y(Element[S, 857]), Element[S, 857])
A858 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 858]]], log(sqrt(1 + 858)) / log(2), Element[S, 858]], y(Element[S, 858]), Element[S, 858])
A859 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 859]]], log(sqrt(1 + 859)) / log(2), Element[S, 859]], y(Element[S, 859]), Element[S, 859])
A860 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 860]]], log(sqrt(1 + 860)) / log(2), Element[S, 860]], y(Element[S, 860]), Element[S, 860])
A861 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 861]]], log(sqrt(1 + 861)) / log(2), Element[S, 861]], y(Element[S, 861]), Element[S, 861])
A862 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 862]]], log(sqrt(1 + 862)) / log(2), Element[S, 862]], y(Element[S, 862]), Element[S, 862])
A863 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 863]]], log(sqrt(1 + 863)) / log(2), Element[S, 863]], y(Element[S, 863]), Element[S, 863])
A864 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 864]]], log(sqrt(1 + 864)) / log(2), Element[S, 864]], y(Element[S, 864]), Element[S, 864])
A865 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 865]]], log(sqrt(1 + 865)) / log(2), Element[S, 865]], y(Element[S, 865]), Element[S, 865])
A866 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 866]]], log(sqrt(1 + 866)) / log(2), Element[S, 866]], y(Element[S, 866]), Element[S, 866])
A867 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 867]]], log(sqrt(1 + 867)) / log(2), Element[S, 867]], y(Element[S, 867]), Element[S, 867])
A868 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 868]]], log(sqrt(1 + 868)) / log(2), Element[S, 868]], y(Element[S, 868]), Element[S, 868])
A869 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 869]]], log(sqrt(1 + 869)) / log(2), Element[S, 869]], y(Element[S, 869]), Element[S, 869])
A870 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 870]]], log(sqrt(1 + 870)) / log(2), Element[S, 870]], y(Element[S, 870]), Element[S, 870])
A871 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 871]]], log(sqrt(1 + 871)) / log(2), Element[S, 871]], y(Element[S, 871]), Element[S, 871])
A872 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 872]]], log(sqrt(1 + 872)) / log(2), Element[S, 872]], y(Element[S, 872]), Element[S, 872])
A873 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 873]]], log(sqrt(1 + 873)) / log(2), Element[S, 873]], y(Element[S, 873]), Element[S, 873])
A874 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 874]]], log(sqrt(1 + 874)) / log(2), Element[S, 874]], y(Element[S, 874]), Element[S, 874])
A875 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 875]]], log(sqrt(1 + 875)) / log(2), Element[S, 875]], y(Element[S, 875]), Element[S, 875])
A876 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 876]]], log(sqrt(1 + 876)) / log(2), Element[S, 876]], y(Element[S, 876]), Element[S, 876])
A877 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 877]]], log(sqrt(1 + 877)) / log(2), Element[S, 877]], y(Element[S, 877]), Element[S, 877])
A878 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 878]]], log(sqrt(1 + 878)) / log(2), Element[S, 878]], y(Element[S, 878]), Element[S, 878])
A879 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 879]]], log(sqrt(1 + 879)) / log(2), Element[S, 879]], y(Element[S, 879]), Element[S, 879])
A880 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 880]]], log(sqrt(1 + 880)) / log(2), Element[S, 880]], y(Element[S, 880]), Element[S, 880])
A881 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 881]]], log(sqrt(1 + 881)) / log(2), Element[S, 881]], y(Element[S, 881]), Element[S, 881])
A882 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 882]]], log(sqrt(1 + 882)) / log(2), Element[S, 882]], y(Element[S, 882]), Element[S, 882])
A883 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 883]]], log(sqrt(1 + 883)) / log(2), Element[S, 883]], y(Element[S, 883]), Element[S, 883])
A884 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 884]]], log(sqrt(1 + 884)) / log(2), Element[S, 884]], y(Element[S, 884]), Element[S, 884])
A885 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 885]]], log(sqrt(1 + 885)) / log(2), Element[S, 885]], y(Element[S, 885]), Element[S, 885])
A886 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 886]]], log(sqrt(1 + 886)) / log(2), Element[S, 886]], y(Element[S, 886]), Element[S, 886])
A887 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 887]]], log(sqrt(1 + 887)) / log(2), Element[S, 887]], y(Element[S, 887]), Element[S, 887])
A888 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 888]]], log(sqrt(1 + 888)) / log(2), Element[S, 888]], y(Element[S, 888]), Element[S, 888])
A889 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 889]]], log(sqrt(1 + 889)) / log(2), Element[S, 889]], y(Element[S, 889]), Element[S, 889])
A890 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 890]]], log(sqrt(1 + 890)) / log(2), Element[S, 890]], y(Element[S, 890]), Element[S, 890])
A891 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 891]]], log(sqrt(1 + 891)) / log(2), Element[S, 891]], y(Element[S, 891]), Element[S, 891])
A892 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 892]]], log(sqrt(1 + 892)) / log(2), Element[S, 892]], y(Element[S, 892]), Element[S, 892])
A893 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 893]]], log(sqrt(1 + 893)) / log(2), Element[S, 893]], y(Element[S, 893]), Element[S, 893])
A894 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 894]]], log(sqrt(1 + 894)) / log(2), Element[S, 894]], y(Element[S, 894]), Element[S, 894])
A895 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 895]]], log(sqrt(1 + 895)) / log(2), Element[S, 895]], y(Element[S, 895]), Element[S, 895])
A896 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 896]]], log(sqrt(1 + 896)) / log(2), Element[S, 896]], y(Element[S, 896]), Element[S, 896])
A897 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 897]]], log(sqrt(1 + 897)) / log(2), Element[S, 897]], y(Element[S, 897]), Element[S, 897])
A898 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 898]]], log(sqrt(1 + 898)) / log(2), Element[S, 898]], y(Element[S, 898]), Element[S, 898])
A899 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 899]]], log(sqrt(1 + 899)) / log(2), Element[S, 899]], y(Element[S, 899]), Element[S, 899])
A900 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 900]]], log(sqrt(1 + 900)) / log(2), Element[S, 900]], y(Element[S, 900]), Element[S, 900])
A901 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 901]]], log(sqrt(1 + 901)) / log(2), Element[S, 901]], y(Element[S, 901]), Element[S, 901])
A902 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 902]]], log(sqrt(1 + 902)) / log(2), Element[S, 902]], y(Element[S, 902]), Element[S, 902])
A903 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 903]]], log(sqrt(1 + 903)) / log(2), Element[S, 903]], y(Element[S, 903]), Element[S, 903])
A904 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 904]]], log(sqrt(1 + 904)) / log(2), Element[S, 904]], y(Element[S, 904]), Element[S, 904])
A905 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 905]]], log(sqrt(1 + 905)) / log(2), Element[S, 905]], y(Element[S, 905]), Element[S, 905])
A906 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 906]]], log(sqrt(1 + 906)) / log(2), Element[S, 906]], y(Element[S, 906]), Element[S, 906])
A907 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 907]]], log(sqrt(1 + 907)) / log(2), Element[S, 907]], y(Element[S, 907]), Element[S, 907])
A908 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 908]]], log(sqrt(1 + 908)) / log(2), Element[S, 908]], y(Element[S, 908]), Element[S, 908])
A909 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 909]]], log(sqrt(1 + 909)) / log(2), Element[S, 909]], y(Element[S, 909]), Element[S, 909])
A910 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 910]]], log(sqrt(1 + 910)) / log(2), Element[S, 910]], y(Element[S, 910]), Element[S, 910])
A911 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 911]]], log(sqrt(1 + 911)) / log(2), Element[S, 911]], y(Element[S, 911]), Element[S, 911])
A912 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 912]]], log(sqrt(1 + 912)) / log(2), Element[S, 912]], y(Element[S, 912]), Element[S, 912])
A913 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 913]]], log(sqrt(1 + 913)) / log(2), Element[S, 913]], y(Element[S, 913]), Element[S, 913])
A914 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 914]]], log(sqrt(1 + 914)) / log(2), Element[S, 914]], y(Element[S, 914]), Element[S, 914])
A915 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 915]]], log(sqrt(1 + 915)) / log(2), Element[S, 915]], y(Element[S, 915]), Element[S, 915])
A916 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 916]]], log(sqrt(1 + 916)) / log(2), Element[S, 916]], y(Element[S, 916]), Element[S, 916])
A917 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 917]]], log(sqrt(1 + 917)) / log(2), Element[S, 917]], y(Element[S, 917]), Element[S, 917])
A918 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 918]]], log(sqrt(1 + 918)) / log(2), Element[S, 918]], y(Element[S, 918]), Element[S, 918])
A919 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 919]]], log(sqrt(1 + 919)) / log(2), Element[S, 919]], y(Element[S, 919]), Element[S, 919])
A920 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 920]]], log(sqrt(1 + 920)) / log(2), Element[S, 920]], y(Element[S, 920]), Element[S, 920])
A921 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 921]]], log(sqrt(1 + 921)) / log(2), Element[S, 921]], y(Element[S, 921]), Element[S, 921])
A922 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 922]]], log(sqrt(1 + 922)) / log(2), Element[S, 922]], y(Element[S, 922]), Element[S, 922])
A923 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 923]]], log(sqrt(1 + 923)) / log(2), Element[S, 923]], y(Element[S, 923]), Element[S, 923])
A924 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 924]]], log(sqrt(1 + 924)) / log(2), Element[S, 924]], y(Element[S, 924]), Element[S, 924])
A925 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 925]]], log(sqrt(1 + 925)) / log(2), Element[S, 925]], y(Element[S, 925]), Element[S, 925])
A926 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 926]]], log(sqrt(1 + 926)) / log(2), Element[S, 926]], y(Element[S, 926]), Element[S, 926])
A927 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 927]]], log(sqrt(1 + 927)) / log(2), Element[S, 927]], y(Element[S, 927]), Element[S, 927])
A928 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 928]]], log(sqrt(1 + 928)) / log(2), Element[S, 928]], y(Element[S, 928]), Element[S, 928])
A929 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 929]]], log(sqrt(1 + 929)) / log(2), Element[S, 929]], y(Element[S, 929]), Element[S, 929])
A930 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 930]]], log(sqrt(1 + 930)) / log(2), Element[S, 930]], y(Element[S, 930]), Element[S, 930])
A931 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 931]]], log(sqrt(1 + 931)) / log(2), Element[S, 931]], y(Element[S, 931]), Element[S, 931])
A932 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 932]]], log(sqrt(1 + 932)) / log(2), Element[S, 932]], y(Element[S, 932]), Element[S, 932])
A933 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 933]]], log(sqrt(1 + 933)) / log(2), Element[S, 933]], y(Element[S, 933]), Element[S, 933])
A934 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 934]]], log(sqrt(1 + 934)) / log(2), Element[S, 934]], y(Element[S, 934]), Element[S, 934])
A935 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 935]]], log(sqrt(1 + 935)) / log(2), Element[S, 935]], y(Element[S, 935]), Element[S, 935])
A936 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 936]]], log(sqrt(1 + 936)) / log(2), Element[S, 936]], y(Element[S, 936]), Element[S, 936])
A937 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 937]]], log(sqrt(1 + 937)) / log(2), Element[S, 937]], y(Element[S, 937]), Element[S, 937])
A938 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 938]]], log(sqrt(1 + 938)) / log(2), Element[S, 938]], y(Element[S, 938]), Element[S, 938])
A939 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 939]]], log(sqrt(1 + 939)) / log(2), Element[S, 939]], y(Element[S, 939]), Element[S, 939])
A940 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 940]]], log(sqrt(1 + 940)) / log(2), Element[S, 940]], y(Element[S, 940]), Element[S, 940])
A941 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 941]]], log(sqrt(1 + 941)) / log(2), Element[S, 941]], y(Element[S, 941]), Element[S, 941])
A942 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 942]]], log(sqrt(1 + 942)) / log(2), Element[S, 942]], y(Element[S, 942]), Element[S, 942])
A943 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 943]]], log(sqrt(1 + 943)) / log(2), Element[S, 943]], y(Element[S, 943]), Element[S, 943])
A944 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 944]]], log(sqrt(1 + 944)) / log(2), Element[S, 944]], y(Element[S, 944]), Element[S, 944])
A945 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 945]]], log(sqrt(1 + 945)) / log(2), Element[S, 945]], y(Element[S, 945]), Element[S, 945])
A946 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 946]]], log(sqrt(1 + 946)) / log(2), Element[S, 946]], y(Element[S, 946]), Element[S, 946])
A947 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 947]]], log(sqrt(1 + 947)) / log(2), Element[S, 947]], y(Element[S, 947]), Element[S, 947])
A948 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 948]]], log(sqrt(1 + 948)) / log(2), Element[S, 948]], y(Element[S, 948]), Element[S, 948])
A949 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 949]]], log(sqrt(1 + 949)) / log(2), Element[S, 949]], y(Element[S, 949]), Element[S, 949])
A950 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 950]]], log(sqrt(1 + 950)) / log(2), Element[S, 950]], y(Element[S, 950]), Element[S, 950])
A951 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 951]]], log(sqrt(1 + 951)) / log(2), Element[S, 951]], y(Element[S, 951]), Element[S, 951])
A952 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 952]]], log(sqrt(1 + 952)) / log(2), Element[S, 952]], y(Element[S, 952]), Element[S, 952])
A953 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 953]]], log(sqrt(1 + 953)) / log(2), Element[S, 953]], y(Element[S, 953]), Element[S, 953])
A954 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 954]]], log(sqrt(1 + 954)) / log(2), Element[S, 954]], y(Element[S, 954]), Element[S, 954])
A955 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 955]]], log(sqrt(1 + 955)) / log(2), Element[S, 955]], y(Element[S, 955]), Element[S, 955])
A956 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 956]]], log(sqrt(1 + 956)) / log(2), Element[S, 956]], y(Element[S, 956]), Element[S, 956])
A957 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 957]]], log(sqrt(1 + 957)) / log(2), Element[S, 957]], y(Element[S, 957]), Element[S, 957])
A958 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 958]]], log(sqrt(1 + 958)) / log(2), Element[S, 958]], y(Element[S, 958]), Element[S, 958])
A959 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 959]]], log(sqrt(1 + 959)) / log(2), Element[S, 959]], y(Element[S, 959]), Element[S, 959])
A960 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 960]]], log(sqrt(1 + 960)) / log(2), Element[S, 960]], y(Element[S, 960]), Element[S, 960])
A961 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 961]]], log(sqrt(1 + 961)) / log(2), Element[S, 961]], y(Element[S, 961]), Element[S, 961])
A962 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 962]]], log(sqrt(1 + 962)) / log(2), Element[S, 962]], y(Element[S, 962]), Element[S, 962])
A963 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 963]]], log(sqrt(1 + 963)) / log(2), Element[S, 963]], y(Element[S, 963]), Element[S, 963])
A964 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 964]]], log(sqrt(1 + 964)) / log(2), Element[S, 964]], y(Element[S, 964]), Element[S, 964])
A965 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 965]]], log(sqrt(1 + 965)) / log(2), Element[S, 965]], y(Element[S, 965]), Element[S, 965])
A966 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 966]]], log(sqrt(1 + 966)) / log(2), Element[S, 966]], y(Element[S, 966]), Element[S, 966])
A967 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 967]]], log(sqrt(1 + 967)) / log(2), Element[S, 967]], y(Element[S, 967]), Element[S, 967])
A968 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 968]]], log(sqrt(1 + 968)) / log(2), Element[S, 968]], y(Element[S, 968]), Element[S, 968])
A969 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 969]]], log(sqrt(1 + 969)) / log(2), Element[S, 969]], y(Element[S, 969]), Element[S, 969])
A970 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 970]]], log(sqrt(1 + 970)) / log(2), Element[S, 970]], y(Element[S, 970]), Element[S, 970])
A971 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 971]]], log(sqrt(1 + 971)) / log(2), Element[S, 971]], y(Element[S, 971]), Element[S, 971])
A972 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 972]]], log(sqrt(1 + 972)) / log(2), Element[S, 972]], y(Element[S, 972]), Element[S, 972])
A973 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 973]]], log(sqrt(1 + 973)) / log(2), Element[S, 973]], y(Element[S, 973]), Element[S, 973])
A974 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 974]]], log(sqrt(1 + 974)) / log(2), Element[S, 974]], y(Element[S, 974]), Element[S, 974])
A975 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 975]]], log(sqrt(1 + 975)) / log(2), Element[S, 975]], y(Element[S, 975]), Element[S, 975])
A976 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 976]]], log(sqrt(1 + 976)) / log(2), Element[S, 976]], y(Element[S, 976]), Element[S, 976])
A977 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 977]]], log(sqrt(1 + 977)) / log(2), Element[S, 977]], y(Element[S, 977]), Element[S, 977])
A978 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 978]]], log(sqrt(1 + 978)) / log(2), Element[S, 978]], y(Element[S, 978]), Element[S, 978])
A979 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 979]]], log(sqrt(1 + 979)) / log(2), Element[S, 979]], y(Element[S, 979]), Element[S, 979])
A980 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 980]]], log(sqrt(1 + 980)) / log(2), Element[S, 980]], y(Element[S, 980]), Element[S, 980])
A981 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 981]]], log(sqrt(1 + 981)) / log(2), Element[S, 981]], y(Element[S, 981]), Element[S, 981])
A982 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 982]]], log(sqrt(1 + 982)) / log(2), Element[S, 982]], y(Element[S, 982]), Element[S, 982])
A983 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 983]]], log(sqrt(1 + 983)) / log(2), Element[S, 983]], y(Element[S, 983]), Element[S, 983])
A984 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 984]]], log(sqrt(1 + 984)) / log(2), Element[S, 984]], y(Element[S, 984]), Element[S, 984])
A985 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 985]]], log(sqrt(1 + 985)) / log(2), Element[S, 985]], y(Element[S, 985]), Element[S, 985])
A986 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 986]]], log(sqrt(1 + 986)) / log(2), Element[S, 986]], y(Element[S, 986]), Element[S, 986])
A987 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 987]]], log(sqrt(1 + 987)) / log(2), Element[S, 987]], y(Element[S, 987]), Element[S, 987])
A988 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 988]]], log(sqrt(1 + 988)) / log(2), Element[S, 988]], y(Element[S, 988]), Element[S, 988])
A989 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 989]]], log(sqrt(1 + 989)) / log(2), Element[S, 989]], y(Element[S, 989]), Element[S, 989])
A990 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 990]]], log(sqrt(1 + 990)) / log(2), Element[S, 990]], y(Element[S, 990]), Element[S, 990])
A991 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 991]]], log(sqrt(1 + 991)) / log(2), Element[S, 991]], y(Element[S, 991]), Element[S, 991])
A992 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 992]]], log(sqrt(1 + 992)) / log(2), Element[S, 992]], y(Element[S, 992]), Element[S, 992])
A993 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 993]]], log(sqrt(1 + 993)) / log(2), Element[S, 993]], y(Element[S, 993]), Element[S, 993])
A994 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 994]]], log(sqrt(1 + 994)) / log(2), Element[S, 994]], y(Element[S, 994]), Element[S, 994])
A995 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 995]]], log(sqrt(1 + 995)) / log(2), Element[S, 995]], y(Element[S, 995]), Element[S, 995])
A996 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 996]]], log(sqrt(1 + 996)) / log(2), Element[S, 996]], y(Element[S, 996]), Element[S, 996])
A997 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 997]]], log(sqrt(1 + 997)) / log(2), Element[S, 997]], y(Element[S, 997]), Element[S, 997])
A998 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 998]]], log(sqrt(1 + 998)) / log(2), Element[S, 998]], y(Element[S, 998]), Element[S, 998])
A999 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 999]]], log(sqrt(1 + 999)) / log(2), Element[S, 999]], y(Element[S, 999]), Element[S, 999])
A1000 = Rotate(Dilate[Translate[c, Vector[(0, 0), Element[S, 1000]]], log(sqrt(1 + 1000)) / log(2), Element[S, 1000]], y(Element[S, 1000]), Element[S, 1000])