SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  $d\ ] ZF-UNITY:threads=6elapsed=5.980cpu=31.004gc=1.360factor=5.187zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb9:_\9s4 ]2YlQ5K&,Ƙ>8˷cu|ke݊(6oZ!Ձ%ЫI6j7OxՍL>:Af+$OےP s-oDV^{.Z#sU+b1lY+1:o+i;Te'#:% \#0[r c20S"qypY߃gmn ے4pxlnۓ|(|[g. Xk/M1w}2DwpY$>=Ia%{4k6N%pwrdgFp#L`$Q2JZp\W:ڥ͓B݂ܧA*J7* J@bW#k(dc S3~nRsOVͧGYoN9t}ABW&] rzi>%gYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP7$P`ZuݱmzWK]PMysP¦CAa3OJȐu,DSt@TM.146kFҗy.3RG_|VMZx˴;WL"8o<'twZ S&.~gEQe9e,*] "3F33ŝMϦxY6bN7dZ~ *RATkzv8yTK zga JBq1 |!~v@(#+ 6% tM,bjXIzH4HhHܙonv8V ܳбgYZ7zXZִF! ih]ŗXi%> 3@Xt?JA_Hzg>+x"}L(CgOu sq7tClل=~bbZQ(Ƌl2ϨajD{nDo9LɃڢz'Y.M0᧖R0}ԃ#IOY ]Ybɿ(I8qb~uC$ ߜM =ƺ[߲+| WWvoNu׹Ji5$NWodtϧM嚎ehc: ~T#9t6MqY_,)H ,zUx-~G=TN~jSG": d,RpxU/+vB/W›-+!|+'ۃe7ccgYZa3cbb1e40c6a1ec233df740e7507c478ad62e84ad65ba42434d6727fc7f04b55804d146f30a57487 1f72a9a767dce4bca1e7184b31e472ac6b816858 72413efa84d7231457181a60c8ceb6de8d771565   ZF-UNITY