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  d dd4 ]]]FOL:threads=4elapsed=3.911cpu=4.388gc=0.168factor=1.127zXZִF! /k]ŗXiɟH)0%o6-$k5UDd!v]*֩# S_h%:6b_!RP 8h,!;dc1 - d3":)'|]ח-p8OlxL + Ֆ=--4wQXnTޝ> lJ`2tG&9[RY⫷J}T|T[eܱ{vsƸK}*ݫ; >  h╰Ir= ϸMOA桧4ghY¡k9Mm FA'}AjbOW|,r |l>GDjT(P›(9!`Κ byp']-Ot2XI.ce;jxT&-崳sy;9"vN!@^nhO |X&7s=QĦg"ճECHV[6=M9" wGcIv~Ix%mDRuY{ˑ:OP1"oeKg|P_!er.3g^P2Z"!($&_C!-mьڟJӧs.t'!i$&; rXPWa0 3ʤ!6 ;6sDQuYF'[Wd[6-+?w/%! -OP'ߖb řP~< @H PTCѺE|Sœ# &/b㊸O-sΚ!xL`Nfo((,wGxs5qhC(}DΚ~;/8|8kU%*Fώ!v]IzNΖAvG󽥸dr!!}DZ&9ENwַ/f֩\{w"7k]mƁ)ljgnm􆖽_ưg=!$YHIWn2n*]NN!{~F}<  FOL  %9BT_,ʚ#% rDؐ:\{i/0'I|_ &yLj{-Sޯ)t#n,  "v\A66Ug:.0 tcOEY,F{fS^H< c$%onüB`*Xd[!ptA\CC-֍ֻ9ԵM#&sNI!@&mQrn}0(F۠y 4X\ Nr4^ll M;g<w l͌ b߃.JB&e*Z'^YJ}"n#wJ ]h3Z٠70;i 3,ҪQ5Fj=ٶ/(.5V*PCU#"VΣ-4~ o@q$S4Р ]Wu.hWeSa:P.<ߧw"VIt3H<&`'CTbr~{;)FA o'rS%2jIjם,!e(E9'O?穏Kf /_ C#ϗ=OY[3Q;=F[2U:?6yH`T5Tsh? ): H{*) 9T$׿$n*1P[Et FMNjhcW#*2I…0m?j R[mrrp#l;wﯺf4f0Yua|כX${xb 3 &nnDzM#ϏB«abޤnAKȰ:hK3%]/6qYOČ C~C&Cwt*%+l=:,"²Gv"}G"d}7}6SܙLw'? c7t 1 /=p<O7@56d4$. ٭ͳyğ2cՊD]<(W c!L!OȮvS`eD+\u21n\nF>I,} "*VH*PTPE-E #} ,Ԫa00*Of22_VJ%>H=j< ӅJUUj>SPV@ m(iQh_M59ﲜ7i[\oHx^x XO5!' wyAPg#h7y ?_./a R42%60rXS YBC;EMT`(ـ&[#3G h *E\|вBxnˣirJ2+/tgXd)0L14_fF©kMPT!apç)kl3Ŋyq %\'wvD>]p#2sc}Ϲ^ヘX:>wS5Vzcil2Y~6GEd*X%^>Hpe2smuH }gNtf K{_Å4ȦZeXHbZ2YO8n4r~ *k$LŕE\pcPz8D5<U}hW1kL [6$bb#и7xo\afc$B,%jFωh#olĔzV08zALXDBK%8<tZgiZ!VXpZ 4GhR!yҨgYZ7zXZִF! pK]ŗXiɟ 1FE`u)H+_6Z.a wMndS 0Xl*,/N 19gq 8-}YZ7zXZִF! )tQ]ŗXi%L 9c}_r3 t@oa׌u&`=a 5$j󰅞7Z.cT7 rm>e<%$=CzΚPs7mXAT~ x)w_l|V__o3<[)_d!ZBmV9\@uk@C78z!sFщ%1FY.N3zs}n< [ pʎC݅AWZh+!O=f?eILm21ZjqRYI-&'y,'Wc[9]3ե_ [M{CP{r PIYi@ej<%r J^Ů%OmJ28dydibC?6vDjþK p8<2b75^3[Y\u|V.qcX /7y5O]$lmq"bEZQ ()|{1jࠆWx팼] ! NiY\D4iXc(!%8 dg slecė3Ȗ1${ ^ԝ+ _+ͥ:{,1=vQxO> ubڵQ˺+Rj5O8gYZ353d76c8eb2aa7d44a873f179a65b015bf1bff63d3f90704504dab3f9fc94e3d143d1180eb260c4a491051b03f46adbfc1c697f32437cb40d575e18a