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 P1 tDT ]/ Concurrent_Ref_Alg:threads=2elapsed=10.181cpu=17.840gc=0.380factor=1.757zXZִF! ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D[[*TC^ڳ5gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu"}mƖGˤ12,+KP-X;Rd[M\ GswBo gGCh&qBŲI{Cy nG#=".,&엱}Ѵ8h m:oC~|I>#"~!ͪ! 9j$3\p {nPH3',"ÞC爙w8zbX8ܖύqK}I 9 ӧ>zTTPdv뜤gYZ7zXZִF! :]ŗXi%9#qw7ѬnVL?/ȷ)`dH.7t VD7^bm5uHG*GI?}#C)mI t(siJ98 [:B ESax \〥c:޲:O*ȷlka+Eh4#tJ?ѭwGP`횘W~J=9) P+G+{],-ӖhN*/8&K6$}KEwq 7i0i$kٝ0hЂ.vW#jF5s7f,Y#`KM`M,TLg+ <}yc#  )XWT ( bH?V011ZЉ2T|}{ftDs vgI!@L<|8T.[*.zi\UbvxJb(wU^SH"d7m+n=(و#lzhJrS{g&<5+ 5 w5x̡h߉-Z8ET] 3dvdiK"еSY{sY'(ۜbXυ?+Za^-fFH ])!BG<1R`uͬ~Ƚc:`}@r. [=ugYZ51ca4eb8c4598d8afe447b1441a222d578149b308ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 1 Concurrent_Ref_Alg