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   flLt ] ]Pure:threads=1elapsed=1.042cpu=1.044gc=0.000factor=1.007zXZִF! m]ŗXf1-ƕɸfn쉟8"74(ST*!URĥՓdž )r hl^#:VZh:ڳόV{d/qa}{7<;-&Q>K 9:C_|>ұgYZ7zXZִF! l]ŗXi%EXFÌf.*ªHQASϞx$M+sh tr$%͊'O$+=δhoB8M?E k[P9t^9npr?qǖ76XMXT&tP욹Ɍz1/1%0D!hi[H|ЉplJcuK's*9XWTUt>lk;y&*g>Ct ҽ 7,Dhmݣ3 2^3R qδLr;,|Q_[49rxtǹm1XʻnY=4"uFn K};݂sFvObq\ֿ t4jb\$gYZf92419934ba93848df2b49676149e24e66a182fa6d4536567a2d054a471600bb1a15b22f2e4e18b7  Pure h h*')PurePure.Sessionstheory/parentsPure)%)PureML_Bootstraptheory/parentsPure) PurePuretheory/parents<% LPurePuretheory/facts7zXZִF! x]]a0{rg+5\CJHa=O݅vBH$]"BWTTP%]{/Š&`TrωqP|j?Opٻ]["/HP*Ѧ} us0y]>,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:WkY@DbIhO]͜22 ܺ>ӁXZ91愀c>a#iDž<&WW\NtVxS30F;X)E7;~hY8L ܮʚGj-N HB3qoTag6,جE}#0SuS' g*YlRj?`{f{>RYNM`B) C T_lJ]$ UieX>$k!@<<xh+JMOV!P ?8gYZ ' 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\gYZU' |PurePuretheory/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}?pm}3p f67g Ցl̀(,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