SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 & ,|4 ]]]ZF:threads=6elapsed=13.018cpu=45.344gc=2.956factor=3.487zXZִF! O]ŗXf1-) enȈA"tr-j. ZbNVHF$螯#y.PQ?1M 0fٯPhH 5k-}G bd)_x٪!Lnfjp;J5+AF?P1~ ta¬#R 2G&VKW PK:D̆و{^ U%|y ?1rDKp}ԞZIrٹ,E qO({HpU0@#{](+\`)t35-X0$,)( 'HV6 4?ehse bE 83*]bBE)9v~^1]4oz髙t"yހ8-)z7zxlBjk@`ڟֿc:^L Tp{eP$~[L!B#(ݢ)$O-:yBCX'cI,àCGrps/:i "S%U_9 p7H`AgYZ7zXZִF! 7]ŗXiɟ 1FE`穵]# ]g @ :߂pmiр\ѻa)(tDE }yɼ-d*WAM-su"@7)Gsb]jhvYP_<1]sw.FRnk~ _pE]%R:-Ӹgxo0QףButB(*]PTau#n/݆kq|_#̵k[rNh!kDesjZt3th햳25@_W0au X6\p\*Hq^ө6)Bus$~I3[L/s}e4@3W9F=4[Z>FPїtOѬ?#31n- :`#ȸVZ0Y>C~oS A7! ꪫSQ,T]ŗXi%@f:S^ءx3a8tVu} m$) 4Tڅ+Sφy!BkϖKnʐ!d`"D` \W^vxReIbg&E EAx-o$]^_~YsZSg]iUu*2l:98w4\>(ZCz*ݼ7Yg fvOוJʌfe B,/H~a06uȹC˜xn1 |w"2uB)`>V5Zd7#G;|CBSP"~jask> Gj'ZխBɡ٬~20 6[UHD-[i8 @Y<̞_^!dӂ/w#L1NM=գ\ X'lQ'R,ap5#'=!@Kts} 6AH_Gt2MK (PɚүgwP$(niX~rh-XXQDrkt\,4\8LÇ. )q1l"TO5nl{XdT5LCMNf)zc~C@ /B9kzR *q,, L(^&.0AQnt␾DX#,j#>/QȝUm4SH![r8^ $Z<(#$ Coi^l`=zoA.o~fA@!B5:D8eԙ7 <"OXWM=NFQ<: 1D{v/DMbyxQhšҝ[p5l[ACB3C5ry!}L2y=fvTS#@ZD6usy*ShW* :tkO< =Q Cvץl%he?Qo2 M" ph`Β(K̓IKJRaMeC=5R4 CL?[g%=U9"x4YZ`Ap(܇ML-mYt{ܲ%7⹞XVhIoz>b Gt>HLS1H#,YNfR6H<N)dЦw,YZs) }+8gYZ329661397f0fd2d48daa2e98985883d94157358c72cca0904208fa240fb772d4d14dff23ebcd0242ff591ae5c90c4607ce7eba4472ec87e06136d558  ZF