SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info U)4D ]]Kleene_Algebra:threads=2elapsed=54.224cpu=91.296gc=4.336factor=1.687zXZ ִF ! ?] ŗXf1-/6vRZcm#kƣOw|ё ̮/`RǢZ`23aa<@TeLBZ-m7NwV,wE͉6],hɴ؎U%' 8Hz>\dfVܩ^i?q)y7Ck1Î6R +=Ӂ\I fSfx>}ÓjV _%qLU2Kr֍(N cbIJz ,y`, = S;otCSr`Ur80Ƥ?>,*8BJš(= ~f9㇎BX r,}t륺6.&4hDSˌe@5 /pt3'Mz:9;:G4s,41(W3x'pS'[ͯ'ILdqJÇU۴3`^%V;7Nyw^AYeA~/6tzԗxZ&ӋrG2a즆(%L1ܩ`[ַ*#Qvچ]vNJT^B\"tfPzrۦa%ajdۣGl8J_\bZsP^=a>1[*l+KuNr I=eK/V>-}!"U{NROؕs>ᢂ8ɧw1Htb;*@uy5DGCq<4nYq.]KCnqq<6+~gb.iyMdS<*'y$8nDx,