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 88E/tt \]S HOL-Number_Theory:7zXZִF! ']ŗXf1-q恈D='-/w)ߎzK4VǸWJH|rzQR1'$YQFcǿLeT$x:'qeL>/[KqX5j͑ y\p0d;yk) ] #tD M5b2&6#P3[Co5~}9XzHXv34&{00LG%H΄!(A h?;ɒlRwh $7stRPp/FƂԛ),v='VħoɁ \&rT-lKoJ{Lt}!D3ZF]f_i1:l .ea &kd^"#c?=|Mlo/#Xu1o#.wWӛ\]@gYZ7zXZִF! ]ŗXiɟ1`?#6⪄f]e߬vO~4oh=щsms=2BʄXD "CHk&VR G#4.wгTsjs@ 2|P_Y3?H(d=ns>rGP+14PU`߲[G=zgYZ7zXZִF! []ŗXi%97;ivJvio$C!ף0q L)ˤvڭvXvr0 ]WJ9q>Po*9 ebzp`ϮSy 0{8+qэponښ ݘ |<}Pjts@ؤހ'jE`0ٕG䠝QeuʬWAuL;p(u1Lz.ڂn,'^sD~? vHxr'FAMx,k߻M?'GPW&QED\bW'o0uNX7C1)s[BSy&8@d"ט+u̬i\x|6?ߨEd|7).9>}3˶q$P4wԋPh!wsh صGD{6'yV.h|rS;T/j~4WMrvwiG@Q_L~ <3}UtqC<]E^|N@6Bw#5K3vU(r}w`]hj$~4^Q31^O%ko>r4×Z=ޟLjzq6QA,2SS:9Ob/SaXGieo6\h˫W6DFs=<̔"+(V?Ӣ5Բ6qmɊoiS3xL2g J;/28#w]2tW$pAbQm~7-}lN""wK*50zD3(JGkd׾W-5z3/i|8 5k&ఌF0QIv)1 0NvKHeT\?$.?c$[F_t4QtKgw,ۭ*,EaF/4ϛj3~6MӍ&0"g%-TkJh){ċ~Vƹ . VJ6ٌ*lDdf 鴰7 gNPҚ?]XUe_B,Rfo[})>{]zE![ڨvWi~f