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 y L$ S/ PropResPI:threads=2elapsed=16.013cpu=26.832gc=0.848factor=1.687zXZִF! J)]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^OF;/6y $aeLQ>Zzա( !!ȜŽ< 3b$TK '3)P,xD*iDbFSYXU F)∴ILo!-+B;x ! wʺرQ%$Kgܲˇ |լݞk\j"]b3C9yLLZ4^wR9a; wP+qj>TJ=ȇZ!{|Z*oGW@rV1tCK-aEleMx6R GAўkmtZ;f;4On??!QKz=iI'l z8BHcM>P%3c@%9`<3/425gb5'5=|"M6ڗLDzbd1.N!ab仼2nj2Sh3~SGJN0RdXN斥NС©]~6 !=(IFxrZ)tqɍ{uu 0amDYŁ stp&cɾlKv> Ҭi:}&YLU0yГ /1٠w c$cgYZ7zXZִF! V ]ŗXi%n8*j2japM'ю/٣&OK{W&0h:rm5"`/Ē_/ΦatB7ϋ}vkAR۞lp/W2i yJ ap鰷Nv{( }/+u}4)9ȳۗv!V9lg{"ƈ9`'L\`f):{qi&~rg¥2"/seE.%T|uf2@>1[ג++:g!J%b 1 wK>-}eƐ6::btH`NyE3s2~`U,׮1du=R CzV%z/ 7r$|\k] %bq=:Ӓ]gܷiyЈ S{e kKpC9GAl6ϖ<&(]_:8$A;q鬶}v:쐟m=Ft_1;!cwC]3b06{Au_c۩<&.8W8`aHfȷ3,V oԐEc dcnQ*FlTa @.mYMn7IDw& vXn)0-<6mkT 5@cfq;sA_à"V(j9Gtnx:m<3OB),!qDwP/(11*^.giO8hB4T huKb/OBaKo]ոx[<'ƷpݐGŻۆ(Ek3@Q!@1:>>`ǍiSs\s  еT[`nA Vv {4XA;Z"yW,v] 9 Fʂ;n _EMK^h wXuI)gB]mx{V FSâmSqġ;^l6 }-k U }+v49 i=Y&wl\IA %OAGSRxHHgao_|Һ6LHN}.֙6!eLE dJX!Q/ )h{=t.1G?=+h9se"d7|݋JFW ǰջN?>HYgE4I7vBD!}% qoz 컍"Hd7 P ޭ̃gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcdc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803   PropResPI