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 +) <| ]% Groebner_Bases:threads=2elapsed=36.672cpu=68.176gc=2.264factor=1.867zXZִF! ]ŗXf1-/6vRZnihNsDJ,anj /0uf)d-BiڤVʅj|[2%́cׁ%+I8h}z0]ڨCuF6@[fGi Նd@ Zv -[{R! #*'i.//R1ʓ,0ɭAu52!)fXꦌN,F  ǫ jLt(Q| {x\ YW+d9fb5f(1缌\hT\ ]"_`a m-z=:9,Y(׸sЖh~W R {HpYj}7$F]- ZɆƆXۍy׽n:!EP8Z_C:UXV7='7*47**F~Z+ot&o)rqd.F;fh)"&\irI Ls[ 4>/GSdMK ~/p6`+>(@3{ݍqm$<5NKWuT 4XG_mRBus3;A9Zo0%^9~G7:KH,+H$R:9ЍhEQh.'H',Rz_'[JB)v./)4~!xf;)wYܒ#9ajQf?uH<뭳0 x\vkڕ,7# zG2tߜ(*nkyO9mWH7'2PY7=pӧ,\fXcK*Xz"Ws=źo3F!nFB_('=Kj ZgvrCAw;':} W1:[.$6lPB;ANȻwi>5m1?aeI[hڨkXXi VfͰ20}5J)Ȉ̍j'‘8?¿ v|.06Ҋd#UN;FүʑK SIؑ5 Wb4^6{ϭ/OEI1D{sRoVznJ}brMa3Ly/"ga 6d6#nMw2($VG|KxNЅ"j' JAKi .0? Lk8Yt]JN~ȓH8P5k^,5i|J슽W ,A?gàgtXWx\T|1Y׃C~N!X@ukP6V*cTkww?cƃE,.T[wM\qR4YN]Ghrm1?m`t!x{L88p}oQ9=|%uEؕe[Ӵ52P"C1N- yu ܂qv2t)n5jB HV!p8@V59E יX77ɒrnнQ]@s9-hs\[-P?̺  EE*rQ8^KMm