@font-face { font-family: cmb10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33952 characters]) format('truetype'); }
@font-face { font-family: cmbsy10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 39884 characters]) format('truetype'); }
@font-face { font-family: cmbsy6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 42012 characters]) format('truetype'); }
@font-face { font-family: cmbsy7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 40892 characters]) format('truetype'); }
@font-face { font-family: cmbsy8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 40188 characters]) format('truetype'); }
@font-face { font-family: cmbsy9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 40752 characters]) format('truetype'); }
@font-face { font-family: cmbx10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34320 characters]) format('truetype'); }
@font-face { font-family: cmbx12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34304 characters]) format('truetype'); }
@font-face { font-family: cmbx5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34592 characters]) format('truetype'); }
@font-face { font-family: cmbx6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34568 characters]) format('truetype'); }
@font-face { font-family: cmbx7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34472 characters]) format('truetype'); }
@font-face { font-family: cmbx8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34400 characters]) format('truetype'); }
@font-face { font-family: cmbx9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34412 characters]) format('truetype'); }
@font-face { font-family: cmbxsl10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35776 characters]) format('truetype'); }
@font-face { font-family: cmbxti10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43804 characters]) format('truetype'); }
@font-face { font-family: cmcsc10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34000 characters]) format('truetype'); }
@font-face { font-family: cmcsc8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34236 characters]) format('truetype'); }
@font-face { font-family: cmcsc9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34076 characters]) format('truetype'); }
@font-face { font-family: cmdunh10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35960 characters]) format('truetype'); }
@font-face { font-family: cmex10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 27724 characters]) format('truetype'); }
@font-face { font-family: cmex7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 28376 characters]) format('truetype'); }
@font-face { font-family: cmex8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 28232 characters]) format('truetype'); }
@font-face { font-family: cmex9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 27884 characters]) format('truetype'); }
@font-face { font-family: cmff10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 41680 characters]) format('truetype'); }
@font-face { font-family: cmfi10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 42536 characters]) format('truetype'); }
@font-face { font-family: cmfib8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 36376 characters]) format('truetype'); }
@font-face { font-family: cminch; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 11420 characters]) format('truetype'); }
@font-face { font-family: cmitt10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 39320 characters]) format('truetype'); }
@font-face { font-family: cmmi10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43276 characters]) format('truetype'); }
@font-face { font-family: cmmi12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 42888 characters]) format('truetype'); }
@font-face { font-family: cmmi5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 44460 characters]) format('truetype'); }
@font-face { font-family: cmmi6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 44368 characters]) format('truetype'); }
@font-face { font-family: cmmi7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 44456 characters]) format('truetype'); }
@font-face { font-family: cmmi8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 44296 characters]) format('truetype'); }
@font-face { font-family: cmmi9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43352 characters]) format('truetype'); }
@font-face { font-family: cmmib10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43400 characters]) format('truetype'); }
@font-face { font-family: cmmib6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 44400 characters]) format('truetype'); }
@font-face { font-family: cmmib7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43472 characters]) format('truetype'); }
@font-face { font-family: cmmib8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43344 characters]) format('truetype'); }
@font-face { font-family: cmmib9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43208 characters]) format('truetype'); }
@font-face { font-family: cmr10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34880 characters]) format('truetype'); }
@font-face { font-family: cmr12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35068 characters]) format('truetype'); }
@font-face { font-family: cmr17; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 36448 characters]) format('truetype'); }
@font-face { font-family: cmr5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34112 characters]) format('truetype'); }
@font-face { font-family: cmr6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35484 characters]) format('truetype'); }
@font-face { font-family: cmr7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35008 characters]) format('truetype'); }
@font-face { font-family: cmr8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35208 characters]) format('truetype'); }
@font-face { font-family: cmr9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35040 characters]) format('truetype'); }
@font-face { font-family: cmsl10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37084 characters]) format('truetype'); }
@font-face { font-family: cmsl12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37112 characters]) format('truetype'); }
@font-face { font-family: cmsl8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37032 characters]) format('truetype'); }
@font-face { font-family: cmsl9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37196 characters]) format('truetype'); }
@font-face { font-family: cmsltt10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 38304 characters]) format('truetype'); }
@font-face { font-family: cmss10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 26888 characters]) format('truetype'); }
@font-face { font-family: cmss12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 26784 characters]) format('truetype'); }
@font-face { font-family: cmss17; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 27008 characters]) format('truetype'); }
@font-face { font-family: cmss8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 26904 characters]) format('truetype'); }
@font-face { font-family: cmss9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 26776 characters]) format('truetype'); }
@font-face { font-family: cmssbx10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33804 characters]) format('truetype'); }
@font-face { font-family: cmssdc10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33152 characters]) format('truetype'); }
@font-face { font-family: cmssi10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 27984 characters]) format('truetype'); }
@font-face { font-family: cmssi12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 27916 characters]) format('truetype'); }
@font-face { font-family: cmssi17; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 28236 characters]) format('truetype'); }
@font-face { font-family: cmssi8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 27884 characters]) format('truetype'); }
@font-face { font-family: cmssi9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 28024 characters]) format('truetype'); }
@font-face { font-family: cmssq8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34272 characters]) format('truetype'); }
@font-face { font-family: cmssqi8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 36168 characters]) format('truetype'); }
@font-face { font-family: cmsy10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 38968 characters]) format('truetype'); }
@font-face { font-family: cmsy5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 40064 characters]) format('truetype'); }
@font-face { font-family: cmsy6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 40104 characters]) format('truetype'); }
@font-face { font-family: cmsy7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 39504 characters]) format('truetype'); }
@font-face { font-family: cmsy8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 38860 characters]) format('truetype'); }
@font-face { font-family: cmsy9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 38864 characters]) format('truetype'); }
@font-face { font-family: cmtcsc10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37720 characters]) format('truetype'); }
@font-face { font-family: cmtex10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35696 characters]) format('truetype'); }
@font-face { font-family: cmtex8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35488 characters]) format('truetype'); }
@font-face { font-family: cmtex9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 35896 characters]) format('truetype'); }
@font-face { font-family: cmti10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43536 characters]) format('truetype'); }
@font-face { font-family: cmti12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43480 characters]) format('truetype'); }
@font-face { font-family: cmti7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 44832 characters]) format('truetype'); }
@font-face { font-family: cmti8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 44732 characters]) format('truetype'); }
@font-face { font-family: cmti9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 43676 characters]) format('truetype'); }
@font-face { font-family: cmtt10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 36936 characters]) format('truetype'); }
@font-face { font-family: cmtt12; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 36736 characters]) format('truetype'); }
@font-face { font-family: cmtt8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 36540 characters]) format('truetype'); }
@font-face { font-family: cmtt9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 36956 characters]) format('truetype'); }
@font-face { font-family: cmu10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 38380 characters]) format('truetype'); }
@font-face { font-family: cmvtt10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 39048 characters]) format('truetype'); }
@font-face { font-family: euex10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15132 characters]) format('truetype'); }
@font-face { font-family: euex7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15132 characters]) format('truetype'); }
@font-face { font-family: euex8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15168 characters]) format('truetype'); }
@font-face { font-family: euex9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 14992 characters]) format('truetype'); }
@font-face { font-family: eufb10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31400 characters]) format('truetype'); }
@font-face { font-family: eufb5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31740 characters]) format('truetype'); }
@font-face { font-family: eufb6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31736 characters]) format('truetype'); }
@font-face { font-family: eufb7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31496 characters]) format('truetype'); }
@font-face { font-family: eufb8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31548 characters]) format('truetype'); }
@font-face { font-family: eufb9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31420 characters]) format('truetype'); }
@font-face { font-family: eufm10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31296 characters]) format('truetype'); }
@font-face { font-family: eufm5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31768 characters]) format('truetype'); }
@font-face { font-family: eufm6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31400 characters]) format('truetype'); }
@font-face { font-family: eufm7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31100 characters]) format('truetype'); }
@font-face { font-family: eufm8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31372 characters]) format('truetype'); }
@font-face { font-family: eufm9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 31376 characters]) format('truetype'); }
@font-face { font-family: eurb10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33360 characters]) format('truetype'); }
@font-face { font-family: eurb5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33912 characters]) format('truetype'); }
@font-face { font-family: eurb6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33756 characters]) format('truetype'); }
@font-face { font-family: eurb7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33708 characters]) format('truetype'); }
@font-face { font-family: eurb8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33468 characters]) format('truetype'); }
@font-face { font-family: eurb9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33372 characters]) format('truetype'); }
@font-face { font-family: eurm10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33352 characters]) format('truetype'); }
@font-face { font-family: eurm5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34140 characters]) format('truetype'); }
@font-face { font-family: eurm6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33744 characters]) format('truetype'); }
@font-face { font-family: eurm7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 34060 characters]) format('truetype'); }
@font-face { font-family: eurm8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33856 characters]) format('truetype'); }
@font-face { font-family: eurm9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 33456 characters]) format('truetype'); }
@font-face { font-family: eusb10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15804 characters]) format('truetype'); }
@font-face { font-family: eusb5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 16248 characters]) format('truetype'); }
@font-face { font-family: eusb6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 16028 characters]) format('truetype'); }
@font-face { font-family: eusb7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15944 characters]) format('truetype'); }
@font-face { font-family: eusb8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15952 characters]) format('truetype'); }
@font-face { font-family: eusb9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15916 characters]) format('truetype'); }
@font-face { font-family: eusm10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15976 characters]) format('truetype'); }
@font-face { font-family: eusm5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 16312 characters]) format('truetype'); }
@font-face { font-family: eusm6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 16172 characters]) format('truetype'); }
@font-face { font-family: eusm7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 16032 characters]) format('truetype'); }
@font-face { font-family: eusm8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15944 characters]) format('truetype'); }
@font-face { font-family: eusm9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 15904 characters]) format('truetype'); }
@font-face { font-family: msam10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37520 characters]) format('truetype'); }
@font-face { font-family: msam5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 38144 characters]) format('truetype'); }
@font-face { font-family: msam6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 38200 characters]) format('truetype'); }
@font-face { font-family: msam7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37992 characters]) format('truetype'); }
@font-face { font-family: msam8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37376 characters]) format('truetype'); }
@font-face { font-family: msam9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 37568 characters]) format('truetype'); }
@font-face { font-family: msbm10; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 50140 characters]) format('truetype'); }
@font-face { font-family: msbm5; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 51240 characters]) format('truetype'); }
@font-face { font-family: msbm6; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 51016 characters]) format('truetype'); }
@font-face { font-family: msbm7; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 51000 characters]) format('truetype'); }
@font-face { font-family: msbm8; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 50332 characters]) format('truetype'); }
@font-face { font-family: msbm9; src: url(data:font/truetype;charset=utf-8;base64,[encoded data, 50252 characters]) format('truetype'); }


.markdown-rendered .block-language-tikz svg {
    display: block;
    overflow: visible;
    margin-left: auto;
    margin-right: auto;
}