SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info FF'% 4 II Stern_Brocot:threads=2elapsed=32.647cpu=53.060gc=3.488factor=1.637zXZִF! 9]ŗXf1-/6vR[]ׇvb1߁ݶa;P.~bnp;EO ?]Dр!z;V9 Jxpeϥ{_Zť4mķ`E$Edд<ebx&KG>9^{Ȅ)jEid(j"I`79 \b]GKt ' % Stern_Brocoṫ noCP ˝`^P#jFP!؆eJr'@G=M;i ǘ$Cr"/'.fM M/Aݘz', s~ gYZ7zXZִF! ]ŗXi%Vo$Wl+akltG&^!tͣ{_;xe gWet$cq|A RYX9܈v>#d1t V?kI̝JѮ=`2&bGL'%l+}ی++wT:\pwB@=:f$VIc~;Wg^j9+%6CbPh T'كi\{87N˄9Zz 󸙆6mIAɧ` ;+aۼfsq演LCcf= LKI[DOcjOBěi05`uCKk? JӤR EpMxFL' *MsUhlϗZaiB,{̛,a!Lv! Iq\I3Vwm=>nOLe{/vNLxyޢH]ewkGuUn8w /SNX=!arc:ʴqZ IqGB1;bWq7@GHAZy >HOboba '#kZ˰Ǎ͚79ndA5JUohEΜyC ݰ,hFM,]TJD%3ޏ=FJQ2:¼xS^3 CYs޾;ͪp|s⯣XHH!dmL~8+$v|@icaio^S rCNB=3zPyBQ6Β'q1[OMT1ia3NMh{YWP;2qٰ~#l^~g$ 6s"8<ҽJbk[ECuI OV*K5*A зS_[!<>nS6eeQOBRkgˡH9u~|CjdYtFN0S7sKtW\&nkIK\sU_x@vBjY'yOG#-BUĥO^ hy@-J2`)G'1&8B$X)ߎ=3;_t.rd`Q3 \Z5*F;ų|٪fDH&] bny|1B- K kiHU,6ϓ=שU>nŊ<(4'}wK$>0*ȡAN39q"//O9vQH)Eg p?.co@f j`ޔI!xK4!@j8g/%XCh7nSzr@=Jl|Cgyv+il .jdMC-ͱWdʓpz,IpXSPŘ%./k4)duZx&i]:uhohk 9tnY@ @e|j))YV]-cʆ ja>Q訁#&Zz;|?IpuPC 7U^KT+XL 6+)X3T0YKׅDucb( 2$EsDE$f?nU&!dӦD2>o*V5׶CzY1 O-'NNS?T"5@]P#aˉ?K?(UޱgYZ1d674607b47b0e5fddbe94207659c2ad64bba092 9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114 b048c4c894ba192ff4495d01de6dd39d08a420aa c2671cf74f5bf1923a33103584419cbedde498a3 cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00 d419a2f7542de8b3837a1e8dc193b025a1b909b2 edb134994f175a0bc4e2c1336ad67621ac540f1d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146 7f0ee7876e08aa57090805217b1394b9328c7d2c 2946e23f197fb182415ab0cb574d5d14ab18d30b 64d00e177e71fbc7fd846bfa1dcd29ffc225f1ea 3c5857025a1f51391ee594535374fb9a9ab4e8c3