SQLite format 3@  .0:  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   fdTt ] ]Pure:threads=1elapsed=0.914cpu=0.916gc=0.000factor=1.007zXZִF! l]ŗXf1-ƕɸfn쉟8"74(ST*!U(,T1@)&>~ѥ==*l'M\R_(K[>@;`F-@3S ݱgYZ7zXZִF! b]ŗXiɟ˚Ћ. k$w|e${AdpЭIğP)L~0LUA)<$jz0blDbbj}76 ռv~:gYZ7zXZִF! k]ŗXi%EZŢc[m2УG~6dֲ֑}]w7PImTK+}^Z,CF/!7N]~O_2<6ջY&6ZnLZl3Ugba0t%Q]Kt >;$m\5 Xh"OS,\WQ,/g<5Rp1s9W/|G׍w"%afAu[J4 ;S6.8."ՌU84~77V܀;;{F3@㳸[ͿiiRjmvghdH[|,vVS]F|4ջjWJ|Z<F=ϊԦN_oa"m `wIt9ߌ2FVG9do"F] E4YͤVfz.<\jH?ĹӵǷ̳kF\XO}n] DCF*x ӻdR[1]e9trH\FŅ(O?p4J(9oBҕwON${ *SJR5>ˊK6dh_(ƒhT6nr[y@.˒~8SBtp.]>{F}XRfxL8G@C79|cOR父ı.U+"`{Yy"*)H e4EM5îorVfV P+n`88їrXd?؈$n߿Ls~cmpoYI7ETƞ]ˮ@<]!KlYRu:],v'PE!+,D(]СI_};1ZWՕLfo =8˔)A ڑ㽦;=/Z\9"EVx g_8Qs5$ FKnۋG#zEMF|Lx({["Kњ6Tl vwh`EN`$9& Sݚ06I pw{R Kz8hec5J؏5401omK7N->Ot~`ZN4Qgޓ\C>L=;{|XqZr@9yq߳<CQ_U]m:Wk-'@"CrpV zկ@q0{chBlg8[(f0 ! *=&D#a7%YZ+:(ydns9w٦@xlmy u #T\)4R닱(/9I֠fF,*OD fzR ܌t~ҎAJ^;BbY W-snᝎqḃU_z,1mh>X)T@sy_OP8`pnM6!DcͩG̔a"3Пw!>4r覹$^WnYvŒߌmX*A3`p/w9Mbm/nt{O| <>|FԻ 뱛Ya]ؾв QgYZ ' dPurePuretheory/axioms7zXZִF! '%]a0{rg+5\CJHa=O݅vB j_}8_]F% `]Jce'.{$+YӞ#f3|hIKV{-?YRf"-.#.b>~ ˕$sR}ǻE.v !t:O gP32%p.#r1ed!E<ωM&B/&߇i%A B2`X[E2_\3e >M,Dgd Xk`h/V".ݮv`'x="Cr#C9%޻쫮8JQ*@r(]&UarxW!M74R> 1R2l0eRr3RZzx3=5 uA(u\$RTa{>ePbh} XN9)PftiFcFxolܴ | 'o };܋ 0kHkKLfΨ-@F`ahJ3K"26Z?͹{m+1]:DwzvCڼ ?hRY߫~Jyms9 KڝU5N{LV'oclN\gYZQ' tPurePuretheory/consts7zXZִF! ]a0{rg+5\YvCunR[E۾c0|bPX.[f # Xz3']"M*:Ry]0CLEj1Ed9#3|j Z{ (]YJDW',]O3gof) ,M$?pfV>Vg |Y騅pņ"zo@{2@⎠X\IM<24,61ѻN*ZSUsȇG?fӸUAjND8=\;bU&t :Id3elgN=s5:~={s.NW 5 U&q_`SzH"U^6b{%AJva] mմ`*)ܱ2F c]?ʁ>;M i!\rȦgOьCyfыCChj{  ߻7gYZ|% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@x4uvD{R8BF?@is(d}t^ub2z/>(,e$=?OB_:l垦U%DGrQ2ynQGun0ݓiQ+Yzc;0Y[gYZ +Qv+%')PurePure.Sessionstheory/parents$%)PureML_Bootstraptheory/parents)PurePuretheory/parents%PurePuretheory/facts'PurePuretheory/axioms'PurePuretheory/consts% PurePuretheory/types