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 jj7 L$ ]/ Transitive-Closure-II:threads=2elapsed=13.640cpu=21.812gc=1.016factor=1.607zXZִF! a]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" m9μr`yCZiՀk) j1]Y"phı;2Mΐ؟`W]6 nݤ?BDk Hb0y9Xu[Ʌoh罆۫9 "qaJdu.sent6iq!/0rHm~DWgYZ7zXZִF!  ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\KթYaUۆp~mV+?2_)2)TO+ufY?2lvUip#yId&'8,ac&֏5"}D%"K.D[t6]QX.iu$t+z#xQhؔKlTrjgwä o9kך hE]g,y!NitO׈TS:=BĞ Jz؄djs-_n4.7*aȐMB.E3_ޢpMs%cohu(V-I&PV:_ <4FrR3dfY;e{}b B2U;: 21 Jf&c5lcM<>Bg@Tu D=r!8 qQ ΚA{DS& 5=r>g\&hV9u0DVNHJ> t_ "J7@1keDYܫ:׋<cl:K~f2ä%>W–kĪ#O+>3!4CvU?]qp 1뷬 b,kwa`p%x(KS9$Na -pNtqK^"(Z ,‹Dp{*EiH-wOؠe2xN9c?ߗ5Y#;jJSҏIն^ 1IJ1?؉7mĴTbvI]?7"<ΝzN0+Q*|M*\v*c=g7Lhɂ?ie& )CK<'*+p >.[5ce F 0#dU\̉ /I;,D~ p$gYGNnlnJLk<"4٭dE%jg0%