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 u \t % Trie:threads=2elapsed=21.625cpu=24.616gc=1.120factor=1.147zXZִF! ]ŗXf1-/6vR[ltǧT3(*{>-~Ζ[h DnqUNтsId[7҄b7{Ҝ,`gHeyCs5fR7V^ 7  TriefDZl2u兼K!>B>>f`2NjhLl<IIX*! l(:$hؔNM8Qk? r{1X?ZtSDA>ս1]*B;S.rWAlگ7C齐?;qkyoMJpT~c\92Y"%>΋v4.8?p "XSKxMy\ηRkX'nmy6G!cJ tY91^u양#O0R|!Bq ț{dW ^wY6 3*PAu_g!V9gYZ7zXZִF! k]ŗXi% ne#3yUZV<>nk731ءb7*|a>*Ύz>7T(:x= ~ pI8ʞzJb7+hp1ŠNGI+6qd:d*H ;4BE3lEYF}rR3;. '{*dIQf3Eu{)hɮKCM25zE)xN2Zɢ,~? ,γ* uJlp8Bxypt4Ct<0jgLjO<X~b)9~Z$-'Z+BlxU+[dB"%wgҰsʚ~6&X5`L]7v@h1M^eFCljy=>޾H|CJT:3Yz:Y<~4]&GL_ }p{5htWm)\V9y^9, hPWUn7$W_\BCK:sc\ =#!/oo,G RV9${NTCP?y n>E*s*&S8shy> :5&6-{y-m}`1rg I1q~!dCbCspG|EBoXrQof$}p]L5ٰg' o6~@bJ35[aĴв\0_\̳z^"E&sq'Zi> y 6d~j*)rW lrV&]>/f$L!::] * ]f`y<Ej {