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 qq I ,|D ]/ Types_Tableaus_and_Goedels_God:threads=4elapsed=14.280cpu=23.468gc=0.284factor=1.647zXZִF! W]ŗXf[&~>3op7h{t4gI|±jDND{  =t6š0dӉm|;`B}?#Ґ8\ĮߥZA8Xsc~Z٫+QTW NO uP}ItUDTq "Wop՘I0qzyLDGl:[  )e}b4ۜ8üz?U(;7A 1r.i2(JR\u]kG8M~OeCke6 ]w:B{{>sekJ&(mbN.BB$dMsa!sA"g{cuM2D'(خf (!mVkm*a} _6_l2fLQl0n$l^-5ai,r^S FE=3e%Uc/U[jXy)Z+0' q&9ݝZ"^0 ވDMu %buvSNdsl~YQD_ϰfk+?N-^8{LzgYZ7zXZִF! ]ŗXiɟyFG] p%ݍz1jiM齔H:wZq7`1 8Ы? l&T[B855r8J߫H Ҝ%IlГڊbE-.ILloY߄D{ 4QVOPDX ]~h~#gYZ7zXZִF! f]ŗXi%I oĦN\aBSca7 nRG7Jw)3K&h"b)J~/[(0 4/Bl4Q+MIߢ|m9 1S ?xl$EFVA_}p26wM: M Bh0Lv1B@>DƑSxɇFqᛕu~GosUF50kFǬ%w͞{cmI|^/= Oꫠ7/}N8)`_TkD'=DAF QpTɿPNȦ|gvr0{c;BnѢ5R}ڞ^Q^Ӱ/>Њ7-Ql OJ~l&ek[>t{m2hfta._WHn{eZL'`¹Daښ.u?[XɰLd|Zmk49w=|wRM/&I=O>adƢ{f3denm<5[@-xAƲFeG蚈$ ,p¨Da6f+FOf+Pvhy;̤`$¼@_<:͍FmMykJꛂ1›K%ϕV%p69c uaV8. ?gYZc1a3edc45f51c4228a415de9b5d3cf3936be7a085a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 !I Types_Tableaus_and_Goedels_God