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  e e; $l| ]% Special_Function_Bounds:threads=4elapsed=37.681cpu=97.568gc=1.192factor=2.597zXZִF! T ]ŗXf[&R7=u㢸GOFWwbYNXa暸hV5N knrE7,yv%oT_oywMֆ#Wa6Dc S\I^oƍǘA2j =ji16"4XODՐ ~O1$R$|+R8i\?"$˥UwXA!ozDA Kids8<2c!z-WKOBy篵tGjbs4P}U_aDmo0O|]&jF`CXiѯO_{6C_OzNƐpvE;cBCt^äZ ޹g;[S,"P0:tYȞ䐾9`8Zv.1듞CP_!8 10J8],ZrT 4,YSH8 ; Special_Function_Bounds  bk1~I$Aß;*[pظ>:|tRCp)pkJM|jD;8Gl t<&T{5}(h߱xr3X&-9 ,x} |3"e@BC0_NՉ&]e5z86kw bMaBk*67/$.y* n p4*w.9,rNĜ-RV^ oWP 4w>swgYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -b2s@R1˲@8p{qcTiOi= |m`vHsAn.syGvJ>XuLvPz{Fٽ(= Y4K㴓gYZ7zXZִF! ]ŗXi%Bh[iY%r_gHZ E2` $lHk'pSI`Y #3?U)! uZ,?Y{:T#&HhrLᒂÂj/]:u(@|(2nk=|M|1IF^ME< 3 []R4i/K;PxwNyUVeXk>YnCXH-/N3z2_@$lz*Ƭ3%.8y-:NCR-8ܙ; /c` Aw*EjrbZ0-uۂޑS7 D53+*tV? a,|I Jat<] `s`+!! RN`j /d9PX-QvyɟD >"_Ⱦ2Z.`aY ,,dwSnFB 3Yn.EuS+}&HFEj}"/p>;gY-Urgu.{r Ǐ G6ʊ&#]g5A8ż>E1 B3M42n@|zt,쐋h4#ibv5A'UtPxi&9gX8\h tyKQu{E:gAѢDBx¾|^|G"htw#D1 <{qnKъ>0c/:IwHϻ-4@9?ԆHzZ~ g1 eFb/3`[l z8}j1?v^"t&>db8eX }5f_Uך7R)Y>sDq{: ުzb;Rцpɂ: VA!=|,_}m誼ի+ưu_@ QE,0S{)ͱ} -Aoе+4t#@g P(mBGjI"[ < ~ƛx7RS<b&0tVYw;TԛwԥפUsdN%9=CFچ.qPrG#/UQ u+ e6?LzG2ŝ1fa;2(̭)p;ke<-9 njׂؙm=nVu"!c>"~FF_.ȭDeDQ2&Zq`rT|x9 8mY暋+nSs_Jp}?rȊ(u\^lhGC)(QK8Z@>̵PxGj`T)CU37uEWs2{GƑ}D/ Hjˣp9* vRjQ~#͹`A&ɩ@K5_I V>SU1v,'&cE3So mNf` 6mZ5wTʷ N^:7YRҟ){i+ [T/4@Fz>x)@B8Yfݻ6Ze/}ZC9fpSbYyrhbw3|$y&+An{4|K qe=T\Y^<'t@-a$!p, iW|zΟ Miڣ3a~Yb d[W9sk5ZcvTZ"OkiIk%AĉR8J5Ez;J|qCWXc/g*_,q5hQdkƽH^J-ފ\s3y x^;eWR+@+j I-JH9:Š[Ny .l6<{ABn<:ONt)KISBi.(3 GwRD<wNj}&~>Ss/ Ljx=* BK(kB #X>KgYZc8c898d2c2cc9fd01a417d220a03f767b056e3333853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 19cc2c37b59cd619e8d5c50b1c9e3eeada232480 5522f74f6abb7699e3a05bfbe34b90d5ea35222e 10ee30d918157a66fc46b0c0569c7b2761700948