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 h% TL ]S Sturm_Tarski:threads=2elapsed=17.466cpu=29.372gc=0.596factor=1.687zXZִF! ]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rW S8fe]݁0.f,]5@8%u}y5,8;]>-wNw^?uk@ |ҰC[fq_z9 2Jfa3 $s7br TY xO#9!Q)EsB~1k i2!R$] ? 4DŽHQ=EQKi]:Rk,V#mʪ|,0gr/PKժ)kЌ]1nCL;˟ wzHNBPJ?.~?S}z9nhJR3-Ýt^Jb25c@ɚW}eS~{4bŖ!c |2C'E{ĸtHIԆo/u`-D3(e #EXgYZ7zXZִF! ^]ŗXiɟ==M*]0tI'ZbrCC0$yݙT2ZƷC]1`nPU2 0}#X`! /\޴z&0gYZ7zXZִF! eB]ŗXi%>g;(RX&|p~ -M->5$Ec#IڹϦaNZmJλsZˆ Q]iܔ bE3Rn'[wUJ J3P; 4Y^pR[^g?fIzjHe):H,1Mڏn =Fz]f-֔@na,yg"_>r`DfwǦ ajX=eob=,Uu35mBtИvwscɺ`zUq(۽g8K{̸f܊XS~pzߠOզHNfuQD P#4m9Kz+lHc~&]8DPE/h ]bx/q {HTkUC}Ɖ^jIDE!.N@#glh9w'ܘC[\PMR_4r?ӇuA9Xd"03^wSmWtCo^>dJx5}xX*$-$hdqK^b(zlqXb[O` hos;4Rv?xL"]3^nLj%0ג}P<]go#? G~$ “H_[A]"GWh@7]8&dk܎Y--{R8LDr+!xkVm~"5wH Smu3KS^)ҎcuS&])r9}g-bC ,%hj~bB"&vEyah5,&A$? AP"}>Mdءh7k%`CpƘ3?{e:51}ߵf7GL@@V ODKkD")u\8bTNS*l쭤iC{nYl@/CV)L 鋦VKxE/}6c}W³\Yrhr吢ᑥ/*WWϬ;$62cFdMuNYe gGpSږ.|ʕ(^ j8_7Xտ/~g(q {=W42 WܕV 7`IcX/`X!m4WjmK~ UA$O