SQLite format 3@ .0:  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 7  t ]/ Weight_Balanced_Trees:threads=4elapsed=16.508cpu=43.984gc=2.196factor=2.667zXZִF! ]ŗXf1-q恈%kV^M[-dwPt#`Nf )r1͓dS$b($],Dg,Zi3ԭaĶ(>",ag_oazUYw_rC 49N!݁wX"9a Yc !{Q )9+ QPS7sIטt<Bj6"hԖQ׶Zѧ.ɉ~tlHy˸}(nyPbZB aR:+$_s0TH9¥4S`m-@)] }QԲ,Jka+WτU$x7@'Ub!H.$?pH?8SDu  kU _g@L4?8vΣ[4G3 7'b| h  sժTc-gF +"UDNgB!$$-Yħ =ZSd~#`Ge_줋-7]F1l^,xS2ChxUBy'.9OD‚˜&v<;5VB~/?Y(S(iqv^離k:dUspVfKi5՘MSAV?*4R7_]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻SN8жTam2N$Pn&'U41E\_rIr$!*g1z b9OGӦOse(sÂ9!~}M)o"eNne GV4(݊hi10~s.- |@r̩^qQ;Up ),+H`±gYZ7zXZִF! oxt]ŗXi%GЛ)?VSaĦUk$T;M)T=mMIqྃo\)Eju{sC/5 SaaHgv$9Z)kg600><ע>q5ZH:*ࢢLqv".}(%[;St0R öip\wt-ba`vUǍdHC$#=H$`9~3[Cl^\/{渉6 'f<|`>:7W3va>_1=!/|(ũKahgv<@/^FcN.ft)b|F -Ɂ ap(!lM=5(%T|6&hi:.)mןrДxhXa,)XFIyR y:ϋJG;U.Jkx_'kpu"dElN`G\gLs1 cշlbr=,A~O 4񺨾iY )wepxк.ؕzQ҄HüJQ*$!6T  1];gF,gJ$bz6A\s%V2/Mj=E{OQjmc' %' oj3QuvyTwuR(p]9௓[:QV,bp^[ܙ _J:ص7اHr&9޲z*0Ρ2P{/V&&'H((pf'_vU`Nvs-%39=7< F7l N($N(^52&Fiu:;dD;.Ӯ+P3s&]lVz-vQPeU, ~Uk~'_ K~qf:ʈQ!q_*,5f..y,5hlg %bZU̽V؝$ü@q}1S1; 0::4FE8E?'s"(Q^XNeJ *Qar( `˯e49Ū>am0DAD3eդIڃ s.Z,Cf+!7}* ^Wc.Xb>6\ڱåNeo EM=VN`2H Wa߱HB\/4c_U =(Ae2O i׃HT~Q뚦8ctH>?HDLYF"V%&B^b3 `%}P*z} Pr-^n/㥃t0.: ?&w]EC:-$SVɉ4~`vVTym4rԟ$6nF2JS,{whV5ůy"?sf_4Lb.oqUPw O,KJD_6N4Ċ်kf\v[j&Õ׌z>AAj6f S%9gYZ56213a6e4eb1122ee1907e3a57774ecc7ed042eca1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 7 Weight_Balanced_Trees