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  A%LL ] TortoiseHare:threads=2elapsed=5.785cpu=8.484gc=0.292factor=1.477zXZִF! .]ŗXf1-/6vR[kG+j'bf{9lfKY]1M&C R=q+K &t Q] @d>''~ZHAϟHV=cӬulKQ^ye?qyth1?y/7z HC|RTϓ$$ɳcDh ܐw}N+,CMCjՑ[rME+=M,jE7?X >|<*q gYZ7zXZִF! _]ŗXiɟgbvȂtU v!W烺C/xy5Gg~Dv@AL}pňౢ<__1\]O{ VgYZ7zXZִF! %f]ŗXi%9(O]D{lA2OOPIA4ޥ*MM+Y/+oX_G @6@EL2vO}> Cx7$6eog޸"p9eZ۞:.Piy\@*)>9%Ï@wLj1HIE7ǩ'2!P=&Dc3ЯtMǧN?yVyGMS?P}.;:7AQ4jr:s"تK11h1 &̛]B0;"l+r~jeȟ}2Ay7tgq|üAn߭Oi2&c` H$OW>EyQE"!17Lyf1 |qA3L ɪo߻,ȃ{[5Ɂ%rb# aFwYqCW Vdwv eX ۃ,f]oe1;*OwßuQX4Ja_'as UנyOe\J`gYZf6dea46401f5fccdf48738c10eae0db45e8b02823bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1a298acf65fb27287d69b79e5623fc6ffe185b72 % TortoiseHare