SQLite format 3@ . BBh77otableisabelle_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   W- l,4 ] HOL-SET_Protocol:threads=2elapsed=56.555cpu=96.196gc=2.728factor=1.707zXZִF! +]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa]AS{sCnUtZJPȝxlpV0r;u8t)yHKTnCmq-?S212)tbGƧ6 Llq>&rds9U#8sܓ3 l5n#S|;px[M4N_o ќ7{H,&jI­6drpXlolFf'P J E|@ӕIxDUD2z5g~K̈́S>֑Ť< c(FkX;qˆ6hf&̎'2.;W^ku0Ƀbu ?#1,o焣Iζ2yK:o*WL6Z :@kBa%Yey>*L'ḡceΈ6-|*=A9]**lepf JE - HOL-SET_Protocol_߮K Wh"(O*Zş4qyg\\oĭ7>N^/9r<}@4uT%V5h5n3MH}MSW^"o=ȱJ[ȩ~ʆ/^.nҼ IzTBc8Pn^lXK~C=v€Äf@I^'}2 őJVTav6iE"v"L1CIgnVm-We6pT ɫq E-Zog|G\?F6@cp%6Ͳ#|_/90Y4߄{S2 ~XH*7,VUNc;w_t,Wuk$D>T2bSN~O۲y^1Bَ{gYZ7zXZִF! . T]ŗXi%;>fSۅB.ڷcb(Fe6 9 j!U@j5r5,ɑ'{y4LMh(l,2F-n^f/v`ABoZs" D"qșC Dx>yKmbiԕ2c)<*} $ϐ7?r};FADMl9򙴼R z`^|'SGD?Q.Ul~k< 5EӉ?nTCv)&փZdcaㅙ(R2x>-P2 Pߡ ,6݅+b3+:d 1~Tg⓽=aV};~{\>"ů>s<2fH* wb7]>8k-txHbK3y: h$ɶ֛[ƎgeKZej{rJ#{`(=, }v/$ŠfxJ6"$501och ڕ2SYJŅDw5S}ghrN;x\B`Hg z?6A\ 'F?kgqNqy%mBYfޅ.;G.+ ({O%Q|(MB\e3]fqTkz*~ " ƿZj˜Iyc[j ^[E#\ !{R F$jڪSTdUTݳuvUӪ(aHؚT5RBj1,LuHiZ_p"ƪM點6x!(@ۢ("7&ͤ\~~TWF1!Hk`TΆ9xxl!|bXG~@ B\yQ1 p|ӫyL=3*\Afn3'4c<`鞒`+Ɖ͠yOX%F§ "']~;o2_28C>G}Z~ XzE$'ґltÆњ;{FKs=cݻ< FGͶ`A "\#P{-Le#leVfx:e{vsZbFX);,$Wt ?E:=:74Sy"yGi|b 'w 6ש.bhm3DD*w05N]dj̰7Mc{C?nrG^XN2wP+#7zy0t#gPqiVnT^edF\4rL^ PqHw` 'Ir",?kFC( ފ̌M aj5 *J a`,boMZl|x/B[~>L c96oXV_$d'%I)dXAjn;h%uZxsB 0 Da S Ȟ>)ɲeM}\8̅Kf IyN<ףsf°fCEQ;84Z E/">܏rJ!ZV-HWнs_9醂(9efTg<{PX BQ.;34k[L%u٩>;=b:z,CPS8D\^BEKIK-K7iK'PtMWFP̃+޳[hY(ϴ `I !i'>VC, r*6Ù$34_(fG,eo5 ^c[f݀zqk4Z^*MA9%̧9ޣ9\1񝚓.u%XE.:P_vm{2 uO!"=tQ/?4F+ ^eL//D T/ٓ#nzE>yZcy|-@NP{KݪK"7T.-0֦fcqR&dYO23G\ Э. ɶ&1؀ҙF;Å<\],ê]/F{Naibf2"Y3yks,串Jc(,5*4A{jceֽ\.g"o!m3$Ķ|ꕓ$W Va*cV(=μ:Kɲ>6\(hĦyln@ t;ڎ+}Z't3x'ߘp-}(!kǠK"uiRn@991@}BrxMB9~$ 6P5Q}'(upkG=S}2o SgNp[^Y.H j]IJ݌86㗫s = M#JEF$o.oDGWuE*6Z(hY '4u8I' Y" [h> *>XEykm(>(jN@&UirEĊo"ţkS%D5[¹NMɐ`̓)V97Kԁ͹X7(>xtC6(x;f[&ׇoz,-u]EbHxe$ӓ\ڧB5&7/͎"3dw .Yʧ}g\Oe< wpxa]BnA_N"^h@=q#44||lFW%8yQ'gYZ1e7985837c84bc4de0fb4311c2d9bd807f53f3ffec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d ec788b2cd5e0544cb20063a87273ee6a4edfccd3