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 3/ ,\ ]w Monomorphic_Monad:threads=2elapsed=21.150cpu=33.004gc=2.000factor=1.567zXZִF! ]]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wdkf$-()Nb*_>NeS 85[/~}b~o2%Bu_ܐgxv"Ck "Z|g `b\m֤@UnRH[/}c?r}M|Z&7+zNl,DŽ'>);]3_d?Vmj8Ad0?B0˭@!YwbTʴ4UCm8D6RM-j` M7?G4٥ 8 U'/2WA_E)m:~ˬ}H(:F0R}V]n@K_G7gYZ7zXZִF! ]]ŗXiɟ.:QEQMRm}!;h; N# Ea>_qT_H9f4*Y|RzVlI];5Ԛa#pE=CyoL!wF|PչK&>YCx8* f7hmR&L$fEӖإ N-r CgYZ7zXZִF! n]ŗXi%6 '1- -q{; I!,?*WGoU}Rb#`i$o+ZnzJ(W@H@ iV0pv.lz#:YjW 9AH_'t TesfWbd84cY>֎+fGJVɀ^MF+Vg14zߝ_TC@M{oNwe5Hy@g_$fJu@ y|ta>>2T~cթ ԯ>sy K}7ar-;g*{d lIqRg[_JV;vOU^z{םY¬71/օ ֧KMpH F"uh3PB]}zo { 8#OωٌH8Pڹҹ_7 $djl/rG]%Ŏ Y7 Ϛ7F3u/+7y "|p3߆ Z4O# Ƹs``$gh  |BY zoL^fD,GfL=󴨥*R i^()Ob&M~Wc;. Z9B1F"TmspxռPځM>W0 G^ ] ¢V[h i, l@fWI2b7q9uk]̠$&W6n,}y##))~S~Kp/qI{X&Ω{ ̍B_4#IbwY;p5st)m${Km谲?Heyã!ik㡒XPI|F=y;o2tMkEjÝHQ­B H_D,PdQ؆1buV]8 @{ \H!"-E1)'sW,?A}8W ƻs?AHg)qOt(o&r1Сͫ$Tps~MYlt5ϕ,=rUt7<@"[-x)?_%䙮tK