SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  % T4 ]/ VolpanoSmith:threads=4elapsed=6.861cpu=15.912gc=0.660factor=2.327zXZִF! b]ŗXf[&4Pb<h"֞y[b45Uܵ`v ހ8rFfq49YZt~SkEE%_5DmΌ)1YOpKu룩 Es;z_ӔX᤹a˸^͗QӱcX/ IaF9b'2M_926pO ՚ux VгYl;˵ lv=un'䃜Ea砏Kfu*wL[ޱ쎈 i#uwjd=~|,ֹ?d~w1c5o+¢]d-Uxno±gYZ7zXZִF! |]ŗXiɟS+;̕*A!@l@?UVfp+.U.M.ŅƵ)"u,;4t%}l43 /lQ7}45 ~}l4IȱgYZ7zXZִF! :]ŗXi%L 0"@J  qToi֎ij9@l^:_ޒ Dg&jX ">K#wUr#a7o!suo `cA7ҭ׾-rwߨ_F/{:ƙ`?:+AUJbm+{ٜK]]Lzx OA:T a\u27~$Tg5 Tw'iܵi1AxUz6˸D^lF엿AY2Z %:+$k\J3_:]Ia}Y]{qpaǜ !6(v-E\I岓9p4=Q:~t .؉u'Wyt0-PЀl,q&ӷUOۙVE.s !׆ v (ոA=YRKpdFuQĕ%UcXCm  ?Z_ޗ/:;$%TBGo[@@S @>֦aA-:yjRGC\=a:WŃH+cv;%/U*c)R}U t ogYZd42951c714d4376e4c4cbcbefa61d44cec68e3b8d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 % VolpanoSmith