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 # \  Integration:threads=2elapsed=11.155cpu=21.688gc=0.716factor=1.947zXZִF! :]ŗXf1-/6vRZ? {"vXdw7k8c2:4v̈Z3׋II$rSzk3A1@3UP[J:V ʺ/`Kgñ?v=[Jè&?o`| upFgYZ7zXZִF! ?k]ŗXi%gt%n:TfiVcQ!5:a8\.1\tl}esq^Lºyee!t)6f L8GA׷7/&P12V8t= Uoxꗽc * sZ+~E-zW3(=tI s͖ǚ*CWgqjGYop7wB7rihSWoF A zՋμ5nxW)%J7AF9(6Wۄ{hr/(ya{ gGUnw38}kS6st^hNN1)7c'ê^ 147NLs3~6 TWHi]:!;{%E%iԆ'fyfG5t/8ipڤ g.1x-MKrc/db@ZJ-,+řwkZ O+O2eS ! |OΒ=kljZ OdP8-= ngawXFV'1I@)oxr?7m=9ԗIYIU)]ӥc`MyjsB+\VO'ͥSH0T̼muͣf3 ݂͒Ki"K/5kn߿nFؠU"s / Zp( '('kIC%^*6> p7 j1'U2j5N"ƸF|CNօ)u-oV0kx}SB\9ĜŻe:RERyJ1l&o닽Nb)ʳCd`1_P@cL9K!,ZV# j#n*L"QE^ [% Ȭxף8$8Z0G^Kx5'%h^54`֒Uj~(5(gYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e71008572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 # Integration