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   nlT| ] ]Pure:threads=1elapsed=1.034cpu=1.036gc=0.000factor=1.007zXZִF! n]ŗXf1-ƕɸfn쉟8"74(ST*!URL6ZCUˑH9ۮLFr3(`[AU `Z` Č/X`gYZ7zXZִF! a]ŗXiɟ˚Ћ. k$w|f %D GOá<0B2182FWv>e_ Wz*#c4_uR(6 |}HbgYZ7zXZִF! k]ŗXi%E\sqLЎ( kk_i hkŭoL5j@:'lJv(  Yr>7Xa‹nD0*S*VK${U* 쩸d~ճ%ʶ\fX)T̠ǃ @s\*,DQFHO%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-:xfMɤZ`֬ WbB[IKTa+Ǎ0ʚ2>*B&Lwc-lmz9o~`7wۆ7K31\EÉl3dY&1Bf.$$tx %ʞϥ --ƮUb2#RBn\L͙4dQO,"ɐ8x2 k!¹a9>Xkq,; m ݩ}:ro}8.YD;ݛ2! @nVRBt: EW9̈:k4ozjG;DIیۻC-1! D&Vςhrnn 0tj۬4v6{Pd5I@Dw/5 OYűgYZ ' 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