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 7I4| c/ Abortable_Linearizable_Modules:threads=2elapsed=74.196cpu=115.600gc=4.092factor=1.567zXZִF! S]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Y8eV`51@U?Hi2ɦRU7LOe~DEXdC8T{-hC o ga'i6D6έg# fBp5}#R7~Z¬Lgv>ӉНΉB\Tr2]AwZ&+Eg؅igBC(x&N4464ܡ(ok;:>P\9szxѤ"`FwbDbc^ݨ3]瑑!j&"JscLNױ)3`b?쐯kI1Ţ5эVjF A(wܧqwcsIϳ?iêU[_-oK9o(U8[r|&gHv8 WەBƍs'y B'UgþgRB dmSGR B0Yէy<6$w=Ld#N;sEfz%o+Wh| ZIJ;B-c:­|mR`iRe%:ׯ7"bC0g]lFvd>R(\Iw-sK&{WaR Q B3֔f%d|r +'zg۱umbuu;J+&^&qGRGd*S{90g/M"- jeR pu b͚(5X^QNГNL!*МnԄz1^+Okeÿ:RB_ ` XB_xt1կG .8kA29J9?RqI[ڶ.ͻ" 80^% 5ӕԻnYG!ۃ{:C}(בV)`"F3;kkNc}T߈3g-EQAbJ݉?fhpȲ֙ AU5wۨ&l4KтSacK SJ&Q?=K* >VßEn[gb!ʱY‡] @lXz{Tq9G?'ڌ4v\ q:٥<2Cן4ђݛ;Lfu|?9&ێKkUiP4ABi$E0>@ˆqٚ-8XA$CZJ4Vmfv(~urN"wŧE0Ֆ!]WW_E~|&x W: bk5I$ŠB;<,"9pP-kBQ cAB(3 zj{3AkW8U +)mkD;FM߳oUTn}&Co[PyxkP-:rslipֺ@_-U uER̯O)%L{XLs2ŋ//'fŠq~,'vyBmJ&uauYd Ծ&ja]iaC%~KNH`x V+usTcւ҇y9|%+.:0BcV"7؋ {G_A?\I[vbuŚ#heP-U5*8;=NV-o>[~cH!Bi/j׳"Lvz ?T#K5!oG?PkH5!˞H%m|C `)Qi(hs+d3>.LRH@nN#R|Ka2a\ܒif`79V'@]XҰ~)&z#g8trQcVdy->:꤭GnP[x*fܓAC7&s.^Iuʿ{e̳a^ &nC'!\ {Mʓ+ƋZpgVMm kaGңWͣ"p6 !5\Y$fK](jh=~D΍,0T*b~ZIt1u7ʐ8"E}OˀJ57 %زty@n.^Rr%4i*dN(2KШp e>F5'<(W{Va4Zi7[;͋g [7qJ)e\e+B8 N*#'< >AR?/}m!D< *. i#̷wWf|E(^̒'[,/i2Ks͔PÆ$5&ZQx|PLZ?Ifp6=oj*$Ta垚c~äRg2]:JǷ'PHGK_ Y0 Ui$)$v1Pe 7*^ծ#?O]~(#>=k-=Dn3Ǫ_T@]r&r>r' =C80|H 4=^ 83{xIK˭ *ߛZ]t*p@|RM )]7%?'$Le 4/ !I Abortable_Linearizable_Modules?(B2DT/${F/ImϮm87c!R'>syU]+.2)e)ڇ#F ~M]:z;jgj6ϫ  NcнEʬFLftxT1Vl9ȈmSIX=421…=yR+y]o.E W僭eǐ5c\q>Nasd~٠+=v2Ц5Vm9c nc`ˈ8Uo4%nNj'F:#KY˅Pw$z8Tį0T/,bs4q3Ӄ1r"LlTfJ]~fQ"<떰?1&H>g|466]DӠMlڃTRN$aq*v$*1:"@M=#Sy6R wgJ}ůT|F*KIA&P!-*(`_TOs̜|m<ˤ+[QqW{=(+ct:hٮ]Tˇyx]p{%,c6XEgC-: YƻC]rT1I * MQOhVvT.j'pg۞zcN*ǟb S}jѴsQYN_0(&Rܦe&II0GOW Nۋ\*A2(*E9$rR#ȪB>~6>S`.O hRFsٲ q*Mk ᧽è> n_ KǼ_|` "i7oa&K?հEԈ!kCN*sđA/{_v94ݲbsȓY{W^CzGqY.ߙ)IUK&6VWj`F3zN~W 76ŗCT"W+_;'T::rV&hy)1I^m-!H\{ikKd O@ۺ.Q |%SP$JQ"aن6̀k<`8EN*5\xǀ>O!#r>9Ev*O/eMxJywT>3PʡNje|T8.]SO/0Z}ض3@KX>;L]HP[O,&[G \*>>[\oA hYV09CW]M3:;6:0\;Q5(9hT[mj %^[##ȯsk:*z:-a~(룀|F6UhrZ_,VRbl~>!Ybjػ7 _O ZtD2Gq38x+k]CZJjStSjBIc7}lP*IFiJVkIՂ,K2TO QC<: @ Ea$QPݝ|dzj@%-j ПR҂91c^XpH0v7##6yj?G5=Rc\ ikuS @{W}P}֌H[YM@XoOZ\I$7Ai 䇰(fz,.nf{38 9hعTVvV| ըj:\SD\Ν`i|YGsl~b &?Pi JNH-`:?Qoxt7 Y#íJ!۷(+MV.B$ץ7kmԅ\4YC^נ|$!&{ B"5GYˋ͔j$zRI[ 6H.u6+5EEzbd 5_6 SZYĘ >Dzx]mCMWPWI * !{ߤF!QuH5ҒcI7ҽ HPެ-wr䰤)ӛJalH @AjҀ2KGI%vw6w-$[ 󴍧 & 'a(wJBE.:kV#o@[u8Y铕zGDlVhg;~܃!wFW>']]%aKyX]w RE18nH&'1~jo=(q*!(xt=C0dȖ /NYWeð<+B7{ C :4 C*r ,y)W¤!׃/${_A=D^,&hRZ=CpP{)UIg0Yյ(vg$BLҒ9$)hj,ׂ8-xjϮgYZ10487dd2f4d8699df14c3680d64921ab8479dc30 45c4934f1cbbac164f231f0045e1dbb7811a10cb 4f907c7274c85be908794b6aabeade510546fea9 7da98085641a29624f635b6ad31482c7327df3e8 835e1aabfcad258fa9c4868c7dd6a211fa3623e0 8afe05eea8c05d3353fd9c312859e90cff55cd1a ad8a8afb5e787994c9e363e9c372b7113dfa9425 c9535fed70ccab764c54371a0f9a58d4bbf1b624 d3f54f950f9a08bca0c34f69dbdbf5aa2c89c37f dcb85683ceb493af307b50c9bc5ee30709f1b642 eb7bc95ea88041f2091a9aa1e017cf88e212111b fb7da4d16fa90e303b41eb16859e10ea5ef49271fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700