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 ll/ 4 / DataRefinementIBP:threads=2elapsed=3.342cpu=5.848gc=0.108factor=1.757zXZִF! "=]ŗXf1- / DataRefinementIBP/6vRZ"P*nI۴UyT,!W-+lMD:#2WjW ee)ҍ]Tg2 NjQ5򔞸ilJZ; Zb5rBlƄi⸌fq 1N[_z/6?Q,zW=ޠ&?^ nXa-Ӑmnأ8̹}3[@ <|@%f'!c9sZ4b"$6q@odPNJe?dy4510ئ>+(h8Y!G)s.MVV(0T|UЉ_ ۍ$}r6cd*^^xz8tS[>PJ`Q-D6#"$nL{Tb ý@)#8\# ʐNI} <.0>YޕUQnwPd}U 9 ,G֒Vs'HL'%t&o1e`].Rci)/eeO0?ٞR:?~XG%~54\V,DSYlE&=oN_oOmس9=+m4,a͵ l#8k9+/'n4MxH*-=Vꤦlq+Vr5b!6QWkb#dSP@g9=+^cHoL2N,r*UFpױ5%ZF-r zmC붇RiBȼR9(hb{!cIbݩ-(t:s9/u3 f\ ۛSC@nKwխY`f{)|kw58@?@B/@cD٢n攙N=^j JY4d7dbw,~zyָsP&x 4lEHF0kq(T5Ӭ':9\.D}PuⴰW\_Tf g+{x .BqH#&)QSj\' vkOk.P'dY`{Ff } M'@E=)ZGiB Lk㢺YUN\K9XPuF}xo߫# Tf\HR;6Iؽ) xSՌgZ~+q7g}/jq(ԄtVP2ʈrˢƋ5W(>K!F5J)n3V̼\ YX*Vs7JڱgYZ1051a97ca4dba3e87dc5c297e2145aeb26f22964 2fa775cb15a07292c23c73502e8bef8503ea8948 324673fd9ae62abac280d9ea8acbee8da3831628 83b550083510cdaa4ff82f27a4012497d366422e 862cf3ac8c1fecce1262b05b9e772d879c94fa33 9854ac0e00f34a51c98cbc66526d7c94fc510ddf a61377a4a5503ba829c56f054abc05ee2e02754b c98ee4ea2164dc2e1fda68947cbbdf0953045a67 d4a749e5a6f449fd6240e9d164e15c710b3368ed e2b063405e84056d48c35f74dc2f5e30c318a3ad ed0255784afbeac0c08a5cf550c22b708149a89a8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07