SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 77ld HOL-Word-SMT_Examples:threads=6elapsed=55.786cpu=75.004gc=0.896factor=1.347zXZ ִF ! ;] ŗXf1-q恈2Z(\9 .b(Blf^i1Mf"K i@V&՜LDE^S|#2x R\vK΅Nj<<,720~AgS0m)P=PāDZ-eswB#w"¦0%fpnWQvN_c|12 WsPȶ9_%?*OX+sgE p: [gnF_+ps 4H,mJMco*XL4UNl>j0- f?K鞞dG4ۼ_uz9QV#_U]/My`iLQ2(?M aHp=]< #Ą? 7 HOL-Word-SMT_Examples mx8Z:bNAFBfO槅: ъjͥ}# `i_'[H4/"~,?"+ OWcN>P]M^*<(է\VBN!];,exW)ph8Np\l|a߆vgC_|Ѷ=#F -O8Uf~};B]lH#: D ~L7OƝj8vzËNҤ$Wdz5K $tvI0@puU3fh2_X9:@EC )ȃq=F!#U&}V/?3ƓSbFKU]FB^Nhi̘ZQo(=X/qDm KAv~KW>P2 2U"$nm hov6ܩKA-_\QG *6B$p oVb_wqBQz˼aň6?mVnRE-@YYE'3;/;dzW_x+cZEͤiЯُq>ߣȦr?GJ8MՖdFG=}OOUá=,S5&rS]i;M2P !@K\$*(T>^]OQڸlcnN$0 29pn l vd {S!!"ȤhKrۀB3h & w v^ӟg YZ7zXZ ִF ! ] ŗXi%N:ߣoy_,wmwc̍| ssOfA7,D^:} aom W&{V& GIXV)1$ 0=kј9Ikې!~C$ dT@b|OEp]yQA%s}+:
dS`1N'm3rҐ۔{ CV5GХ^SVϖNB5U~|%ˊ'@@nݲ%DBfXr;Sy6\TRN=Z ؑC"떙M;RyxA>z,)m|s`GL2m\[*qVwTkŷ
h-7V"jT.dƫ{NzEpGK8/N]VQI\U Xālr[WhK-ZfMJHmY_!Ƥ3Sc>M>r#Gfź".譁:f^>(@0c(V5VrA.SPǗ\'
i{{-F̥
ͯ@H.7şv^bZ\۶jXwڦbcTq#,wN;&E\k!I880=bB\+ 5^R<̜N)0͊@R8cfsq0YTGEem"C|4
`3)W2s֘slKܯz'٢=oHr 4ɺ&|߬NSp
CL9`?Ac9MǐkgTJZj>e<wu[6'$:sNH`р^wc@grޠA"R'$-~$,8uBE*Bl0wTR00iBʉP 'N<
{FUd