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 y1 T|< ] HOL-Imperative_HOL:threads=6elapsed=42.076cpu=61.664gc=1.664factor=1.477zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi} 2=L,^K]^}j{MtER3,takP*CE)ghy GolMW2֯nDб=P/4TRk}3޿oy.(ȫ׈~Wn64!"v!i)2iR6fSU먩I!P*L:y( 2&Z"O_e0\6| IFWfG]h$`+M:k׌d".…:s{#"Ʊt_Z|B@!kyƐZh٘['c ү-6SO3+3~/>R@[tm3MPl H.--(4]a1O bv麾hudbHnnk~D?Vmm[-%Ն!>J7PD%.}`á8^ H1nOe=Q $N(%Qke=;@G5k9H%Y]H_*IHo +AkJAlyH{jpQ;Zp$ S6#{rQ`ΠrB(sk^י}F3b梌LǬ=K&72Z(PIacNO:C8YzaG.1:K.PIB4ekE޿4n`Ⱦ {r6ګu|җDc9SMÎ-eu]hnyVIAtJ${֠ZsZߠt '%g& x;yT.-+&> ^!gYZ7zXZִF! 5]ŗXiɟ1nhЦx"n_8N]( eOtd=gP=K)WUz#E :kA9lUp~AbV2r%e)u1e9$ (C ~B] [YE ݡP=ڬ mj:0i>suJZ鋅^CZMQ _xGxriΑC .*m|U]TP{lA$a / RVOG,\ h#,ںEOD3_nGo* |XXRƱܳYEwnݰ~O>&T4&PIcV_GB5ٮ+cl3f #0|,nՔIYL(*! 'D_=7-x<>5SY [[QP%''F?nlzTs PY>@M?чOd3D[-[T | +oPWybysʲ!5v#T)NJ^#N9]D]#*V%*֖y؛Pm`+E"f\S~>ѲZ6ܚ֙vdҖ%%XM8g)I:A _g>9%.'$V|q㖸B e[&e5lh?oTkwKIPg)Eмy1$1TtMqwiZJ[ =^6')hؖ$;9eo95'1|Ώ? Kr-]ƺ3Sa PѺ)aS0wb`G{fĈtM{ai { >HAAbF 0^_0فlIgʎB*"9