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 $$Y D$ ] IOA:threads=6elapsed=7.109cpu=28.680gc=1.152factor=4.037zXZִF! U]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K C gޟ 㞳Hj0f۰x[Fi(^R1#7,HnS%S@v. x}j %g J+m3*k΂s:#\ !BCPdIuy#dBvDx*u "8dG򢓐y~~N~u(DSf߱%0;zMwfl6 P$ɽ'֭!T9!qw0PH '. TCdMHœ[固S]hpvp|g٤qQϺ2jףYzy ~hR!|jx_wqrN=',MWth#5rCĂC8ydHE!Fu鷟[W A q;vzK tg;|qǠ/@i})ӨLjgYZ7zXZִF! `y]ŗXiɟdN'LvH۹C<L:ޚ.}LաLp{#Otx<ȇ]7sczi͊hA݃:"ͽ_亼P+9TM%+_m2"*-[mS| w}JhYg3jczzN,A\(tr Q;TJxa,;19 ݞl%d9K$\'ndjdǪψ݃_ 'M65S| j+}ڽ$VWaR'V[wہ#;h|V`P߸pRM׿P C \t)$2GnF v gYZ7zXZִF! #b]ŗXi%;ŵtBS,Hlid̎,<ݮ[߃Q8&=Z0'ΜL5iC9SI'JeBW P ~2睚0gR&\NFW0zb18`Z0Qͨ31a8l1H,:a5fÚ(73yZ MwYLoYPHlh`mȩ:ɤWzbus $OEHv̠r%t"ؘɫ0P[ x ]Ml=G")KN)}O.xazG 7<@i{;߆>-pl%.4q R4r)7Om{P1w3u+ Io'aUdZe--[= pt͵8VnFԡm@G8⎧ Lz)ȺȼISؠEY h…MGƁЎ98`³!zl4I)7-6 %銽8dǞ%Ls;!J"B*fl^ݘ"uzW Ra{.T_#v7Fz,'$e}ؓleu%6ʔ~@ʠ[@ND|#*:`r2&Y >= gO#YzkUEe? ;TH3E]30[Caz#kG!q6w)}Ai>Fs4O3oBಭNĀ^l{g=9c#u4FeŮUg6ْW9)$0M9گ-q'M_ΌRA.L9 F?6űgYZd19958a4e5421ed70a9e2bffb52b067ed6ca381f6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 bd9e806d713320e48df8a9e586a2a05529fa70cc 8a13c13ba4aa78d7279908731c7db1833032dee6  IOA