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 q1 l\d ]]Abstract-Rewriting:threads=2elapsed=35.401cpu=59.864gc=3.492factor=1.697zXZִF! &p]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`a{9Lv?Dw82rԅ?;Az/ 7Reu_- Ǐ_-$$$cpQA0r3E2 Ni,*`O;6yZdLn\Er̂WߋV]7=c~ջ}@84z  h`gLB\aЄDߦ\.}F~Y|XA-Mgk6L%|̃*]^ ( e$8AJ>G`|B΄tQ9j};dTE%`Z񧘊aUfܖ}%qF(C #)Tgy9J3QҜ[6.E'"58diBӿVaz\7.CN\dU0m60~NَG~wyCpP%PY7|+6P2 =$7D2 β3Z"?jPeր/+r77a_\s1zvF ]ثCV1L7tفd(EY(@%C8ymq"YpxiBo@ e|D4ZmWdk& ׏ȡh}K-{qŷe& :[M; ?`9mSx AΡcQڦi`Z^>Rl tOYi7(Bw>ԯWrhV1HE@p!gYZ7zXZִF! %]ŗXiɟCrhi^IxDY?Av|3E5zT#Stͣ‡Nќ$2bFg0a]? ?IjN̵2O1(N>LD{EU1#!\Ŀ$? ~7iQ7Rkik6V_CaHnl4Q-.!L.="r<JjvK>'L jj77![uLhmLC&Ew",2]ygYZ7zXZִF! )]ŗXi%;gC{lD5=Kg-^QI꺭)zL܊Cis0/3d9H;TPhV'RjozN- M߲/i9*CNf9?Khw53Q~-n7gZLSg7+(Ml~_ R>kY p]!l4 M|ϋ m3$P Ii? Ifba`} cnNn@8j:n[]M z:p4wPC֐!qn:QV#$Y!pdpC8 okq*"̽;B W9}k# ~XcnzW3ǻD9͉ji!)Tq,PSj`9]2`yMH7-#13oZg' LH-%zACdZM9|yDŭڿ΍8jS3[~uu W{H NydmO"4X7U$ L[c'GyYuz1Yn2}C Β5r_кVe[PH\frdS*fRTpP:qzUYPD>:u\C;S^bՇpp]sL q^w}bk|1+xZ[f0Ry28Gh9辻@ci~t]tvYtw(%#*߲Cqm׋k6vΉQmRWHnL=dDGF}Ȯ=0RS7fX IЅ eIU҂viHyV5FjdKKؾ@Χ^ =MJnkK#;.?dϟ|v׳06p@I0$?vW4;E24=5V`8KWc0|b"N&lM-B\8My)SPoa+Q'rCWn9Q;^fi@I,(q.>xIY4:InIm> CE.Θf}p W<0^g{rO÷ #E{av3˓ r1r:G蒂>ӮIJpюpyJ~)j} I?g+>h#)jPȜCJqKrVK$,4ϑw'[Xc)G뺁N,&Ҁ|o3sҷi6sQ 7';{AGzjp&Pl58VACSE6ZwW9ߛyQ$ZEp*g+403] P1P\Q{>2&cv|1I*a;+4e\>1 "r\wh'Wi" {1t$T:X­Q㭰ۂm,a~]-5/ZE%mLAmس261u?.{lF[SƬˇR-b 2\mxSsCZ S֮x~a苜fv`q pSκ`