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 % l II Stern_Brocot:threads=2elapsed=32.724cpu=53.376gc=3.444factor=1.637zXZִF!  ]ŗXf1-/6vR[]ׇvb1߁ݶ7h?ԋo!EV*̅%ԙr@|v2Ӹ"L ɰ Mm{"u_W]H>i }sV0a&)(i :s{#Le¦)GʬOT}DF}gCݴwŹEg1ɖ;-~i=6ćc{ K#Dk_?ooa^kU|\GðkQ36qPAj!ۉ.4oPSU °}XrvlXi'AiGdhN zf Q ;XǟefeߢD%VJ3'K!6Ttɓ,E;;ҳ",gYZ7zXZִF! ]ŗXi%]v8>/v7 |Ⱦ I,m۳X9B:J͵8ؒKqj=`̯#ia5X`r>Ļ,zD*oIuĜ Xc)9Ʀa79tzDl'1Ҋfa t:|䓶\k>i#DXwoy; AvLO0- Ԟ9^˚D)ש3?9GtH9 u}ʔTGR0xkH%gC%$$K#1e|}feY*QO'a&oUmTp ]l\2¦.t5 70 C.B?..=&ŏ7*$=uE%odꖩN.fNx#[H~\TUgoPoNVi *ֹ3Ōmm =2 Dp -lU d(kî `Zgb Bp +4]3-Q+4:rpL[w.}s  #ȟm>m"h(_1ϞKƐ҆7Ϲ/E qh/dd n.r⪮_,~؋:\a*!{ʻ\4caMDC %'1!Nd yN}h6؁T'%k]9ځ)3pg==4$Jk#‟(YDC^|B5}~nrHb~7~k7,"e`\[ѫJxSj蜏u=k`#>'hj9kK_YpNO{oK]BaNG鴏 Z͂~ !1x e^=7WnOԘ43M7Qi8SFe.9̀=W)ߜ@c9+G)~6/'IJBA.!crv$ENh-h;/۪ZN)o{y'aV`"FwjM{Rߙ~jJ#߽NVL/gvg,AɽQGP>&i@psGd7n&*n˂hv_9Bl *@xJk MqUW*->x+^ypݹܔ7گ12KP]C5)5/"LTDƝ` o-{EőxR5tPߧDRX3C08P<6}"+j)PəTwa#@cuUΚC|^|gԮfGX{38|BCe z}@;-yW3BԵyW)g2Z5.(=ei*`u mW7k`֌Fb ]`#l4h(姆SEA2ִnKnjkϖՙ4Fr|)Gʘ3VE<_i]S\AY&D*_[ߺbm 7({?ˢb>ŞTgП',f<[_m=iH{N6!ZFU'2=h'BFs['DB4n{;$Δ^ /j~mQ7X5c[GE>>;r1ȉߝM:/n3={1{W륷@KnNG4@*a=9{:}|gYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d 9892b8c98839f05f8dc4bd94c38dc5ba0954a8ff 6c1d0d34a5043a01d2ad466991119f4c089416dd % Stern_Brocot