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   flTl ] ]Pure:threads=1elapsed=1.023cpu=1.024gc=0.000factor=1.007zXZִF! n]ŗXf1-ƕɸfn쉟8"74(ST*!UR>[P7HiN-MO AsjrKĠ hxժX`gYZ7zXZִF! a]ŗXiɟ˚Ћ. k$w|f %#F^WU(=Vxgc+c|,Mim]*=c&1x7ېPqN+ , I}HbgYZ7zXZִF! h]ŗXi%E\Ĺ "*7ַL9Y~"lC/F}aR?c9Uȝ EZv]Л8sEe3'.c6F*m5!}t/FhqNt3OW7=Ѱv`[R0}p¤FÚ;p4x}Gݍ|54xI|aTddE"øgW5"$cک댝lhS9KNሑVqYv0?mPb+LnUm{p'Nu"1t*囥65wC yQzuC-Vv=i=mִ@j:hӹ-RbG0|3ӇPE0eeeDHC1 Hh˔JЏV]KYGW徃ZiZ b7ݎUgYZ237552adbe8f2d5794b609dfdf81194060d1073f497eea8787938391457661acf0f01a612c4d3497  Pure p p*')PurePure.Sessionstheory/parentsPure)%)PureML_Bootstraptheory/parentsPure) PurePuretheory/parents8% DPurePuretheory/facts7zXZִF! x\]a0{rg+5\CJHa=O݅vBIYO -yeȉǃ mo Fĕr.n9|En3&tif3$|MҹXKo(nEM߭䬑A0a7R;]](>O%W"V z#\R LKC-`J[I8(% Y`E!q#IRa[0{ 벶?x 24Q Q~;SBrc>TV1uҰjIؐp6^x ϴo%|uf dEhEx#oN|[ڢPY"ZዯDOx : [Œu`5% Z{h}w%{l k}+Ћ BK߻~wguxFU4%RKd.GyMrDe ejSЌey%D♳yw-] 5GH|6d.;F3#|N4C ph&oB?ĥbt8$1pjN5uMn.b2G>f91`:3iTVQ`Dܤ+oRO HCLHNR's!0@ι+b ]^Vi_~ NC\#v?O!c:ѯhӫpǶ\E0s[`)I+SG^߭$"̍rE74 %?>imK/7=րy:ݵ_FTG-Rt8˖ -KʔTr=P{Zg#l]rP1$ >fi1NjWJ٧FsYnX圷6}nŒ"Īzr=o>F|scS|D^~aSuBFmGJ^)G3R@4YVnlp)1` ;Z!/[?6:|!8Q'&lD3%%#ia~Bg Ɋᴴ | o3ה Ŭ2?vd] DKgtkYu2-:E($ @[)"8UeEPBMVPեQtv1Cv0o1 8mo E gNMtBDK0%xAf* Gvsy?7v1X%6!eJդߐՉ6nѥY]ےJ7%.Vk<~ [-Rβ[o :WyCn%0xBFG(Q}}bi)]CgxǓ:=7$w#褒 =\Wo<6qcHF$m60e¯oψ{\¬g-R'ABЄG}[r":JICnCUt5K> ,eTm_7EXzT)Fή?A[I{Y { 4gYZ ' dPurePuretheory/axioms7zXZִF! '%]a0{rg+5\CJHa=O݅vBH$W$O7PiCt':П)͘DStƆ swM‚{[MHhRŬ'k)9k]H\ZbF5YCC/b}+ٜ3[I)o]ocޛTH8r%Vt&(&boC3~z>iGr-NdfwH:$͉bY%gp &Raysk51P9Ug˜ۀQ}Ѣ2 /o6ޮcV Qp2+@uh36tOVQ^#}r2c(-bHU$s8곃Q-YUΥ& 幃:mB%xWfVu׊ެu:MJwY)RC%yCc@.?IiXe;xhVk7 eMe'B慮)@kׯ. (M- m'nNN՛:2q .[ .%^ ~|7wuF8p. 6ݜ{b&1lpASHx [Cre /Lk,ܑTUbւ/J 0b]j?VmiN@ޱgYZQ' tPurePuretheory/consts7zXZִF! ]a0{rg+5\YvCunR[E6ԋu #R Ya?>\C |. G `rg6FWc%Vشm;r@l.c ?"ZYDU :QJ~fbKL|vS@WuJ:[6*e5h;ɻiJ  *vӢHkd%Mvtv<~|q֯\&711,>)uŇ[N;MrL$_M6B< s e:;=ᗷY[eho%ƇYKt.BAq*}U^;ьagtݞiwvL$Y]mZP$mVBW|Kge_J*vzT֤xs vVobl@g{4ulRVD3NOmurX ɢTK ߻7gYZ|% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@ pU1}jnS$Q)',iorfG#\ò}]Dƚ(Ww1Y/ E̺<{;Xa'$@uLHY:o u9lw=K[ gYZ +Qv+%')PurePure.Sessionstheory/parents$%)PureML_Bootstraptheory/parents)PurePuretheory/parents%PurePuretheory/facts'PurePuretheory/axioms'PurePuretheory/consts% PurePuretheory/types