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 mm%| w Pairing_Heap:threads=2elapsed=3.166cpu=6.288gc=0.416factor=1.997zXZִF! ]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<[捅bP6S-9\4tR|3FL;8G/Za'ZpR.)N\Fe(JtbP[;GccځYF@JbMoL?9md:Ig BtWnia%-1{=?Y~jfvH%}孻@Ŷ (%C9_)= 4X^=MMYyS$T:wR pr=&.R-Y cf6d&BRYT00fPxp`c[gtTӾ8I?r~> _VFiv7ȖluzqGƍ-hz!ߵA? Hegoa|Q8n )-<,H3|O u1дMY=^)-ﺱg % Pairing_HeapYZ7zXZִF! ?F]ŗXi%B׆f%9eTuwz XN7h4HO_d0#s.f'CwɵV{HwØ_|A׈m k~~:0^8784,Y=fG2GdΪy(L+JSbN *l(r?O^Ks/Dj7&镑ݫI A$$"n8ڂܙba  8p9zhP llH>~aW NY#߰5Yp NJ3gL"L( ª/=s^%)=J=[1NDsbIJ_ {O!_U1\̈́iAQIY4 O_iE/ z'Nb[$@D!&&EM.j\>Ӡ!j>*'FCLa5#%fLZ!.+ҡ@!/V'JNVTO>Cs68X8v>zRB; ~fz%.8Ǩ.5 Jr4^e^mGg?J/V,0՞Сu.xM)gYZ1cb234c90f37381a20bbc72e24dd6522e89522ef 2406350fc8727bfbb9cd0b178f37f8c3eedd0690 74adc48a72fa690d8f30865a32ea28baf7ef0f9e aceb996a5b707b618f7a30886fcc2ce058098773 ce48a7876f4cb6047e48fa90db8d31d7812ebe67 fdcd07e33d850f2e31fec2b9a936a64b6fe54da9d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9