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 I \4 ]/ SIFPL:threads=2elapsed=54.647cpu=88.256gc=3.780factor=1.627zXZִF! )l]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(-(ZYa`W8yhvƗ-m+9bgB;"=/_?ٱfx>qrlf *I->t8Ght:*Yhk9\DIY*7f1JB'QӁBZ?}=ֳHdČK OHI$MLJo//DQ7HK:y?]i;Yl}EB~'z鿫DH~  SIFPL[d0A-xYе JBo5h /VͨU~n5YJtϊTH 4g)WL{逍G\y$ԭZ˰\鿼AkNvF),C3En4"0Š@dC/ ٙ%☯[1HcCwo辷lH3$ElDmZ*5k8{E'π.mo LIBD=50/4v_y|ѸXllK %[m&Ђ ,y7|m$X eX8#\/\,i)P<<'-/SHP, Y- "A~gV{e*DT: +^yt;/;VxeϮى+l>-y!m[Hި>&9?sEtȡ)@d&,LoM`'E9iMmpT-Y^$ jƾj<.g4gXO8Ymqwg+k%E$3Ȣ#q_MPN&S!TO.Řo+kwV噥<&}av'VKNi~vR)=gYZ7zXZִF! ] ]ŗXi%6rr5:-{^vYb~ԹLdjX&;c LC+-yVkU\҆@&2]ڡ=ˊ?:Lubt~ߙRySygcH~L0=_#FAzX}HYiǫ WK[ MDZ&Vο䗡O!/$$L#H|GxI(z >\s=;iZSC04A; |/$ D:,` c Dd$\Utܹ܋FҮg;WYzeQaH^b(NQu+ʙCt6s6D v2HVx/wx:e?RXq(kQ6 .AF?荑A2{()! SڧEh7^tbd(J4,kܘ6Oބ _(OEgWe(2v8-uRC'敝NJ^nZ5!X1Iҵȹw{91)& @ }^l&GK$ē;Mز>yX 3; q 70msƭ< W oNpW6'q#%"Dܼh_}.ΌxD3$\elNjY>+b7Ӟ RJڨ̶0= MYϮd9X2< 5An%z=AGA+S7bћׇ7|m~$x6#r1ju wM@3r,B]0FቱD}VI͍;qHؒ}k˨HڣФ§|='(|> ]9?4;!0 1&ph!f"5؈{>Ɠ1 U ňTJ!d E gA)H-\ \+8,nFؒ6&.\X۟UٴIW{UІ̞B#d\pXbArѡ_- p`^bd͘&0 "d~߽SF))'HE?V_Eߚ5)}+i7BiO pe`Eɽ!W!E_#dJ$[F\ 9*)<_-.3r["u糦u)pk\IHmB)^?N.B?aJjFsp\5kdZj LJ  kȳ_C(E0elѱ7W~tS=E9a䱊5KMFn+'6D]@/C3(JU}I/R^ֹ"FrBC+Q Y.Y)LUJaS>I]"sJ%qv1=lz=׊k~`q{=zse`FvHɞV[P Qi-4W/UdLZtJzbx \5j?!6cvWJ">y HJ0Zdks-1;qbsI7(E{+ Ԅ`f[PEu8mIq_2\@B7%oTT-sETfܰތpeAgYZ2a8f76ae86a9683f5ef72934b30ecf09485f34711e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8