SQLite format 3@ . BBh77otableisabelle_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 `% lDd ]S Sturm_Tarski:threads=2elapsed=17.273cpu=27.212gc=0.372factor=1.587zXZִF! ]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rWP;"fz ݜB a ΅*/f.gYr%k?|ZsUSSqepDHh ";YgP/U3huyu'(,ˋ.LBH}ͽ5[~x\ֆFH0[BH ^-H̤2CZ,a EIgvقSF}rI¡%yo]pVKFHM-u L)6n#;+/Aeduܺ&xOX0ګdv2$q ypL)//T 6r;-%bo1Ex s)g"#>9jY0ޗ\k >"@CsS{dx) IJ>R~BLy`ќ*™5OL3R"SDd8 ;#~@8C+0֮MrC𮊰{hV_g{Vx}LhZA-`MFN1x7ﲂ- 4F+h%Ѕow@Xa^VKI;~R6v.)K|Bĺ+)Y^s۪C3rhqk{ǃ±tKgϡ&tsbA_?jR 842xTZ?+[Ec`Q00\ŹȔ*$dro~O,@ԨV$^K$3rB0{IzŽ_ZdL))ZAy n ;XE7XJ ):^qHAB(^/0NE_:ssqc#^ݸ9"wpY`0{,,f%>Jѹ B<`6?9rL{jl$[,Dv]Zb Vs?-V \lezgFp=@MO`kVfٺՄJPv^!'k>D_Q?.%iӤeEDgL6+3\|3X<$t4GZQybnM$&@Anh%2͙"=lav~|'oAK#Z@"(8QJmA;*?/ktWQ&Sv#vBkh?bP>zڝᜉ&`EqPE5ǮPSJ<'Mx~+A+8+t -;_9j,ĆfVU7}T_< bag~(4_yh0:Ѝ+eHtF =(:b3H.{3o 8s&w6Պ+L9O ͰoS,ڢ 9[v8 q1HS ÚϤ;m{ŬGc;by5L:K0rl.%`Q<)f])=O뤶|:C v05\jA]=;*lE1㷍o#/૝wALeJ L=jA_5JMC[aM#e $ gYZ4f12fd5b28aa72d515ea132aa0e63bd6a9428fd5d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb e59e10f7190a9f7f068dcb0d18ba1ed1273e2ff1 % Sturm_Tarski