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 T t\ S PCF:threads=2elapsed=47.278cpu=90.912gc=2.688factor=1.927zXZִF! /]ŗXf1-/6vR[1Iq@>=s(qKgr'E_H->mM Dz'5 FxS^ T?@5Y1 TܟD -:PP&NdO?#oќw$m7V u½7N/X1k~\>>jb^6pJY/76ϹN*f`=Ohp,TrnH\ ЎH;%VHҎGg;4g#%. 4Opf?l͔s!~sMbEe$RY;=piEW*i҉ Ak9ѡHYn~ɗyQ5Q3SAPz`8"'=gS8񦙸1wBEPZ1®gI~Ӿ:e9oP@|Fz|ˍr>8(ZpT$_!o ,ba<)A:fUr+xaGFC]ڦ~[g3}sҼ8XT N 2bq="6XmVR:|(NqTBq8c XQՅ@xzAEPšr^T Nuļp,Y~Q̿퇊{C):iW`犈Hf!Y&,u\{d5.듏U7ycـ\lr8+`| "%Jx,*)"eEDMhX&䜂p餓IHxx,G =i_[Rbc4"-|_szT=doƎD!Ш^Sķx7۠;-Yx0#y˛>|I$}S"獾Gلbi-,Mگ-l9#^c KFm0:72ӥwO.4 8s6+G._F.)N >\iu8DfٓFU1M/8KtUjіվdWLn5RwM*\# ]XQ Ƹcj½*tN!j}P&ҽj;2p~<'B[:SVf qzw2nCxvNR`5{G}ۑQ0$uX I`غ82,{Jb_~(2 -m%f#o=[j\2-ԦWAztu+uqLI뷕P7Cd.U7%>@ח#۪q:=Wۙw3QKiCo3f|F 9r9Cey ¿EaWWFl_<7{_06̰_t6}ͺq>W)f3Get^U[Bә*[/0 A-sUȍ՗,"1%yb&wH' E_ +x'?uCҺS푾|6*zfZnF6}k {GivGDc"bB)xDfV:r`K }{Ly΂mn=G<u?S#F7{lOu>~ M/_n]xqLC4>gzyw;!:}>!ϰLz=NrI1ߎW. \PX Q(^1H_9$#eg1@Jt ;?p7E0GRㄡr0@ 7@jn_IϵzUN:.楯‚*UpUIN QDt>{c +3Ytݟpj`{f=ײi"YRÃ78_4K#*_ QWxء1'eV .)E.gl4 D"31:wOmhuG !.8Q]2oNW|0rk D~kZV%\ysӱ`4,r,5Āuz4$1 Q`D9Xm5=ȫA¶sRs"J!.^*}Ô⛫ίXݗ- `h %"V04 <[!AfKR"F(UVG|$ U2u}#VԽ]-5*[SHrjRCܺm7ОWFfL:mesטݾL2DͿu1vhQ;ΩTk1a ]:Db*n^;Y*ب ٪f3qe^lJ ;bK+%B JjI~dp)fR6,{,M *Jo8gerZ/=m_f!Htdk29 3JߓKDlL2kK3dzaGd6̩Ԋ"T3][%eJ"Rj@Wya]w'mhMnm7{c o Q4V{~H_oO[ғ)|7>a?FD/]I ĩP1!a|@P} MErF0)6%|*T]DVǧ~~zetyR(9d!! (>v\-Q_a)}@ ZҴXp:e\ 6?TD&4@Q+k98)㎰za]Yݎ:56U"Нn/&{)cw$+#Rrenbh S Z-(؉MvGl%C4D pGuy)۾ܪF9ۗaRO%;R:b bgYZ7zXZִF! %]ŗXi%n8I6N$WH`&}et-ަV;> e2'[$h9w M+uWms;'; Q}wYf"&f9x¦P& @XvSxb[NB}4G/G5vؓ9ibAg&-9]`M@ U ?M0~CQͧEa3 e!g%_؅Ȩ4 bG"`/4޳0&\:X1+\[=R [ϩ{齖4F9A 1r @4ꋀ5v9|y{ns?&$ \ ]UkՕl^T66VgB={̎/:@3 n`M0H XL'>M_ B!ΠMYcfbCdE L +Ky hyIY7[wFy)=Z61meDew̍i'QBqc=>'rz攎ۧ\^np8PXxzeO5cp,WX2]9e{2Lwӱ7lq:{#~^"d*a-,4  Y*hY#;GOm-+Q-yуy7@v-R\^้IӇ+=ACY傭fȷncd榄XiK-;.GضKb& a΄'mUp'SNez^| DʹkevN`G0-w-;)i&a/]?HZ$4)~q=*NEf`Y-mN:V*VN>\A;Y""=c/i~1]GjyȔI;:5/nԎy-ZFкPUlʙMLbq@>\JIme>O˖fXm,t@Q]t=?UwTBDЖؿeFO vw~h3j)~bd Ek0Nl֌W0?Fy҃?4h; TitG{3ޜ}Ot]'C/CC ۀJwxJ7xj Kvc3ddBw([L P9Ju@%+D1z-tfɮ{_Ӂz d 9xˮ#[HWJ(7RSAR71趿j)62=Yfɻ Lp iND2RL ,PD_$P@0{lz8WKUn6:)1'g\ʔӻYvM4; oMWG'ES}~,^jY! hۍ;W$נd|hӠ/roM$}ߛ^rJw&8lu<@ĔZjc|`xI× `},Ngx i1'~cbsHG٥<4q1Ƭ5m.uw-4:5ߪd~\C*e/ld:1n#?JLT>뼸sL$㉛/tePiBhrOc@X.a۵A71)"C%F.adIWDG& AF~]nl7N!$Ud0fdc4`OZg6eM)@aN}b QoڽVz{%K IIZRC <M:YCXLY5exeDdRJ滷aae&"#Rw~aEtVOƥ:G쭂RBW)p7V~ 5á3r1s ^̪'fǔEi[K'p1QjU$ؤƃ4g}Y\ qzWY׋Fip"!Hx>LZuY)^dKfC  j )8'}5XL_.EWщRWT] =8L"U)nedQnm8S#_x83HJWL] 8l5O'i8&ph͈.B8xz8ʛ-Q]S 3d-(z#kF][d5}7IAӿ.{r|.3(X_:_7zD8Y5/NDi_]hT < H\UE+8Ս:sUdq,4m&wYUy [̿f'x('cCW7Ϣ*A3#2ҲHֲSSu!6ugRLŸ&>ӔQE2jFlC1ښp^< }G{uz+Rh7KHpU҆fur B[#qRJDm