SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info mm| |< E ZF-UNITY:threads=6elapsed=4.980cpu=24.708gc=0.820factor=4.967zXZִF! _]ŗXf1-W   ZF-UNITYHIkWxXr:y?@gpIhmxKɃUȪDtDѱGHO${zd]>sIYDZ_xBh!Cİ({B y.mM,'_Ees |@[S#1"@bJД&I s'% \Q^4 d@enaR3c5~_uǠe՞.Oj,]%sEA3t O>Qom\]n 4Ӗ=$;~NCL%"fVaD*v{'QŘ1%y&j?%qW41~%u-AN_aMG ꅲ@M Μ"߼V6iC{]9paxjcֻ /ngƛUx(H59_89ۜA~vߺv1W- e?Rc)X!n*#8z ~'~aR蜹oqp7 AjZzȓE/\6J T1|aRt /Zb;2-#ZHMxb ~74[Mi%| EQ-bifiB_;M瀊|,W98:LژUJ03IHk6]"_nvC>3ւ߸qLQ6/Uߡk$U8VÇp| Rn,-k@JqzK- v|טz6}ߖE OJtׂ%jOc;od$&ji>Jk0I,^̦2PT_e Z4)3rb@Dyk+8ZwI0[oc(@YH9F(jRmw$a;s'X^H i"4OU;o#ԣ*1W%=a wBz JdwqCt\S) FhQbBƷM@q2NEU|\9br1^eee1ȃ2|[.IFW?jk6vG^}{Y œ*jș4T &+Dp}__b"KQR`#"/J*@Ǥw-P?dJ*D3xPd[aGtXQn*)=#u[gXh5߄ ZB}'5odX&yegᒣ8)᏾إLL*k"|8z4*INO2E cF#F$ ,v7ˏ֬.=ir .}NcvO5E"d$I;ctбc3>4-äo2I%סE_<G4 ;6C  dH{ێ-pNDkʂQ+.&?-!Q>HC^;=u;j 54s6y3E5 ,TqY.}&i8]d33dOXrQ"V~~W?zݑdq$NXf1^ vQ_a dIBԏEa&([n 4,3bUs6 |6oVhc =a}/Ҵ bK-2 [U9RK Tԗxzh<ˁi? -j2W\C<+W\.@B\*la=P=jeF0mYsw Bӂ3gXhʵI=ף&8SA9'އB~w5[T&;!r;!Vs4nIxuPLJ왅]T> kľ$? 秿 yDn] (`\x[H?dPS0PEoBR:#ziiL` *Wn`XC[;Am*O. v-U.uٵSB+ѐ@{c`f//;V H!˿FgYZ7zXZִF! ]ŗXi%ND3p≿#К=0:hYM?#o ꟟-\~C\~CY `3>.pj6i]V&yD(X;>itF4;y\U{<R~l(=9,B&93ƙ3&g9xr\8ڲ)[0h&٭ On 1o9"G,\*ȼ!.V`u! <ey$& :]MU+cbS,vWtǶxz^b[^[ѱ/IKF'373Ϛ0)pO}i%1uw{ej |?]~ Bs;̦A{\s8w11/v[x& Fͤ*uL.3{^/kߤ&Ң(pS :3VA{Wй Anpnjx~t?H4y2u \lsXRr^>hZp4o5kd{t1!Rc֝&_ y=` ~`FB‘h=lbGWԩ"TB?a 5ʾv4>_+݌ψ^p#