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 NN/7 4t ]/ Transitive-Closure-II:threads=2elapsed=13.094cpu=21.404gc=1.020factor=1.637zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyߪK@*CHT|5W5s/ ٢*2b\1({i0BV`@^* C/7Q8`0*5oGwMW= fVR3~;en<ݾ/!dz5xIIlU:H cC\'kıgYZ7zXZִF! ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\#ףg(JLa:YOa~3j/VmK.V'AM7x VY" ^  SzDO$lY XH~Qu؎h|7tsL 7*,V}QIfN=/,1pҦVwUx: )$ܸ刡e(V4Vy'L׆g $gkgñgYZ7zXZִF! Kt]ŗXi%93-}Й+<uVeg\A@Kpm 'gx99UBᖼxŻ*9R姆eC\aJlW%3s;IU4YФxQgT{TN.b EhO jI_ jv"zsX H$ܪ*Oq ͌#֯'ogcDžin=ݞW j8+ տB@[b$.LꕪB&%P.ZcSPE)C-ޝҹ( hѝYZ1`"(n3;'&ŴP>|۬8N[`;#|hR`-pxeN֠R͑W۸,#9TP }5|-%A@PFUxP&N-nl ν.!((w;=ވΈL.oq&Jk4Zh9DO E?)DsBBXfh£vT̢=xw2j.Ù|7D'#WTRV !v?4%K|;Q ,NHx7mA 6-;fa֖~~gާ3*p!"l貄RS0J"ȔgG=m7