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 VV' \$ ]/]HOLCF:threads=6elapsed=12.609cpu=40.108gc=2.428factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕ Ġ257gU2a0?Xk1?)V>Ͽ\T}xab8`QG?X؞, ]>ُQĦ?8P )5:TsF:S7 PRI%P%pk]&ɿʬ(7K):lʌ?H )F 1zi:7N[!XZnQUep9*;WFL[C XcKq?G@|+URQ|ѧ9r4+VZ<2uY|s5ve2"ʷ -#p[ى Aeq/(&@*Ǎ*ڎNow,D/E#gYZ7zXZִF! L]ŗXiɟ>Ӈɇ9S2]k1{ai`9WtAi[o=slOFt|̕*I8VRrw.p1=Zr-9DO$~Yno/tjqKb{`_0cP1ݸYP Zm*Z@j^ Eu\A:_PokU~0tލtf<]KEVZ- VICI #stSbKu3e퓽b,%94`vz9nؼъZ0gPplȜ2"m&{5;-r/,5U_Lk43TN2k[efQ@mQ4^ j3.s*xJ@Y [.ź~9B:̓ӆlki|(/_ k .J>uzipVnĵR+@w_(~㸱gYZ7zXZִF! E]ŗXi%Lnyy+}yQ@\H}=Ye“!APaOn[ G4xH3 2 2@˦ѻQż:ߐ+@~Ap@s05'>OA-?Kԩn@6Vi)[aNlb~Og vO*l X\iܭ42nF{L?2+8ٖxIR^,׷|WݱԋP3֩m{@GHE|Yp֗Axv,(уc;N[ٳO(Z{̜Ʀ8v!)>Z t rKʃZlKgf? ƒ4~EeKsqC'O6SgS'+!py|VIm CnsrquC{…2 ӷS.?lZ '|+_iF\GCϓхJۭ;K Ŀg6ر*L _HD=4fRDY3޽Gq&"? vBcraesN)0E\2| S>AlƒlLLPٍb3=thPB0![&j1E* scH )9kkmfۥ,LfA9a.=:p? hNBeRo{ Q>m!'QUh/^*'NVJSp\MZ@i 'P"gYZ5d885fc09062e9e3387d22602367be5de010559783cc805694bc9911202d3d5491fa3857d91ca92e 1267aff52d0486a39f53972086158f862dd66e5f214425550214caf5adea87b21b6bdd2d4805c56f  HOLCF