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 c D ]/ FLP:threads=2elapsed=20.999cpu=38.732gc=1.220factor=1.847zXZִF! ]ŗXf1-/6vRZlh[j^iWrYWrWzN{\V#%G&_ 躔S⼅!]Q8Eı+(1;!(m Z3p^Zuћ,gXBo81Y.@nc*BӔ2K #>؇ 3 6^wΏ}d`/Adlc+sn\pfaO0 Md)(7B{dRI{=u(aM%%9ʞ`$ i-e;S#nȐ둡9h&+mStӉT*]mrq~OUh &t!Vw;QQEj@E$?()ī{km FיּI`;Ϯox:$]]Bn#--i~<.+jp󺕓ZE] 7QHF z1\< ED͑(wJU58=tgQ5h|JjtJAԄ;,ʫc7ኦ M+ (KvY8+7<=e&P"KXFGn!im8erT=dDS.dp)*@TgYZ7zXZִF! lG]ŗXi%62 KM^>0l@{7Me=)8ڨ"-PgLscFO WMEH8>vkĚ"ePg:߉/:ΆZc#v љ}l@O'G6mw3ƻ84XYr:h{߂bKi9*-cuAaOxıu!iSZEwViL5NZUJ?0M'C?詄m؜K%6\no+taRzz_JeER^d@rcqBDNU\,lMq‹$e(2 '/=m_!}HS癱"45QHGhe=:\<][ݠsɓE^EةPn4HJ"H-|DsNTcpry(5b̕uť^{6,{",EIӿ w0:f@pOe M<D?g\r򡆒31?KʬƓroFѺ𪱜/P~;5 C\z>x CXdIy6Pg_<UA'-]ԈH4;̗0T^el:w )ANJ9g4`cҊ]-ψC|}<ižͱd૆>e+/xEmY@νe)П`ǓKcz[%>U bI&՜|ܜ5^\ϕx3[,F9K-r~AgVN-Y#qLk[Npn݂f>QR\7E=7l-o=#GmDw[ zUeaG<ϒCy"k|:Bwa2" y?~Z ?NV(,QH8djC4 v- )BP3/e+d7%J8I DxmB@=bw5u3{DԭW0vsQ"Q?V#Ixp;C`080tFuźNmg"]AkZpX^(&N|ةt6D|/vS=?_H1)v&B>T`^o4uO5X bY0NX0wbР)c2_βFZڪ"4FS@/AӭKVV4zHbg?[gyVc9v|^ˑ [&K@T\_}ɩ y˴~iziR b ^Lˇ־z$!rkFE>6 %Q9UT9)/-AƃbGi!eKvmRm&]"W|g.3dsM%3ΉέE~ (gl-,ڥK tgz˜/ /gYZ605760c86c8b9ac1e73eba7852c46294d508c94a0a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159  FLP