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
H H !L\d ]]]HOL-Proofs:threads=6elapsed=628.564cpu=1519.076gc=237.356factor=2.427zXZ ִF ! _] ŗXf1-%˓S,z!ŧo]uA{DlꇰwqIwb9yG)Hmv%QDJȆ|Shȷ"\ME+twJHQo>HJgpGIB%kC1Ui&ixXJS*g>]٭#b5\Kl&
7N `|Dq[ˣ3UM}&nI 7)QteJ?Oݖ<`wo٨U:}5@aI$x@LνAy6-x Tr+H]+0,Ҟq>'JLaKs4o-;]21aRGˍ[U3VU
9O<6uG)iXUq8C8ؤEї8g)zx#@}RVg6GZ| vG6EүBv䀠sarh
i|65܇/?
Ψ8Qi_}5 A%aln&NhE17ּcәH#Yٝlwաni,\*C]-r.4x)c2X_BӋgP5LpTJET&<"}zX
`JxBsғIsΙMAQ1[!uXV0=obDPkBwnIfp[>2>TFL~+tcD+}㒵\oC.ac+>B= z/NHPH+1Sc3A-4PB
ɎpK,
\:/'ott|ŚE"}Oݳ3IS~VA&^ES?(%ikkLx~͊9^)gC09+U6Le/?-~i`%gIS k^m"ȣqeo3d zX_))Dv 7$0k"+kevfXyeV}k>O/#qM7gpv]wtY.?yv?zH|ru,iw"z!"U&%
C,364엿SGV9