SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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$ ]/]Stone_Algebras:threads=2elapsed=71.244cpu=108.832gc=3.960factor=1.537zXZִF! ?]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmV=-ف<1=(4A\eDݐt"LKՊt~wJ OTa(&MtHmAM/9pM_ 4u( • eJۈ<#$#Q|1CJ?zpUW a?dI@13,hK= SM3O6Z We4ڷr[Ȁp c)|!A>I 썒q;U ʻ2Q8 $ܧONJ!iӝ8&>`A8~VgX ccQ" U؜uL}jFͨc*ݨ;"Tr[ĐA %fs$K hn<袗uqGLL=,  ̓$m;4;UN!>DN8%~lɻ@!@pFS9TĥN242LDڜDc0uAG2bgv* ìq@2\&&S gi9p9vaˁ- tS9Iu6zDQUg:HR@kצ2oQҪ$hlU$'S @'m-&n6@K vcG|,qB^zSGa1ML4D<ΐ Ŧ¸/Q?8_u*?ΨK}C(WA9W]5 WLHbH%d g{F,U|ۚayoL9,! ~RzXWϙ#%#Mckۘx>h4vaچ d #ф^`x\x̴Z#mAɩ$zfQS=rQChj#$w8NWDHPA r%gYZ7zXZִF! D]ŗXiɟ34Zd!=Eg z)3DGѯj-Abm=U+Cshj2fus]BHW_WYq1tcCAGwmbPnMMW0@Jau ]lj0҄ ]9 `}V<*2gD;Y26?Q 9i)Sd%ȟl \쳧GO*Vi|sg7@헰6}y2Ă-Qbv[.${c'(5h52@nBgxnyZ,eB#1$6;{SLW&([z3BtDl :+A4;%M3 `7YmS <,#ɩ`,I+t #u, YDB"xi(*qʉfydtqjQtBx9В=7y*b31+.R؋1C鏩I$oy&xWC} 2.3(,`pm.v' SrFi,XLZw :8ar 0F|AaT.Z]c 1@dNjT]]̂|cy{J =ThG'#FCUMa>_N`fuی3?v=-Y­~8+C2>8f Rt<6{A-3# &tm hEWޫޭG+y^ >ޥU `Dh'8%OrM0 }ho' lV]rDNKk~BOH=R=?"?:%q$+T #^i Mԑ9LW"W&'j5]6,{28g[_֭&T0Fx1iѨH\{򶮫|aRA1$G!' ڎ$ hBGGq6ϑS5ƚo#="z6qa+m KRB)e LNU u>~r'JRfX>L=*\d`[KNAtZ" PYd!(X6mLp>7;.%i6Y-|%E_ݬL|/UoX ezQR8-}k,p!RUjzxcz_]} v;2L3w ~\,u+ȮS$9U2\L}WxRw/B' ,4N |u$X+_zB.NCl>ǒ$U;gskl 8%*q%34E@>(20[`BdesdHV ”?AwvE'kZ# &sD|h:]8c/گ'41?sǢnH<SQ^xj a&m&uZUs~K]NדXm٤ɉvQ" W<Xt;t\diOǩc˂uؼ4 :E7@b[ |RjFȨ゠\/w~d _!7QloO faeonmNU]=N@!< S]d@f}+/!KAQgzmO\(;"spzi%%NKdٺ W6Z$ӪҞWWy!a.F/ޚdBgQŰy:ba R6oM &z幍F&b"`|=T&WS_U=_2B 3_+#(&t;j~\_P:u}Lΐ^W5<]5bOR5>#БRQ/WCm\`r $A߼+աg@G,TpNF]J٬&\;Q}Y쉲_vT '42nAKx_o}.,4r|[&)#l2pt6f n]讝"&4{apKyȥp44Z}?5Yӊlƕ'b4d/0jc4|-6~r6)&VM9.7AZkR8M+-XX1>EŊʈ/<g|lEryfu^t̶N;u~ ZQ0*jtҨ~ҕDz²O)P"SvU3 ne1 Dp!?sH5֊U<TK"}`#LݏTڏl /ۖm#.nA9M+ZGkx 6k@|I|lz.IbU#b~1$T7>vUBO ZAhD?j\>]{Hz6y^=;ʇDr4CR=E$,:TcU%?f Q£!&|.2~E--4'9SMr%|DЗV2np7h=bd ;(PvUBIuϖIGkK5./6o2k.V]4{7^x30ٖaL'q[iuľ,zϷTDX\B!ڠAVɡ,7 rCMcNm,vnrZݭ~IFvIKgӷNu4a4a"UX+aIv*bţ>FeGKXs K`A9뙲ܩ[gϨHCt bږ?8 *?wX$lYz.o["6ߚcڔڵLBwCqj˭nȚ 8afoƼaw$7! ֕H9ﻞьI ""%:V*lTЇJ lCF$ir aԒ_'K;bRU`<zkptg? $cSywt#SeS^V:?ro Fxf.|f[<@}ZY:U7y#\N8nX;O~<n,fg] kU6B96xH/y|e3I^OhHH`<,>DΈ^잻#rR'Je#vR'ic4^/N1u LO>A^Bă,x۫{2y Ȕp-䷄mdvSJ;FL/]v+(@m,@L;Y;P)&v ;_