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 + dD ] LightweightJava:threads=2elapsed=52.115cpu=78.820gc=3.512factor=1.517zXZִF! F=k]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷olЌJҗYs`,úcͻvt`9;n>\jrQb}IMvP̎!ff1iѨ:nHH+#d)rl28L;*{Ul #8jEBXRA^A>V5qAnY +0 ʨ0=|OFoח¹sXU{jt + LightweightJavaY7}at^0^d<5꣕{5B.vb[^`~m~47tpE}˾i1yZ-PGXckUVc" Mo9`њ㢲#ax_vaeڬ7~e9QQ&͋~!{}amFnd5BZ\dQlP"Q݉'!}^=^b,1c ezqZ;] qgYZ7zXZִF! ]ŗXi%;c:f 4ϩ Wf w C`sG@W$&OvSiS<*+4Kֲi$)"JػrRJm/}~)fIjXEQXM嵺TdRfhKBU}J^j(H#y66oA*N熰K([6U\&mcnjb4C[4.P-c9$W5+{za$o8 "ʭE\"]97@b=}Dn#vdnHwU}\t|>B[no)L:.bW|.Fh'keUD[S@B^u:!Vӵ++I*.D KH~G2 m2lx*g<=8֎-dǃkKq z>=OuLB(RC}m]hI8Y20Лɿ9nB$K[;׻Kdy7zHT4ߥI54AL8D5ql -$ 4)ݸ'y-H˩яTBHm&Gbv')>.i^.^ g1p֓W` D$Cv[ڹEnbXDQ;&˫ΤyEkCV1#MV`)y:O?Pckcܤu4ϔF'UbXxo m'T^6#7|J0Xb#M ~rJ ~0a+reoqxOUЁ2PgպRMXq7|9hylc}`G2^ʂv#)pZRPl 釆DSp? naGlA&`0#ưcy+BtJx$)$r~)^%!>ijs;I S驏 !Sfd8m'&2.@oqhֽ|1P4E(n#+紭W3X4%r];Gɒjk?`7EkDy9 mD pT< Am7aNx< 8qPItgwA`}firB}4]ɪZ+g=82J~Sڨb|yT[_֍J.+C9I# BE:i7aYn7ʹd0—v1f+ڌ3(Li"gM%(nLb0>?%)O6O %@ry }`Xrp+::(H^GI&{antK5΅a)ȯq?U XUah)EΗyN"J̵>~{MT/:EaoV &a?*ҋIua`(yyz+횎D0ˈ*ZJQL:V>!Pg!fpY˨ƷUF¦%wZ'ًE[d`G{jžtX/ 7gs QR$MSnC U*|$nܱS>rc* ejPŁ/GE2IVXMxPM_W-0|w[' 1Of@!6h_ SMFcTSqӲ$Vj2D=F;s?LқW>9JW45(_y, i߻)!o!o L79UΛz = bO͔9dHN8bWuYͽ+ߋ )C7ٽ6gˡY)=esY̲bRlȸ߾Eu^0+<_٬@LU3:G_<y?1CT]dbgֵMa)&I2\SxokkMV@ y#`{/l-NnI w x%i節G[6qMHZx%[!W""PbmxSb8R/Ib/urqn*6> {EWv-h#[X!-6ldqfxu1Öe3p៊.Dt'\\'YFzx50.觇g0_$jng C L¨ƐEɪrLP5:kt 0. .Oz fñgYZce3bcde9066877a595c9d1d55c8db433bfbd174479d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 8e20ce849646d33245e5b8e0a39681f1fa96c617