assets/formula/GF2p15-inlined-dark.svg

<?xml version='1.0' encoding='UTF-8'?>
<!-- Generated by CodeCogs with dvisvgm 2.9.1 -->
<svg fill="#fff" version='1.1' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' width='42.372832pt' height='13.544422pt' viewBox='-.299738 -.25206 42.372832 13.544422'>
<defs>
<path id='g0-49' d='M2.502615-5.076961C2.502615-5.292154 2.486675-5.300125 2.271482-5.300125C1.944707-4.98132 1.522291-4.790037 .765131-4.790037V-4.527024C.980324-4.527024 1.41071-4.527024 1.872976-4.742217V-.653549C1.872976-.358655 1.849066-.263014 1.091905-.263014H.812951V0C1.139726-.02391 1.825156-.02391 2.183811-.02391S3.235866-.02391 3.56264 0V-.263014H3.283686C2.526526-.263014 2.502615-.358655 2.502615-.653549V-5.076961Z'/>
<path id='g0-53' d='M1.115816-4.479203C1.219427-4.447323 1.538232-4.367621 1.872976-4.367621C2.86924-4.367621 3.474969-5.068991 3.474969-5.188543C3.474969-5.276214 3.419178-5.300125 3.379328-5.300125C3.363387-5.300125 3.347447-5.300125 3.275716-5.260274C2.964882-5.140722 2.598257-5.045081 2.16787-5.045081C1.697634-5.045081 1.307098-5.164633 1.060025-5.260274C.980324-5.300125 .964384-5.300125 .956413-5.300125C.852802-5.300125 .852802-5.212453 .852802-5.068991V-2.733748C.852802-2.590286 .852802-2.494645 .980324-2.494645C1.044085-2.494645 1.067995-2.526526 1.107846-2.590286C1.203487-2.709838 1.506351-3.116314 2.183811-3.116314C2.630137-3.116314 2.84533-2.749689 2.917061-2.598257C3.052553-2.311333 3.068493-1.944707 3.068493-1.633873C3.068493-1.338979 3.060523-.908593 2.83736-.557908C2.685928-.318804 2.367123-.071731 1.944707-.071731C1.42665-.071731 .916563-.398506 .73325-.916563C.757161-.908593 .804981-.908593 .812951-.908593C1.036115-.908593 1.211457-1.052055 1.211457-1.299128C1.211457-1.594022 .980324-1.697634 .820922-1.697634C.67746-1.697634 .422416-1.617933 .422416-1.275218C.422416-.557908 1.044085 .167372 1.960648 .167372C2.956912 .167372 3.801743-.605729 3.801743-1.594022C3.801743-2.518555 3.132254-3.339477 2.191781-3.339477C1.793275-3.339477 1.41868-3.211955 1.115816-2.940971V-4.479203Z'/>
<path id='g1-40' d='M3.610908 2.618181C3.610908 2.585454 3.610908 2.563636 3.425454 2.378181C2.061818 1.003636 1.712727-1.058182 1.712727-2.727272C1.712727-4.625453 2.127272-6.523635 3.46909-7.887271C3.610908-8.01818 3.610908-8.039998 3.610908-8.072725C3.610908-8.149089 3.567272-8.181816 3.501817-8.181816C3.392726-8.181816 2.410908-7.439998 1.767272-6.054544C1.210909-4.854544 1.08-3.643635 1.08-2.727272C1.08-1.876363 1.2-.556363 1.799999 .676363C2.454545 2.018181 3.392726 2.727272 3.501817 2.727272C3.567272 2.727272 3.610908 2.694545 3.610908 2.618181Z'/>
<path id='g1-41' d='M3.152726-2.727272C3.152726-3.578181 3.032726-4.89818 2.432727-6.130907C1.778181-7.472725 .84-8.181816 .730909-8.181816C.665454-8.181816 .621818-8.13818 .621818-8.072725C.621818-8.039998 .621818-8.01818 .829091-7.821816C1.898181-6.741816 2.519999-5.007271 2.519999-2.727272C2.519999-.861818 2.116363 1.058182 .763636 2.432727C.621818 2.563636 .621818 2.585454 .621818 2.618181C.621818 2.683636 .665454 2.727272 .730909 2.727272C.84 2.727272 1.821818 1.985454 2.465454 .6C3.021817-.6 3.152726-1.810909 3.152726-2.727272Z'/>
<path id='g1-50' d='M1.385454-.84L2.541817-1.963636C4.243635-3.46909 4.89818-4.058181 4.89818-5.149089C4.89818-6.392725 3.916363-7.265453 2.585454-7.265453C1.352727-7.265453 .545454-6.261816 .545454-5.290908C.545454-4.679999 1.090909-4.679999 1.123636-4.679999C1.309091-4.679999 1.690909-4.810908 1.690909-5.25818C1.690909-5.541817 1.494545-5.825453 1.112727-5.825453C1.025454-5.825453 1.003636-5.825453 .970909-5.814544C1.221818-6.523635 1.810909-6.927271 2.443636-6.927271C3.436363-6.927271 3.905453-6.043635 3.905453-5.149089C3.905453-4.276362 3.359999-3.414545 2.759999-2.738181L.665454-.403636C.545454-.283636 .545454-.261818 .545454 0H4.592726L4.89818-1.898181H4.625453C4.570908-1.570909 4.494544-1.090909 4.385453-.927272C4.30909-.84 3.58909-.84 3.34909-.84H1.385454Z'/>
<path id='g1-70' d='M6.349089-7.41818H.36V-7.079998H.621818C1.461818-7.079998 1.483636-6.959998 1.483636-6.567271V-.850909C1.483636-.458182 1.461818-.338182 .621818-.338182H.36V0C.741818-.032727 1.592727-.032727 2.018181-.032727C2.465454-.032727 3.458181-.032727 3.850908 0V-.338182H3.490908C2.454545-.338182 2.454545-.48 2.454545-.861818V-3.545454H3.392726C4.439999-3.545454 4.54909-3.196363 4.54909-2.26909H4.821817V-5.159999H4.54909C4.54909-4.243635 4.439999-3.883635 3.392726-3.883635H2.454545V-6.643635C2.454545-7.003634 2.476363-7.079998 2.98909-7.079998H4.298181C5.934544-7.079998 6.207271-6.469089 6.381816-4.963635H6.654544L6.349089-7.41818Z'/>
<path id='g1-71' d='M6.469089-.687273C6.610907-.447273 7.047271-.010909 7.167271-.010909C7.265453-.010909 7.265453-.098182 7.265453-.261818V-2.159999C7.265453-2.585454 7.309089-2.639999 8.01818-2.639999V-2.978181C7.614543-2.967272 7.014543-2.945454 6.687271-2.945454C6.250907-2.945454 5.323635-2.945454 4.930908-2.978181V-2.639999H5.279999C6.261816-2.639999 6.294544-2.519999 6.294544-2.116363V-1.418181C6.294544-.196364 4.90909-.098182 4.603635-.098182C3.894544-.098182 1.734545-.48 1.734545-3.730908C1.734545-6.992725 3.883635-7.352725 4.538181-7.352725C5.705453-7.352725 6.69818-6.370907 6.916362-4.767271C6.93818-4.614544 6.93818-4.581817 7.090907-4.581817C7.265453-4.581817 7.265453-4.614544 7.265453-4.843635V-7.429089C7.265453-7.614543 7.265453-7.690907 7.145453-7.690907C7.101816-7.690907 7.05818-7.690907 6.970907-7.559998L6.425453-6.752725C6.076362-7.101816 5.487271-7.690907 4.407271-7.690907C2.378181-7.690907 .610909-5.967271 .610909-3.730908S2.356363 .24 4.42909 .24C5.225453 .24 6.09818-.043636 6.469089-.687273Z'/>
</defs>
<g id='page1' transform='matrix(1.13 0 0 1.13 -80.23 -67.46816)'>
<use x='70.734745' y='68.742217' xlink:href='#g1-71'/>
<use x='79.29537' y='68.742217' xlink:href='#g1-70'/>
<use x='86.416599' y='68.742217' xlink:href='#g1-40'/>
<use x='90.659037' y='68.742217' xlink:href='#g1-50'/>
<use x='96.113602' y='64.783399' xlink:href='#g0-49'/>
<use x='100.347785' y='64.783399' xlink:href='#g0-53'/>
<use x='105.0801' y='68.742217' xlink:href='#g1-41'/>
</g>
</svg>