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  3 3B/ L  POPLmark-deBruijn:threads=2elapsed=23.574cpu=44.596gc=2.580factor=1.897zXZִF! >]ŗXf1-/6vR[1u 3ܸ&S$'W'&ӗտF6|r5*Ez "%۝jfoiRpr :(5VfRIz(Fh,t77j(`2O6R3nheϥ.ǟq+qDhd%M+Bzr'}063뉐AppW/ / +mcNAî L)@9d.y*_5%Mu%1ڀO%]ܕ -S.}W.FA(YkK. 8' Fn [#Tf?HQs*嗤Fݗ&2uyvf9҈@_VeJ$GD",T: R3 lΒhっQX(;|کT̋L$@Uw48S]|c"]j~IJeNPy!തNw+ ]pVF)Zϱ'5܋X sM/1pSt# 8kv,9o]oA}7q}>:0§HI/S,$s5X^YR~\FYljsٹ["K؀ZƘ yuqG.ȹ,\ؿ:_б]1=T,㌣? d:~u@KՁ@L٫(!$կT[u>K.9PVy+#^ ͫ+R?tQ)o:x%{ '5(y옹Lְw&rǤ^#RGf rRgÁQݸ&l'9/~%Z3WQ5}w PIms Ngv}Jج̬';g?r =xIh0'Ѩӑ^ s?~ڙ#")lƴ~-?P2_땇+r/1uXt`MRaƨ1 v/S / POPLmark-deBruijn~ uS(8 ia,Rn5 ZxQ{9v.>T1y.("ۢ^N)X@6S_`!ߵWVJL&|7T9/:Io 4N ^I!Rv Q{ziWhqR 5NC$8USZM~e|k6 1&%BqNUKG$>/7)H)-|c <();ʽq{q!`XUIK'v8Ab$,tIGC SoȰGam M,.텰~0D6ɵy!v~ Cz%:36Y|RZPm?: "З+` $ \jϹt{hvx~py&U0oR%fy" 4K!ᆧ ns5F!jWJd7)a {:5>ĴU g=j0ΊbƁxW"_8=<1T AaBHv cL5B!ĵ';fzg<ݚWT6S@U^ D!˱X}oQ#*YuqSm|J`vHQ5"Uַ!$c߸lpvz *7ыRAȣtho-]b=k @Znp9mΐh8suЀUAGc?oxE=Y잆*hpA~$ ArCۂ}Hցt|8RzB2>̝)uсW_z)&@1`179!97pi܎k|͘[{hiȸ0v֊ğkkxsO(/1FM(g!/ULh饍OJ?r|#*hjNK NJ0=Ɂ.mӜ,OlJ3P>ǜ` 9(5qS1LM-X^5u<6M'̃EpgS^-AE1caLUqf6VN Þ5Q<5W73cbHL^E8+x/ѵ wR?{UF;4r*fXn@S٭[FLI[ᷟa~ٞHbD fy#!Ƒ罭Fk7I{geSZVG)w?v{ƪqgYZ7zXZִF! zf]ŗXi%sv-̟L5T,Qae ¦%(P;:P X hlv_](c c˛3qbt+Deaۍ]8/P2YhU*S;GKw}%Rp\EKP^? {TUzq=O:׊4B%[ ..TY~i<͍uh,VЁ b♈*_3J=a+kT7)ń Hl^>G1Q9ϕkT>C+Oa ,!\ ͻ/F|R՘6._0c= " ٢*CmcY0-(LzF 8t:7Sd4:ho+\6R4aTLRfe*ۣtxj o`X]yi"oQ㑗1pэzEliBR_F55msE:qEVEsg:'fԏDN q  [.}O²"l׎EH.E &_4M$ if`bG߳yR |2To̪ʳN߁R~@KLtJ\I$Dm5D R(eKG(5Vlvh{>ȫ~)1)>]vo$d05Q. flCKvy,_*iryB-ѪUO5 Tw+(S 0E1dd;XJ^0T];O.n#ρw,1QTx8mI^-'SayMvmm' pwCީf29З4RGaydoӚ66nKiF>nms"6Π~f c?/[v\ɵ`B]Qka`Қ'Q]Xu >|o`D4a#Ae,Ll?t!&;~B{Z"4?{`نUbF> L2j( WF@ݽo\`l]JCDzWՀ6>^u`f TgkH~*7*6w?{wKVJtAӝ>Iٟ8W/1yzwiuRT>[KHÉtkN3b}rI"&s1-앓V$חK *L fQAj/xU;܋=H-?LmЭ˟OmjC%dg>_pE:^&zMsNb%tfH)a05 0B iks\k/d.u,ͯC3Y\;ugbTn.Oq+ޙu>,|E Lu`Eaɖ‘[ɵۯe챂Y&˞+ᰫQg+k优4m(KbjyS:9;F7 zjgYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea010799711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567