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  $4T ]/ OpSets:threads=4elapsed=17.205cpu=55.292gc=1.148factor=3.217zXZִF!  ]ŗXf[&Zyq1/F˹1`2W>K`J}9w ٧ؾLt|P _Z`S^Cb  {ǜc+8fOI( /fUg"2Vܦ02뙦5B9bMniKryę0"a,ύ{ >vg‍̗Ŝb 2u*W}iƅidRV-=6H~v7<"Z{Q?ۅ5?:9#o 5CQk1ZPNb\Hɴ99nAc4I_j"') 2_o |t4Ěk 7j{J{Ӳ@39xtA@CtG.X%Texr^ J(DU~+5.︽I Am! I C="HYU-̰ۣa E ԄFt.FՈ`= y_7"޸wo`_m18_jd | 㡋8&U{ߞ֣%,bebD!aְ׈mJn>ao3ҀIΑ"+zZU䥵4›)N\u^} : 6$|535G NaSTw&fyŪ m䃉WMFZzGž&g`_BeC}qGY@g{7ٺ Zeqi#,(i=u7T4^vfWy)67 fKiAiRh(GG+s50ֺIZ8 b`-8Ǩ]Z_c].mG;ȮOVr~2wNo¯5D> Y'5s|K6L:X-c19%pm _W4<j_de:D,.cM.G6/~޿5R6iͿ Ic3`nk?=g\c"{;_\DЅ/ _0s} pf;f@>Xѐ4S+գ&BxȽ+x`!UvZtfCP~ (E!S7*Se6Aם洮O;5#fݓ{9y5O1ҮԱMwbH7dm7qDEjD-TIã:ETҰ$+B@7(kpK9Oy 6C޲w.@pDw2r1aaeԌ3ƚc4DŽb/4Xe@FrhEdVoEzV_Xu(A rjunŢ(ɧ`T4wmKEq3 A<\5 69sT44N{q;~mo6pMBw'h: ]}l&KH y!CgFTJGmZΟ,aHrw/𒝵"@9+(}䪽;AK:KeX4> {yFX!K|6D@@r[2-H@花Ky|Q ĩ~#<) pA>G&h]#6L[YٓgYZa0cfefb041ae491e6069f0f9d48d00d270ead5a2c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a   OpSets