SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 T7 l,$ ] HOL-Word-SMT_Examples:threads=6elapsed=53.337cpu=74.572gc=0.928factor=1.407zXZִF! p]ŗXf1-q恈2Z( \9rfJ̔`ohC/1Uńu?1?gj+dJ%/r:B-kb꠶޻肑Tq,C`~HnW6l/!h މ3PBiݹ  zD@*e8-rmKSi?a=_m.v'>67M/%f{ޖ9aNLo0W@N[钄w߁h M%$*rs0EaJw0pMлz QgXL4]b* uU`e(`_uSDS4 3}q"|po~Y09^MR,:20f>8#5Vɰ)?ppe]VPI?5TQyj# 15v+S.)#(Q뼡y#T&Y7t=п1ISl2큛&aw/ⷉJzc/kj]rG9ؙCNj* syAm;M!R-M|fOC,~a@j~oRp6q]YԡzA~w8@3 4F࿔n-P:wzHs;qzYx\ 7OO[g\#p쐖Eǥ ɜ=_qW1V'zg MYܔm]6*+ং7j]Qs.W]!f2?,4:qqe(SGA0Z5%~0ڏdoFƪ@]\vB7iHuUqomr4#IUE0uf}WQ@ A]ĺXSjXPriNJsZL+h"vAk8=0G+Zi?ZZJ;/3r" ll#IC#Id&cXug$I&6dSΛ6Wa ,DDwnESr7{g:+_Gj9 idUƴ3oC֝"b( +TKBxLH_.օdB vǘ`\!(ᙂC@OX.P^ycijsE8)5TIR@5e{%B/ 2w= rgLb 6<2٪[}x&82{+UEtKr7?@%t8f3Q) !Or6_v( I-ыw+lc&.ĵv=k2~J *v] zJuPvKĴ'^>SQOf*ۮ