SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ""S/$ m/]LatticeProperties:threads=2elapsed=3.736cpu=7.016gc=0.144factor=1.887zXZִF! N]ŗXf1-/6vRZ"P*nI%ͧ ۩\{"G $Q݃LOIJwaQ XعcaǦzIVq4#43|y uS㠥r<퍢 mkF p˄Ơ4|/VKon 7`Xmh;JIke毅qXF]%Wڄ,oGѳpn دnZukb$KRO.J&dT{/b})/JXȩ'ߗ<TF^ÿ$Vb]ZG$1U4%6t^YrSeeL&J1*E6ؾN~43{AU.Q̡>2%sYCԷ$>T[vÆ7#)XԔYվE4a=t!쯕ZTnBŮBQa7.#9DQߙK>*0w˚S'ׅ1(> J]FV93K:w ža7;0 q2M 6N'KϢY< N'6INF$N3}֜~cF\;L+&UoGΛZiY^ȁ-Pp"2A?M8')s{]`!4(a"#F}@kiWIkAV#=ԩËB::(͡!eiW:, $S'xq8}ܬt0,W %,pvPO&\xuc7 )gYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f60367df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb566c1432c9dfe37247a1aa1ab2dc5cf6e256be362d