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 > D,< ] KD_Tree:threads=4elapsed=12.122cpu=38.976gc=0.820factor=3.227zXZִF! M]ŗXf[& صfYÙ +7JD9*rgaѡ+ʗFkAWA--ιU/ P-No^?AaS<.m̄TO<wO|9ւ\cѳ~IۭLt4u_N<lB1٪a 4P>)*.{u~:oݤzh-vtc pw,1 i, Uwr{bUJ&J cQl}ijHͻo>Ĉ4͓%T<:qcfE'DnD_o}efTZá/_H_kƦDy}yPs%e爆8_nWJѫ|; OO0LBF|{e %ec$R!L~e bǡ[`Pg/n:,bg.O&qvV_ ѷi?(ۆƋן͔jџ,=؟ݯ/}~A2Y$IR!a^*I U[.d칶@B+xB2LxA,[$,t`gYZ7zXZִF! ]ŗXiɟ o~8=%)∣SQ-p҇ƲJfz5y/Vښ^1Տ+uBI?ٞ0ci2{.g0)/@9-9O^9g#-jSR~_҂ט&gYZ7zXZִF! Y3U]ŗXi%GcŗzMק 6 Zճkz#2Y[R#)1V@>nԵp*>O7nkf;LZ%ݙV]gظd4a%OFρϠ3E@О GZfj$*[(?vFLD1}>@Hë*w0Li:6 k]6)3wTQ rei} )VR 6zRތ^i8'~Bſ%b1}:}(rB y )U~G 0IK7Dsink yd]3X7e ox0N&|Cݵd@*S=3`f@oX̀{-~Sث=f,k^]boBtr)DC iy,(Ř J˟"*0,npy׶ =d!]dj0F B \PC:*I(>v28]BJHt(?s6w 'eWY^_4bg.z)2{'j Np\NDkZ;e25iUYv"ՖN_~sd\Ʒ?SVύΜllu#e:C_ꀕ_~?uo?ЅN %VPzVOFVӡٽRבt|m0C* Cύ* `1]*˒nVѻl?H40*D-d ,u3jdz6?c?lpqyLI]] ֚kڶhp[)boutLaQ  JdJ эioR4<2> 5g$[<+/$u%H.a]s4)u$}׏̽85\046=#Ѻ _Ipv(a\?;g;()RL O$ꏲUq'RW Inވ0즃BGIvdV1%SI(co鯨[VYajF=a;H8.z qI׏\JsE` _4[ZWE] gʻi9 >2>$beX'H&q gY?CQK_QxGGTޠ):F^V"QELjsޑk80^d+BBzL<,>n