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 >>? l|D ] Isar_Ref:threads=2elapsed=10.794cpu=16.844gc=1.220factor=1.567zXZִF! o]ŗXf1-8>l޷VO +҄RXۼfxAa%ka}.,S9'Nf>{~ke J3g"X0D9H!ːAxU)VP :>/R%:\(zi| 6|bxORSLpc3A* QD.soR?%{݊G<3+H[:sHD΅ao~ȧmdeĩ*vй'hSԒ(k:f~P{HˌV Kvۼ!@(L I Mε8"l+%90??ʡ|4&wBgYZ7zXZִF! 98]ŗXiɟ]O5-|01 Wg9Ъ,I} :ɠ!f˟䈊QTbx8Jl*AZƇ-o!-:[t8:Alu0n 5 1c;z K]&) GJkOxY @wI3A8|4$*w-,=6H4 }^E?[bGaԆnP_MluwR`G~y1 6?voJ#a `l[6aߙb 0o5@^+WI&LgYZ7zXZִF! 3}Y]ŗXi%;XV>4Lz%%zzz{󠣊\i-tB*T]D"2sөD"05nk:S^ɃMPx"nEgdt/70.Cև$ ٚvOBh/jhS3 2\Blz'N'%IZTɮLxHu)/ z8eכ@a3x=QW}-Ma@]z{kfnoz-SEWB>AS7kl\No門hϐ7[:=j}PRdAθJ|A+K-&7>iKܮdem,5X-dz .X~Ǹ}E-!݉t{Ǎ+6;nh[Uf^iřC|՗Q&uV;z:\PBs-m<9~O<