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 g+ d \ ]S]Sturm_Sequences:threads=2elapsed=40.798cpu=77.532gc=1.652factor=1.907zXZִF! Uj]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5er2 7 giw:3矊jJV\=!0MK30缯21w%$y=UQ2aŎxw5"ciTö&~nl2Eߺ7REٳ]}{_`h2{rK@RTLVBikVLa`jk >"Lk  K0POD 3|w#"{s39>\#"ګ0OζU = t< \;PG C;(~)82tċ웥s)3s)Ƣ#:yZ'WpB8([Y׎ϑǰqPU5tM&%DW;kMJ / F^Rrg$;ejj奩Ҡ6B(ʭp>-M(פ\B?Ӫ1EE#iw$v΂==,dtcCaw:Ul}kQ[psmPsKvmp&.!gYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ nߛ[d[яjoǀ )_rm [Di"k}Z:l{/׼~Bme^yRcr3ʪb*piT[}=$<0so>u0 *r֩7gYZ7zXZִF! ѫ ]ŗXi%92'hܭȥ뵾%zilP:JWi Q{eV{ xAb21\Bft͸4テɦ6igtfZmDw D#IoH{>xnʗ^{೵Zlt]D%3Z)^AY'^Yۀv~ĽISI`YgE jbCX? r2(@Pݠ ,Ò{empgahO{Ԥ6?夤堽y5v$~&DH,6M>тWjz#WrBWWTo!y*;%bX[}HiFԜn=JrbGt"K@id=yZ<;u1)>pPn%o_, i-dBo&$tՐST|?ăXEARF@i(OHTLN~Ɂȵ;\|xf~1$-d pgn\YB-Z i{@K2_4pÇJr2USn2 W+(L`FR i:% zA(O'a6QKKY8fa7$r,2dgYc6DBv}O5I9%C.&`W_k\%򏥜S+r}!hU␦.2f d?2.' [:H> )ba2G`ICJM7jUoV;! gO@Eңj\>4ُ-a)rL%I8R!kA#C! YZqq &QtuOW{ Տ"?qs 7՟NhֲoC ~.7Q r &p. L)Poֱ/k痋iO8hN{b`ͤ5̫yv > ;A[/6$V!CE"z.sW=wZ&3v畗(!Apdqx\DX9ttxGX~3:l^#AE7@*sRYnRL*7 N; bà @f"zJAچi/$}0IZz؍7eE<e˶fI®g8$l >vӅ'B"s_(powfu;2ɗxg҄83GCG3Jʥ 8ǒ'\ŽWlʤt?N dv<⒢RnwwX]Woq-E:d@fB?+(ǬrJ 7PƉ~^l-%L? >q\3Ҽʣmb:`bHs*7P3 a>1j #qS?sF"g(j /K:4sT&E ԌeG(+^sN.Ɗmh;Go_s,O;ޥ֓$hmC|czþ9Q vܿ$~FT mb9^Q!t!#c'ntTO e#3Vb.jH-jvuo#c3A*DMV fjs™gYZad21904e2a3d76f4ef35e696f138c9ceda822c08f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 46bf87e128242a537a5f1eca2e017689cee9eaf4e78594cac234e3441c086193f04ac7f5a1ccb74d + Sturm_Sequences