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  4+|< ]w]Girth_Chromatic:threads=2elapsed=62.253cpu=101.772gc=4.396factor=1.637zXZִF! "-]ŗXf1-/6vRZSc$ ,Y:`)Ȋt7b)*U~5/"HC5 0` Ύ5r= #e9h<>4Vh9B\ޛيR8+r93aO}SPK.alG2T1~%\˘@qCT"kBG+>+Y. PFk;o.}QH@΍~*\@|Ù$Q oͣ {LGS_E:ir#! q_Oa_׵gi,>DT~Ե1jIaȝ!QmUu0gK$=xCT(],Jց,"~WQH[@hбH>7qfj~5#%CࣛcUK2 ]gZk;ヿ,5k܍:EEHWbJS_>AA `WZfYs6 Gr/rȏ6JS~QDe=35ԡq2zhp8$_&Gb|UI* ݇,*9+D6/ ك|^*>V5u_H:| ܩjzzDk)jڱ}zjI)9)1 lvMJJUZp%b\ogo.4~S#Y"} %)nq FCc}BDGJE ZY=[VH yx; z]X"ykd-[Y`0J/RS#d!1j4 Up7&H$Ɍ"AOV[ 10Я{bnWW%LZU?8'[u-|[0匋MźranjF·NSTfnsPIl>%eUZ#Ea-k(;SSpL9{C Eq؜Sv [@V8k/$+9!#:~9qFt6yo/ 1+^ 6ޭI)0!e!Z .%{Nh= ~7r kFstIPO~Qx_[Q*|!Sy3-+! :LDcQ Ϗʧq^#EbHCQ@{;J5?;!nC!]m8AR)!)d;޲m`Ŀ׷:mkNΝrl m:ۅ {fu:Jlqh_Y,s_XT{gyn\NqB^U'vPR>1g<*G?Iԯ1!D"G6|(^4dzJJ>)ߔn&!^wBz~Hgw7>c^8 q*u `RK @+T) pSu̽=Ë3qӳuq XkUx.#x$`o/r Xha@(,% !-{Xj"sP GTܫ=t$<Q *(-_^xEg)"я:R-Fb_8{x,#YU[] u -c0iMؽ_>GQS?Ș%wfqְɖa9Fi{DeU?gsFCU }4yzJ5paiTݔ eQE^ct[ſǛU3f}*f`۠K7CX l­'߈ ahXyJޫUh@T/ I 1AF0QoGS`V$L~摟_W':-aYA!*PdHz8ˑ^"}~GEyM(u=gX[L/ɟ6HB 3T24E2tXF$R)۱MrX{:&z炮Dr`AF9g_8Z_h(NnlT_>θ01":T% `n5VF`KM"1ưF0M]*6yYy3EcVVl"O[J{=@b. Vu1Z ekҼ\D‹kyֵ&;#D87"ɿPNpҪqo3-)\x+5'Ĩɷ̀8gǮKPFK)G D) 9vlQXi IKIhފtr=|O3[C_@6ltA'bOszᡢN@R?.S̉v̄JflJWX8еNO-)KӠʜu7HR( + Gz tܩx (n߷"TS2!7 ii/>|Kf솪 ~Zeas=*BS(~6]+Γ/JDJa&EWʂuOFV%(ȊI]kun;OVdVc҄ ,级__Ql;Op't"7 1Z$\2"V. ;7qOc{gjgUڥ4'}CPp@Czg+ t&`*g.? :S+$-wuXjebD_ j C<}̮$2η#NY_"# P5K`v\OsZ &Ig7u}/8BՏp9z f0=iS¦2 53< U%[~"WP|#w ?R#ي;̦p:; 癝[$v&%[ЋQ (0 i gYZ2b32abed956cbc87e642519973c73f804be8736de003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 fec55c93856cba0eb9bef7968d19e70e69c2191d 3ad247324b4a7b15e89a07c1a13251de7b9c9e61cbf98d47d6c667487268ffbcfe1bea8fb191d22a