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 J,d\ ]S Valuation:threads=8elapsed=19.857cpu=106.007gc=5.003factor=5.347zXZִF! >P]ŗXf[&эy"$jBVHVCv/ICNG ̈n7C-/ ,l=y%OD[B^>ߤUJkn Xj7 g&<%3Kc11_F_{Zp'z:n]I/^0p?m1tbg&^jخenzed.ؐ>JfZfl"vk'F'}_UQ]S=%`8_ xHY/{Va W0 uSZNr0|s s#ĭߩO,!g<: KӋ }TFU.~oT!#`HԐƚKB!UIk`ox.eʬ ?FÒAi>|z4Ub s\ uhEEsZoYT y~֨ |gYZ7zXZִF! i]ŗXiɟ9tfZ6Ͻ ,۪$'s0z7qLf !ІAANi,rݱ13_{+smA`=L5wgYZ7zXZִF!  %]ŗXi%>t{ʞk6o–f礸L0{wN* CJѥeLBZZQ^p_Fec;4tJ˝lPK*?՜]ȀRkV8ƔPtS9b)뇾G;A|lgAQ_t=XߗUk-uX&6Q0 m{pk 6:ӟSQ)Be: K`0'̱8j= {墅j ݽs:]0 Nu+0&(f:DfFuYU-[`.hJK}ehd: 4Y)Mxg,Q us!IyiYiSi@Q{u͛D{9eS'd̓,+qER@!z:~O ,& oKۀc.u=ED8N>EJ 0uv'BroUorvM,TCk${e#m^{Ku"dW6WpD)ETbtq&Dg~8eQgh3XXLjid(kۥh(FMTqASRv*A^{' HBFE#eix0s_7ْH 1iNc%THĿ`OqyݼUPLs/]A`Jc'+}ȸXt8DV^cn{j}.b/^ ^OML 2Y*6p̕m&f"j#wfܺ-r ~ƙH. գ0RChl[ִW)ny3NrvQro9ߌr_# w0Ù; :,Y_@ $|ߛSqU7VUͨÁL X.e=ǏHXF' 5jEG٫~ |\U=:ː>覄OwBE\j?I"CBGLk\=VU^ZZܕih'KZwfVU_-6\Ӛ? 3o oW`GLrtk؀!5L8: ~ c͂~ʧ[/!.F}[_D\Ul=d͉Jܦیrg4khXluةq$kky,Ov+ď([/K£`H<3~Lkb$75Rֺ 3l3etIϺ8PKAWaέez ZB \+4 7)-ȭn_cx? Dv 2N`^ ]+;5𴁞MA*Ƣ"m TU#yW7/Ŗ_f8M2mcA-:Z7cNg|\-|t]IX|J'Me5IY?H qj "1r5#'He=Ҙ\jVPc:?A.78I\僿%*|b=8/֗M\i,Kr%!=2+ -T{=\ll# *^l8Kd@G#Av 0:~)B-L9fQ+Gݍ~z( h5rdJTGq_qTLvObBä 2"_4m@z+Q._ n^7"|}[UER{YՎAk̽Z1 Cc3j ,݈JWaBBa=X>q y@4l6q5tx[