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 wIt< c/ Abortable_Linearizable_Modules:threads=2elapsed=77.660cpu=118.588gc=4.052factor=1.537zXZִF! aQ]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51@c&P{ҩa:Rˁ\s^X7G\^{^3`BՔ,cnQ. Bo[ʔrq}Ir0_(q*>4YNjjl v,4P,eDԧJ4}ݜx}L>@\%PRFnJ~Q涔>{ɨdZշ`"တCp=ZMm8}ws:Dh@,5p# ;7$%hv<$l篹O/DDg tL&&*3xo ܟ(H;yF'e)ξbx(0m(!Y8Ԙ|y"LGauXb7&}Z.jdGY2:ĩ[-~B6{wvxHV%x^ Y!3 e롦[}I2l32IjQ` `#ReJoK `P䯢2?W=ƭ35_O8FFz%%\=y$XJr>gtFB徫VRu ZX:ѳu{ ?\{odD]!G"H>+&@CE4>fZ9 yuzph WqrAPU@cHXu1uMgoܜɫX%jJPE/TTQ\,7={VѤgz<6le0z +J$l%H}x7) &[ m5 W1f=ݴ":KhI$p~stǐɜZe} ZYVc6;^RfC[2KY>Jq~JCN,,F"D^%'iV/uXN@&lBյ QfR$EQ"J=pny_*)&dлyGt04D 5 RŌAHCIHg"ۯkH?|X7{; BHG7<ךNkx"KomR{JiP@3o]e2S9Ӎ$kZk~i$4=K`uFWٛmrk!q N5nVC:CEwt9d,λzW]3jd[?.e2IԈSzy]f;g߆EzppXU0E٢om#*MxlP@ "_ ka~ s cSAߠ Dvʜ`{l#N/1B58{gcIo;3: !I Abortable_Linearizable_Modules JE 6MJnIWڲA[f#r#i {JAOI<RU=tHKtI.0֜)ؿRLCG([cgem& YZCa_~$f"Pq&MPֲ?1.+oS[~ ׂsQ g cAKߪ djs ^y {'&=Pu B}33IԚy ˯3eQa?' OgZo''v,oN l!(䣼x50Bilqư•CЫxzgϕJ{6Q t wY!CZd. FBk MIV#%gUq<=Pg>LDwvٜfk& nJ5HvsZT|FR (k{ȋ~ZMaK89R0_̕+J~i8 W!NhK9ӓܡMy7ZõdkZSuB:kPږ D\%,S>=\텲H.]20?~YN9g !EW x^qRI1~RQa[|+ IMk/PVmY"#^IEOpGhV?9U'MI:"" lX.kMX ;fbG9* ) q&딞rը{emS|T/\YˑvI^eq~74=CSgUNτ݄ +VPD4M TL$v(<۝TT@Q"\0:I7DC#mw{>iN`]1/)Bu/G8]:_uB]加O=WOV}3},/C#&vZ|>3aF۳ aG ~N7öqlI(X,<z~4",Ә9EY9TE]|.'4~L²X m/㺍U3=ď)Zףl6,e]ZxՎ,Ř]ZS{x I|O[QKI!HC{6c:NiU=rNjiY!7jh_t8Iq5oNLvِ WGϔkuؓGRcҥj,9'[(ywz#3#GKO%BQ"=#2hrG6I2w5FEEEn8l?0xOު 7 N w,~DVOUe@{TYJd~K( Vw´g}-wǧ`Cƭ,*;kbl`.Xr wmg ed5"#Vw_91kI׵qXvX9A\0Zuq!`xy3X!~)X _1 4h/3vٓ΅]+V=ruAx?[jľ@i)vNy 0~%XɗGJC30(%lܵo9V> s%+S㞐2&ࡋ6¶ d2x䘷=yv)?RKHQ&GhDtm_9ZΟQ+3g5ŵ aM\vJ1XJ^jYEyG ynNr31U\ Hʰ ݂yNLML:-<;mH9Dj"KF7BDUX02y ܅4.ݽgN 'IRq#cEp{c:0MlUQC0@ 뷥<P"k@|c#06Oʤ57XEqVxZt6lfsˉŹ&5@y z3z%T& ymyue@YD=F;MPg2ʩ#i]޺=\߳{2̦1-HJwﳐVYR˝HO>=\>98jfzBii'x9ncYe>nma1o'M_^S[c9(ODVywx l϶.;NpDrlll(ʹ#;̊1]Mv;#7: ҉_Qf#F_j?|qOv7cyu@MxW-L&Gi/nxn0eQ]=T#&@C Ur+NQ(xE&ƿYB@WGKx&蕒 1 ޾b*1s؟S4oQ!OzL‹L7ᕰnP~=ĉ%PHgYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa