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 87 l,l ] HOL-Word-SMT_Examples:threads=6elapsed=53.564cpu=74.440gc=1.112factor=1.397zXZִF! p]ŗXf1-q恈2Z( \9 .b(BlfT+mmZDPJ1(%ɤe&] 7bdzK^st |k]ࣺ̈ 3AQkWu1fF"lW%(qjGf:z=/IPmdpaol״T_`aFP c~^C?-]$_AIyl 8CD?ͤbLHؐP^Ў/@B/N׿#vPl 7H%n>3R}SrLܿr/a`| ?b}mPC*a:1P-#*8S^ 7!YHW&^l 8*|UX+ =&TknlE%SoSl)iXiB%ofW` ho*=p 8lpJ3g9n/x\@gYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%SshB ;  %wЄSV$wL{ p`&(4]@3mA^9ӑDZgYZ7zXZִF! p]ŗXi%;t^ "Pdc.GB:Ʈ_l> f‹$ARե̇1ESOiB_$ vHgyuB sJl>BU/~!ƶ%}Imq<8WE8yٽ%acqM5jeuƭ#@DdYt2GV鰾-ݝ[ƘE pK0J{̕nE!/?4>C ^nT戁QRqT=^_|k>ދ9]y|G(i 0}{lkGʞ"@`䏖nNt]1r0:ةचR$FnЇ nx]NRvUpDQLbiG83,7:uhoV# 0t V |_^wvUe7ѹvbN(cVQ( #{=wo*[ q]:^|l;P: ۊXP)0JC9ыQr"{k rlOߜWz7m7ϳ!L3_E`X *wJG ܑ&cpJ@yu#Ob9oV|/l*^ \ְ h]<*M=NhIH2(SVpj_sŴ:k=8^f4 WNæm5W.֢_ۭ&-_88 VT1u)䂤Xy9˯,Ĭ@@V _]Q岠!pl79"?؊܇EOKt{#rr'@ђ@ҺA@'`׎(E&#>I=$q˒bU75 .#cDr藂%l;1D