SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^/  ]% Localization_Ring:threads=4elapsed=26.196cpu=68.828gc=1.432factor=2.637zXZִF! 5A]ŗXf[&!вIփ+LPuD^>xapFP% g`M:o}7D+@եhJB;d{5vg;:_:Y `n>eBU (PS7뼝qET&mݶ%rDpx~~gygheL ݞx } \yhƏX FV暅Q*p-vaǯ؀I]cy^ o)J?կWW uI}:"PH;av u-MZfzu! / Localization_Ring  {zrHq/놜jEtnXܐ_\XKqt5p*7v.d=aYۘ/_4+Ϥdܢ]#@ێ  % .ã3#/pjDT$tKY[Mu$y;dؗLvzT>MJHBFLߎ&Z!b@ c4HweKHlA nIW3Š5\$rmHHDIj[PfN$-5۾!s3'م#l'3<=5Yސ4|ofrO ƴ5+:$rIXj+.63ty Ͱ큫I'0B!\(~m|h(fOd0IY8qA+V#ND)?q֖R鼁Z 'YJwEh#tVZ8`bƨb&{Nm^{bY AT)0߉f iϒ (Ap ID;!:M0ҁ'{y[|HD{÷r:bl0.Lkt*UBr>~j3sAR;!L@kZ'=\g2%Ga7L;q)oƆoLpJauks yUIN+kRgYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@ < Q[Nn_D2JLs2Zq_mmD2xx *̀ɱR`fwRA> TWAdj%cX 4Q =v0A p>d,;.|rlfaFL72+IH-/zsSG gq(k=bnh0\9 HWA#uz]qhWgQѕ7|5m fT"cw:Mn~5afSC/@>jX׎Hl襱"O\te{YTX1Ŝ("ЇxkMՓ9@7zF|pGU:vdX!(6-Iҵ/3\f\lz(֛Yf{.|HWg+Ag:+ mvn*FbL}|+8Rwif}g8aS-C#B5EIEygRE΋V6-cKe,Ձ= [mg{^uа.߀[nfƲS`ߒL̜d )`r";/GW{Hm:<ˡb~e VI.ȓ̐+P֢Fc:Ӆ)3C>9#8#h_JWy17DZ"u_n7$fIaVï̮0M>\l؃Ej?@!O*)([1~- edo)h]kR$klK^RPK֖6k]|~ '&<^Z2I|P,غܼl !]Y1 ; w7vOm?ouPtaI8Їu$>VI\RDG}ϒ3 N }Vb~gm8|֒3`fE~N2>$gʏo6!i2N!N|5 q(\}8^Q[ :2 -b*ήKGj/ lWxVgy3a]'0МYdN'_=e=d5<8qߞNhAcA0-IϬs{\gH>"s|N=*r (Fnzz2P:ZՀn&',`B OOx隇傄pÏ65!Q߽23$ޠkEF-<%NcFIPON쌶sT;֭e"-ܴzߧ|;1e(.LG+JdU'5RD1\e .O#`~:H:o[ωr fQBM'ҋX7犯.6 "(\bnƨy7iVbۥ?m R)w]sĀ{lE%\O3\fK (ݤ,axS`#@t:% 9˴zIJ[Ϋ@Q_){b<ѐ q,kJYsO`TૣnQA3-EDx}7>L3: _'vx)Zљv6T&M9VBdYW2V{Gr+H$ tیeM@c (Q%{NFWRݹ}eW_) h85ܪ#}=戮azѶVI%~*q)am[d /K V>9;}6cіB=AlLh]V'Dj?z豕![.XXbiic\Q5Q6VV_?zzXsa %T-#6`leAZsCjJ4'!ɵ-r oV[O xv2e`6蚢5dL ,~HuĵNRWQىQj 32r;\@:2K(kXU3o~KLsIAPjy?jm,H]VsgzbgYZe11bed3d703b05a1bd0c45fc107c22f745642618d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c b2b885f0dbf561de003595b7b08f3161afca18e1