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 |9 |lt ]/ Locally-Nameless-Sigma:threads=4elapsed=23.951cpu=82.200gc=1.872factor=3.437zXZִF! &n]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.c\ jn nY3F&\cQ O)?zW1ȍNe}p>wC }9+OWKfsw|m?|Fb5no?*^5C\|U =4cQ%rc*ޡzzPӖpȁXYK!:tB<1dKh|w 4*.b-g^Ŵ9.}͓n?)p>PT)jЍ}e  9 Locally-Nameless-Sigma  0+:7#${*`ĢNՀ⽤J鏳{ȓK?rB_i`{HAB=ؐCwq&!]7 xl|U4741y!f* WPMfdh< \UF8±o~y0AjWtY*zLPq8ɨt /J}ٿ[S尋b&`1mf:,q0 [eCjݎm}~{)$t3 }K6yxKKT`t :P\RY7M?)=7w!OƉyiNpt<:9`qe)J n,XgYZ7zXZִF! ॴ s]ŗXi%Eb⬗u:vߠ+ߘM*W\7AJS/ņ ~-/] U%V첇yk[ൈzL(;ʑ׹=λO7ZB O v >ˀ}46ܩFŽ߹1xH4r5Tw 2s/5r3G΋w x vK"%a#?6WBd/Z[-oFvW pU?fopчnCa].״'kH#96:CfS4"Dd$<ӮGEYsbD܇6D1Ѫ˗F_İCHT42GVSqap.2I > ס3UVLLhu_Tg"bR(ynB?Gϥ]Cr|&KTsmŶf~%0>1^]9`DgGnHnq8p@fOo"rih؈d& P<ϕw=XeЋՑ,2B2ʋ.krj$8xɀlCY>ЦЪS>6)A|@Jp>C呎2xAj_ڳ]6M_)'-=#@xӘF&GsҶ;Z%D(j~M^@?$qwgV_ /`(iB=m *3Y]X:{;c@j -Mcl(oC?=XF: W7?7_ h6iR?Jh q )6ny{ xY /n mwmװ=NmgJ~;},m?l51tern$Xt@oٗ,+i*GUBz ́³? }!w C#<~X$CChB'dKAH'UH h%< t4tW _zHh184(>ȱ1ngQ\TDF$"G`N&+ZՈ$ )n\*^W+}20D1nu_E浲TPs21_؃i~Ƕ/,B{=ej!L?밺iqm$1+x"}O`^F9_3H$*k_.?2oYˑ*s\' ʝ8Sl0m=GSk7S,YQNUcGDi &{w|NfUmBpt8/Z>6J!2RI+oz{lW"/u&;vjHTa)fJg2>bu\_(pUkd||]6B3؀x)^0R (G##2Eu`Zcpi: Ӑm2q@w=La%U Q^gjܨuF)*nrnQ ʱL/1^Zm6ϳI$xQ=HѮ~AXMP% \]䲲&ѿrDE,k3or.Ň KANH`5 Ul:00*\d` B,u@_"hlG4IVJBY;n݉4 Xh;jɚq^^xrIϴ:rxh<ՊwP~9q8/4 4oyMW۴%Y ڰf 1${+ج_:ADVCiEİKNB?"7RUlN$Bܤ^r7,fKm*$RhCw55'ݨs.etک#~p\(z^^OL&@%JDoJp߮"-6AQb)%Y_YS!+:BSH&\])T eۀIbcJt)' 1\e`:h;lo7s!fm iSL彌 dr5:z fwYcHt\*h3qrRWPYgYZ3d827717f31ca1139e3b717875750b418c586cc987d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591