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  ~ ~/d ]/ DataRefinementIBP:threads=2elapsed=3.089cpu=5.452gc=0.080factor=1.767zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2WhKI_y-Sә$\hc7<W$/ʋG~scKjVԌ% Džs Ta}.CgYZ7zXZִF! ;]ŗXi%6}͉}j=|g 2f:h <?*zf7oxJ?UedO sfPTb [_q.~ɽb ME mq[ Ȓ9U\e\ƴBН5zs.pyvP4MKS1vo1zR^u/;h^K~EL g,Πzfvz "PUM-Zi"_̞*Bc6yBFfNN5?xwv|!O<83F;3g-,LIG;>Tq]57Egѿw\uETzD4_ v* YP|zse]!pt7s DE~Q։: - MV\7g~H/Ɇc;A'.sEBm5Lݶo!q. XJME61a<=͸ڛR#8KXC:8,_|gV8,ɏ&r>4'%M+^s uCʓMsFLw3 K6gYZ42b7a40b31c5390a92dc188870c01bfbb66d069a72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 / DataRefinementIBP