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 = $ ]w Probabilistic_System_Zoo:threads=2elapsed=50.654cpu=83.324gc=3.880factor=1.647zXZִF! &]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8DE„y=[7^/ulޤyo] ==51?.\TsHm3^5{jckd`+vTy $f(tp) k;^l]oJpa =i̴J^n]njJ2t T;0G7w +mntNBŀ)`8WU@䓟+;e^So/<m_:Txg4SoaQ@#f-Q+(o47(9. Tz6=rN~yvfyD;JH@ޢg)^x9VD+7Ü-c`Q2Phzwݸ'7xoU6ݟ*UY FPME )1r?||@r@=p2|CJ:9vy7^VP@㗷-(Y?m\UcD $ `"yɳyNF|!B]ԩ:5GFH#nNNX.n஑{mU 2U+EΥblKe ˙#wN4TJ4 vٿm}"'Č9 a4i0N BF-2M Nx5~EF̚1m`VpқZއt6H^+l X̗쏰AtK$j7 w7X쟉< >{MLԱgYZ7zXZִF! P ]ŗXi%6pLiJt0v;O*>~0ŷF|>ZNs\vj^`ti惊vH+A/H3^͔NůЙӉ۹~C #β+c/ GHid RQL˗~]sR%Z>hN>na''̫ӱ'Q80.&\P"P'*֪k%08Z^K&1Xyܑn#;Si4iD9F9%kV} iBu) ~jd5:Obc4OF΂晄E~ xF?vW1YP$D=&$I(?kU՚א]bj,%zCϮ&&i.lz=ʘmˢ[ۀwVCRyďR_^j%nEXr\bMo XǛPsl:Lwf,e=řf[AM_%g/1$َ:+1<Pn Y1g\(G-4ͬ5.X'h%e{ߜ oNm'$ F>k gAcz[7cljĪ5Kϥ1$<2Ǎ4IONm^goF)/^E{)@E"5l5G9*qL[BζG{N,<>)#אd:HҲIS:d4_24 H s@2zOOVL[xg:^cxxځP ]ޅ/&47*({~I%&6LϚ #bu=am)0״+땆Ep3&8NʋuUDqԞͫR-X~ 濨n:ƅbwYcDrW/^!K"^Lc¼![J)ΤHnf@#YGasؓ+tbj,9prIl0p9 4 Xjmx0lonBo4_Ple~UjRWی1LxVsJ%ZBi 8CǯNl@{}GxU 6Ok N3އuM iwA  H ( ܞ0\}MaAfQ$ dba.Is(༛Ю*r3*n !y-%[4Uly寪AFQl(f; hḑjm`PYø{}by2:eƆSa:Z80[hKy<2!˶wBi( ̼rESSjC:=W83YG9kuًg3LݴU"e=. @f/˄6Xx{w]<[CX6!vH!*37\<)SͲnN身9-yo! "ޟ%"`#+Pm #㉸Ff/'>E  Ww*"GEe e-x J+Ȁ1pEO=u\^ ?lKiRnA݂D]J'(2H jH]%ۆ.dzUq" Ѕ=EDciuJ5Q3Ǩ^Ơ.+[R@`PJ.c2Ug "x6 \3J56JWHXu; ::HuiK|i2-}"O昹>o: ,v 32pn)mx:H|^['{`΀ǴBڍ3m"KOo}]*'ŭvIQ^T |H?,a7E- 3kxpڜD~wn诺;h(^2*iz4mJw?goP3]rOiT[ C׺"eHW)?D5ޫss.?i`Rlp8XIw@{8" l;{N;_:nHZB'E*}m 3yfa\n1L h6 ^y5^Knl+)WUt1SZ@Y=WQ2oPTI>bzܩ_\UABPj0C'l6Ī>u0iT|Ʒ|^{gnbtvsɁ &P ң1H 1Eig^M^ B!|KP}X M.uC+Rb!>5p@ϑ&$T~! 𥉉ɼbxyeDK ;yS#En_'(ΛvIS)blڸ@R9:gۘ)N%qe23JpްΝsPVr{ED 5 X.G`T%}g\rF)ŒrZUFw P5i 8UmBֺуcJe9nu qKR Xzgn}᤽'0<>=5ÀwVZ6K8|~)