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 b L  ]/]HOL-Word:threads=2elapsed=23.026cpu=43.732gc=1.852factor=1.907zXZִF! \]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z O1`p an@ϡvrgiTz.HRUޏZ1܆ÑaUJY*Q3ʅ:f;_ TSuÔW9_!|l\Fgҙz7rTfj #dDZDH!*L4BiO_}57`6&Z6ު=SsqofMnE;pR^U%_D|JܖxX?(%E\!{ےƣ 'j>3GuU%|fJ$OdK)SQe7x1ɵK1k(2r zv{K4ȡbRN^l%y\Web#٤:HQ/_ A?^;R$S;f,j5g' L;7>Hh֮H &`{GـW:ͺ`f[+z;H._GXH#*U ik+$/CJJN;[#| {Yb:$ǍgYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&BaA&+|Sk0SnpS5DcpO)E}nWì%)!AgSVu࢟B y753V94~rB^a4e6&J`>Z1KXd|T&gB]/Fk ~l3v ^VW^>*ŗsi.d[Vk'e;r84nR]QJ4؏]Wml9?JLO W:TJj %G X:W\9 FG{7ui_vi\@xp !WkWs{ ]#gYZ7zXZִF! ]ŗXi%9*]/:߆26tMGvP{bTEӆD)T9وf+G%Re]:m3(pT|jN+ }ߛ+۝S0kufUA̦XiK-4f+Мo13ҵļh+\K|r_뉝Ĉ1ɶAqCa" ƺ=UJiuզìm=h,Drͺ'=S+pHH1o32?7>%-fHn=3<\Vp$2E Am;Cj6@峭?9CW&pQ{Un{о2~Pcd=EuaE/JYOA@ {\HP^#nk 2?]e`FלYO*\LQQ+Xۏ~8ǧ!C]XHA,K\fWcWp볝gV`Kj\?]cXυ43PJ kBaS,C; xBdп>CiK?dsoN%qj9 U[_q4[ m"GTlW63Q() ї w؆~OPNE`dFު~/yn'(eլ5=6o|IaTwد\b[tmk ],mA>O$6BEWRJ28)[l^ xXVˆ-טW6r_ôL1AOɦcj|,^8sU:(m<0J>póNX2ˡㅭtyo`;TĪkk) ex|`dP[2FRI$TkG 9;Z\B"> >߉Q22PKWI{m-