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 ( T\ ]]HOLCF:threads=6elapsed=15.003cpu=36.460gc=2.268factor=2.437zXZִF! y]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H~$p2y~~>.᠋KFy$)#T)Gz:3)ԃ9p8o+M\ @;Z Cqc4};/oIg{͵x]v]zpLKh1f]hnK6sÚ[-Y﮷]odI`1-miZQ0cCI0N^='>P ::QU]Vr-Ao :q0 =τOr/S#E+?ĀIcrWC@N Oo d@gVOF[Kȡd(uPTXh,Wə<ѝJ+vQξhH|5ј1eI0 "eceΣkYC*ŧ(wcĬeIUǡݭh=42yv(! )St9"rC ~h~?uMrS<[_ J(?1^ƅR5w㬾сmU}zmq[rdRgJJW ̯+xR] 4gYZ7zXZִF! #]ŗXiɟ>Ӈɇ9S2]zj?Q44}gr-"xbq ě#Si+ )DJ䌇upq4$mr< ugؑQ/d مJqAbU 6@›PSFK}+ډz.BԳ }ѵ۞jE^?ĘS"+u鋧H-1~pc|I4.]/10s9&? zr'Tou|k2ljle囌y.y8,+aGЌPM *{m !~'C/'-e&ĭdmūY3Rtl|T$.M`]eHKaD G0$tOC*wCmtY6 -3Rfyi9N7gBLx=4L iXo{L AG B9̷0VkrUwm7ed6.=M,Pgա@`*cvB펙t6"I ̧ gYZ7zXZִF! F]ŗXi%6ZprI\  6.=>zyy7-^x0)Q߄RԮ{60zCcY:ٿ[MLuobd{uP 2Yt)5!~Ꞿ=9ZhC)$*bY3Z" LJGw=lʣW2CıqY)㼦Sʽ+*xf. l^W=Ӭedy zq i IZ;V<49e2 i74 ։zQ[) "0=KR=,=]dO}rJXR>_=M"|Yۨҕ!M*}T"L7G+zs‡UҳzOyYr싻Ix_rORP/4I[ORw5~GyLC:O׉avG([s4Hh[ڭ;\<=hʙ+<ũh