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 Z3< w]Probabilistic_While:threads=2elapsed=74.491cpu=131.324gc=5.152factor=1.767zXZִF! Wz]ŗXf1-q恈'+]&e}0mz_V;vfbvaKˡ?n; d [I 4C1 CJ]l  )˄ EVZ녺,/MP0mZ9tq_ޱ x_YnY.퉏OILwo~dʏ׃EҴ)(V/J.+yY׉<b-m\o2Yɸٴ%OZmeAXljBږV:o/Q86ˆ-M`ѣ"aZuM̆ GʙFkw(J5`Ea f߸'t:47@@7aRe#ؤƤe6`LJt7$_nA+]sq,Vn,K_#5hޤEH:{Ν|yHfyaA1f&G4TpTrj%}Ƨj%j, i#ݧK`u4Yq XMM MEy͖WxRcIxEB /ùjr* 4Ƃpt]B}i[7ch&%鸺[TO2Uu[>S$7(j1( kz>kI~V5}(Nԓ(X:Zt j,\1B'W`L}RPl ;Iv\Ga xϢM敕_|&иLPR:[}/ӑ$w !c nNvb1 N~z>4ju:J={-;/tNkkOif-x67pdW(8+n/~VGĬ%b1X7KwTH4WED }HY_!̬U㈒*ν2xv*]v0?[t޵n%Rr|F䂷z+!,3#DA! .juFEhD OCZj%cB3kh@q 9tżdz'+EEd\ 9/Q@vi[+s9`d8ds"WYGy7pݝV5I5ؐ:Gr"E\cBQ*'3/~EaoX_Dq/ 3+'As2]R.j"#xSU~r}y墶䓾˯;쿂*mQLk-"ł@rޡ4 hF,՜?J}&ľdHm@jc~GgS;w΢`½]r`a1' ̽'v6&xq֯qιC\?;ICE>H\TwBY/瘹Ԅ+=p B\-az`ZBK>- *=J>Sh xWO7ejQ@mW ]xu']oveÝr\W EeH<(Y3tX P:ETsc)R 7F6/ oh66=l/LhC##}+6AJC@1&fIbZ4%nGf(N'z54n# /$@#ѯlx )-i멝:]{m_np&{{ ţtIbѼZP:CWEuvק{@+\dq0t&g6+j6 ѤwVqQvSJ Ի SB-=\&]okT2 9)Dބ*uvrG k̖LR(!臒=YK,hS8>q*v(n-] 2wp~HKYѿ&螱xbikkTʁa@a"?mFٙᢂ};f27N> ~=޿O#o4^z;- o-᤬Z%󟬖_T!2&ϛ ^V~tUc-C.TlJnKsZhOEDjE~5Sp2,@1׏J/gCXmA%-{e=E:'9}ayO Pwp̕9Y%2dELHkxAw`$]n$y%!q_+z39Pl$%``\I/q dlǴoO~/|EF2OyBAvCPoB< '!ҿSI5IHWQ2`y:N|y-n5/ S7&^g<x8u_-!zx$`#hv_VJL=Z4Oeҗ˰npjO'}w1ł0p9$-L7H7wnHn},2,ͦ$bHA7sBшV iR^N/e7J`Z2C,Wir6AJ8#{ޡP#׵3'\{;ݩ>pLNڿ)EaY$1u9Ȭ#Ŵ4wT ywO?b'm [:|V;2/9K+x؆P rW(DcGMsH)rK QW6ULd%A#OuTpqN fJgfhвFbaGy$w-\awA~\%;H$#IDKn{g Y;^^խZԏiwf|PDa;P1aYw#zn'lnwZqfbٗk 35s^}4 Eu.MufNh(ߜwVq-zE4n0dhs#b V ڻ*＀]U إQ5J&r.g8n&638ǂߢH~Yb , \ehm/M/:W+-sήzhE(c(N/?{gw L0x3)~GK{;Hi]CUODp< f9* _IN9xDF ]EcXj/DJVvcڕ_"F%y?Wg Y*[dD=#ӏ"(eCyiM8(ʴ_ lcoO7pQ ?1diLU%wŷ -Wa560ZV%d p.Yƶ' +t^K ?8Twӎl[ wyQZݰk$j Cn> jF8=C6մ0oqwY!d 0#)8&qZ2}I}oTκt+H Ԧp@tС`F)[ Mab͠Ǵ"jz{X>o#ˠC^hE9f׈_"/A]1&cXlo e0OWTu~ 8eF(u qe6RL*Cӱb-+Fҽ^e{)v^ ȤZt>74'U=[5p:aCm7mUb-?|u|e =A(+yo{xMB4%JgBH9R:񱣖s*`c/(*+ha