SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  G G.- \ m HOL-SET_Protocol:threads=6elapsed=22.163cpu=89.768gc=2.092factor=4.057zXZִF! oz]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz`L,0!%!wkkq[]wj*;#13+9[ό)p@[UƬ&=Z <.dpa9v_jS)KJ;Bf#u-mOq9e@8f}_i\zR {<ݫV*8-aMp[.R:ղ;nD%"'6& +}C[ByňQiɢF iE`8l{%5 PdyOLɞ^7'yrW\39m} _#&ȚՒ|wҌTN=&G&j:DUh-c;j Eei=5>\:/6znNCaH(e~8n8bj9HƥE.5ю `ܼkγ/wr!yl#9u7AlBv - HOL-SET_ProtocolSV(r!1}l/d0gsNV`9Wdډ)Hhݦ_AzgqFGٛ@ BH6 `+=|#,H?y e2WD#~z[WUI-rE28QYe)yTIvPLjL\f6b$vpiNWSf2aCd@PHHnxn;myrFUl#-Eh_IG(e2 +oNr5ˁQpcb Z_B촤[)nQ2Kاڤ7< 3KYXnh.0,Ze0-24wL8N2БB@q4).e ]5u)]fZfl#p$QaQ'\t̍m[ۃa 9~s;&*x)|fG-lR;kK*EDUo^:++\cx]Đbׯh r.N841U-֩aqYHY~GdG:I[x(d6 NQx) _2=?Ҧ!:J6ڔBeg " Ȱ>Nd^udpE(Nnv_"pP޳2W ~ MT ,8MpO\C&Z ͷF QeSovlr6KgG T5Fܪe;8h rkht)Q *S3  U-hyAL87^r t߶+!ྀ%*@nK7/[=~ C"nc,i&xm1fbAR "A^LUCc]EXtΖ&[ZwFT f4cTdj#R+UhgOdP1|ϔŃ΅~:wZӈ`ٴ\G_d-_^ޞhid4iͶDp`$qsU(iVL}7"v|ZK#m  ul[_-#&nl~-EDtSrq}@5Z?#I-W@I6/YL+UzIs>mJ򌻔^69;-1_ )ɿ3~yB`\ˉtgxZlb@6^fP>N6&劉f`tXA `b-մw3^ Y3)d$1\W|p<ff8D=Ov%d) $8)&^r1s5U4^ewZ0%Y/[^1yaRKu1dF;xZ(U ? {ޕ%Uve>idu"LbcEv`j(eR:wCx*u֌?V*1 _,TCyɩo&̅o MЇf0&poa"_H+yTpSNnyv4|:YeGVr-nT._dR)9]ؿF3C1*. {μlV㼥@ 1;taUk$4;i }u]j9tp*av|~G$ݾT26SװfdX.=^y# Fqd ; z>80[˥š.ѐM\Ɔk Ho?p'{ ex8sYJe]ܷ q @1WUEsܗHV,qCYxݠȺ å'yU_EOZn9; hI!^tM'' "L礣>OQA}AD$ W $4{B t+',=& `#㻁{.VSPwd&; MEXNI_v(MKFm34ʤY?/:}KةͷXs)"j3Ů*$.dKp5i|VbgNӵ 㓙iրaI2L RtO$PkdSgsʩwsɠ9R^ to"f0֜+%+k2DiX@"d0l҆ A:xPe=Tߌ']yOZc-3gWbdn>`CM?.wId. ZhJzտ$ @` aޭ lEvb ? ivsAs{𹩹.}"Ѭꓢy%nd7䫽2¾mrHR6 ƃuF^}i[q [H&pn5i?4Nu)