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  |< ]/ SIFPL:threads=2elapsed=53.154cpu=86.600gc=3.660factor=1.637zXZִF! ']ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(G^YۃʶNt")!>'WRΘ_kBQ&VèW(`nK;:"-׌||5Ox,=Rh߲1dRlcN2q젅V49{bŃ^Xd1;2 A2e%q c9497wS\-[4Y/Ӵ*\⮭6lmGih8nQ~@1E=QH NdHKKGLQ`Ɏ_i¬4 Wj& W  SIFPL]kIP0Ez6 ~|>x | k7lCflKb/ӟ|Ydv*xN_ <){#S5lێ@5>(smm2!Ư&_)'}驰 {A12n9dg0osvxC Jܴd>O!\%؞TMdcw`1ZO2x+Hk]ml SxZMP| 3s,HF8T6_ $zx!Z D\'MFTe>±f"F_SfP\Q٫!괤q%yj#rKʞۖͩ 9%2}/9n -;L,p5aɷ]%@PCo4@#OT0?)\JXAK<$)0.T~/N'P}4r{m HGy]2WI_A:cz̰cBp J7Wnh|i5Y KzhIJ  "1e% N^9gYZ7zXZִF!  ]ŗXi%60nm"yn90v,#ځGNguud|CUrk)tӧUDuCqya>ݼtf=k(JΩ!\2mםcܬ(]l/5B://p 9^8%y`ax׻l냧׫N y4 `yi {%f71r'[)]9lDzטFlB]+}ki3ߘҸJR 8i|g*1>jyѩd0^Q03%C0`,tM18S)u35ؿ0Nƚ}Pn^؜?YMt-{@jwQT˧gAMCʰIh)S^Ce3f@aمe"I͛.E0/S2=?L|zBvu;鑞i1hn~VPnR (z _wtrR@ Gb 9]?޿bfY#h5WGŻ[Sɼ՝X9lAYI,G l)Gu&NsXmyhYI~`*A [y[' Iײs[VuhG)|ۧ |Eܺ%r+/$eIVK*ΆWS #4⶛&gn 8G N{_&mΟ~~496ޠ&y6O6p҇*OQ%c -]yxJ­R&&Uғ绸8U|ܬW!)\`4bc$U9l]Ew\0Ra9*;%>*O4 ;մ:pʛ濈~ʘm}3&MQ BьXM.#BaN-#t@'tt6܏b~]3L]j ԘG,}@z؉ zB1dLWϭwgd4&@jb2:']⚡|9Mnں8;3qG@gIu='d:(G|vN.5np`kXPrMs~v˸`T+]4M%5D|5Rh3КTŶ۩B>HlgW$fw="On㞭; U`B`n|# H-eGiH$iG>&]Zٟ\֟nρILG k4cѕ~8 ٓJw9s`N.@@n Uvjcۜt>0:|:Lnę+׹:!IÕN;@ H7q4sX+ec KR{'CDzRCasVGA@ lyH(6Y{߆Yy z$H(qvpG6S"t& {-ƭ)6Q;Vzen&J>ΤҎR'I .Yy*nfSes~$N>Nْ1& .Wl1^cZY S:z5t2棑,!q]02"&x7B(F*SLWH>*Yd8:U4>Q;_u;iTKz#7 ;JbhSfaw)sE#fP0yC[8Y]μҥo9ȰS͚DXZrvZot{&nV|MbK[Tl>(brsX QRrAL Lz3ݾc/&r9߅ yVhS͌0wY~k=Jؙ|z0*JR#Ķ.tKS|q[feuFeLAXXt{υEؑ +rDfǦzAͤg'19k5=NI(/5R (sjw#A}֫Lv>4Z߶ S{{ѓba-RVUk}+H!~Mӎ,Nd !U:3>?0JoQ僉='# +'#sD@~zJ%82IV]|J##aULs0gYZ595a5f2c32824330d7a374929f6bcf810367a41de3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87