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# 4|  Integration:threads=2elapsed=12.330cpu=22.116gc=0.732factor=1.797zXZִF! w]ŗXf1-/6vRZEҰ {iO}rƧd3_{ę .6%9]cOELy_H?ֱw(:Iq}Cn)ɆgH43vCpPgjb*tTl|fQmw& \ H%3;=n^;2a6g*){"1~Um >6pqv"z{oxS/0 cwold9}7%6 ?ۭ'S X]Qg^zr]xcr y6 9z{!;cxֻ*ag&Ɇ7h,W_G6׋ َP=ɥ CA9M`A~,t]:ܞD?d$Q;S"̨1ǒEV+³ 5<a=,ُSb\}[@7`by׳{9mM9H K:sn a_63-.Ť1#wH3f, 2~dMbܜ3s%XSy!τ˦ NՆ|?l[` #N! Dq8@x zF/=45+cZ:+$/Iak`+&~6ZyFL9n@~IٝAٮZ_f X)a_p*QHZFo1M ᯻]pYf=,AV絖rHSo#mZ+9gQȆE* !:A#A~5,fأhgW5L6ݛr~_&˧ABe_?x[ g pӱgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 98c5f946f974fd45bdeb9e2254b79f70dbf2c63d 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e71008f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 5e2d9fe647698eb3de122778d18dacd4a9a66146 # Integration