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 ==@% tt II Stern_Brocot:threads=2elapsed=32.852cpu=52.856gc=3.500factor=1.617zXZִF! 8]ŗXf1-/6vR[]ׇvb1߁ݶy@ٲl֫asOEp`He>7U,"KDA.8s5#xu6DclU.wt} c!lFtt~쭳8ɰ)OKC7t2.B-~uӷrdK!8F?5݌qq?+{1j,P mX^$APxx?mp9NBvA^gP]T߸ [OTO/1ч=D1p j}|tT6`Ir{nӁ|4*6 #x#S?=4m$2P6DkZu8yl,5ib߿F{VYɗfb =ՠF`$'4#s'/w28qgJgԧ>UYDK?)BVtxL&00 '`><@(DXvи@ݛ'̭F_!-TqO7k\\`:5A 1x' ^} Ta^$̹4,&\.d"CWZ$a ̓/S-SuwZ#t IkM-Ų%|ɹDMBfg_苤v "2,O,]I EH0pYբVIħ( I,M{#p#U5itt2lICT O$%c1g)?֡p 9IV cC]rilb1,U+XOy qUgYZ7zXZִF! ?]ŗXi% 'S qkT'S UKeڪ60|(Ð/4m3J} UPyN2R[6"jsylF-4ȫ;2wӋ̄km8W􃌫_$[ 3-&3 _}$=f0&~Z!eiy'?Cu47]]ҞYNv +sbE+svT!$[@ԠU[o̷Wh3?_⾽i$T"CM;յxxz ,Lpka9A Y~{ X MdH` [s`5GTsb -X3QdxeS$ٿ5ORDfD$Z}ʞ XL|Aɭ+ S~ pi7@J ꓓF~8悔w\idiySH (kFUhߛ:ވffoV*4XL۽.]2vW(V}n;xhrj3nRqZ+V%[7.L?(Kf^0:B8 XS>g1)+Vx֘..'|%/ko I#HQc#"bc1!$Pv{W2q?j J,Z rhsMsVd:bbl Cܓzbg΄[h`1j1[0Ü~VM!mbok˳Z6üƵ(6i[VeWVm!ts[e[GlD!37F ?I,Tx4rpEJ Cj;Qr oDquF7uAxSӨ(?jҡEb +0Lx~xZߖp?c{+4gU94Wj({šz\pڮ=c+'jEX|m_mVv?ų)NZNc&9[ A5y)jiQ=0_=,PLke[9egř"!5Me _-" m ܝq'!*J|)^KJʎzJIgI_^(ն=khf|El >gޛ?V뒵qIub CoϢ' 1H;))ގ`u]hm'>[iBR)8ls43*H)"EdAvj%7KvI/W?%ktoF &m_6˱u"I { 4wL@|L@EhBC:&ӽnHR{<qMao`m;[p1@Uoj3—܋(xob %DL=L"0oS7Νf\ j1Teza$j8"e?M13OmL;vQ.9U 6\qp?tmCIgEp% C]j ""1 gYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 2e955ab17180c267756e7fdff229af0d6ca147a9 6ee4b72c82628c7b71ea0eb38e339426dab6a644 % Stern_Brocot