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  < $ ] pGCL:threads=2elapsed=34.541cpu=66.404gc=2.116factor=1.927zXZִF! ]ŗXf1-/6vR]uY*؉MPLo10r Ƥy;BN74ǷT瞚2%ģ0֏-|q}{oO\!N-zuNbV3L)C95w9=wMvҽ \y($YaKgqb|"V}+V.H'ݳC ) &7_d4] N ڞysk^˗6JV3\/8_ NBYnUq개`ЃgD Z@|oN7ܧ ;D?  pGCL  ju |m 9 .Jr 0NJq3:eޠ.ht6/T -E٧KQ&X? M<{B˻u`( g{ sZjF.gݓ>SrԔэJ-hD6[ ps5|0 6LXG_i8vh?47gSÐ)뱧mК.E|E&B<0}_>NjeqS#0Opi r'cR%E:E^e$&껿* 2D,KƸoն^28 ۸Dp@{f78haq.lJPnm_?Hj *nZmسEPNP^љ09 M+[CWtK09so?oǖohisN')S̴վW 5kc$vVi< Ad/-~Uicɕ=ӚPk eǃЛYa'k@/nyϹNs9GfgYZ7zXZִF! L~]ŗXiɟ: e=o݆$21E /q&e4)Y=oxnmk]4h ['gԸ쏑鞜Yg*7j aOg>;VϏ=b\+n7m'J8WY1U%/Ds=]D0u: >f}}Gt}[m|tnBOW?>C`%'Ws֏!ǽn$1M:Rݣ% lv7G>y7p C%A+ܻޠ*$_f$$NB /z <×sW4Z\]\ж^%JsU[ %(gYZ7zXZִF! a ]ŗXi%>gr-gWuaVfvx$IEr7wOut]6V>""{^]iJs`-.߅fFr3OU{<{|%u2 Jz" "vXIevv5em`#aNb>BaSPC<. d in~κE Y\ K6~uzGUk8 m+ſ?ݬPk|tb]XwYmQ.n1꾡4z@ 3yȵ&lPFՑcrHQ;&}1LKep ZSz ¯4$|(V(!п ~=dnX_@e& EFt{WAxh5xxJ5{,)^)7h'䏠9՚](X@2jxh[e`  X=]S C =U~ȼ`59}|7%G~[BAQBiOl}ŤMtyǩRecL3W@FOE@\z#8aʘ{̯xPa8lKyw1AvAObKR1ynpi݉CF[9GcPEe' J^|#jŦVtg0CR/ [7$q&ƈ~~_䴹ӜM&ľ-31qb2,FrA#4ތI+h,TnQ@cr)=n`)n*pb Ԫe sAH;<+ A'8bo>U0:Bpڭm#IichYC̨>a DSX O9D>IdFn‹<:1yҍqoz 4pkrfiLPj`ڗN^wi3RJ؂$X@7XY%PaV@C%Tfu7sv[VTƉp<эL pf/kEcN[iO?+q \?P!ž^#&uXjJ>u \H6io?u]g%N7i!ŵ`p! R\b~aq+0,׽0M1:6dB"ߵsڇ4[u:4/ip*Qhj~4C$ڃ,lnVml1i\3x>FZX$ZI m}-,z>ƅKcg2zɞJt*+~b-p锽w7BO$KB{Oޥ(r\S Y}xC lgvqذ#t Yn PXc?)w*i^r$ٴP/_Uf=#buIdRs)Oe.oJ9PR;'y8!\J杈DWDa_0߿,p(hhX+-i8:e1u]3ɱspy!o[37QI豕a3y/f2؎"!oXv^5tNV.k@D A*gYZf42bc50ae229d984a1757df298c824a9ad1c643d97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 28c701d29bb3453132b1214a9015bfc334954436