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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info x\\ ] HOL-UNITY:threads=6elapsed=26.247cpu=137.460gc=10.3327zXZ ִF ! N] ŗXiɟd)&]hS.J}+%$Lpk1RХH-BSLHJP#-ꄩدN 6၀eOEBUV& +V@ü$VWIѱ<1+$J^ 9WGgPꆹq6JȮQF2v!|R *~RAS[Ϡ2(=wXʑu`Y~ͮCv%
R؎Jq3` Ƽ&.k/
g
4uby+:2ʘx-(źϵG^C;M%FJsY5N>OTEv7dM;ϽGXfo@`HN+c9w;cR6d$*2'Q -/֤ knPMYm,y67Lk}]WTL7Dd^~Q
f#Qd"']m͂W'd<\>@rW]ZASz@hbΔ·X@s[DDe<?:8W
&"mcL3|WQX&Qtk.Q.xY`nvKXsO\f&
M;cKY%(o(zlDk@