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  7 T,, ] HOL-Word-SMT_Examples:threads=6elapsed=52.798cpu=74.504gc=1.044factor=1.417zXZִF! c]ŗXf1-q恈2Z( \9rfJ̔`ohC/1UŃI\/;?7 Zsv3ܼ2#.r?Z 8$oNmZrO '|E)5~R>;<[ eec l!ڴc/(VCd 3ZC ̠slaieKYRZ0f8pruĒ˗ԊbxBm#N_`$q:ymRlOz93s kY >V%N 8mJC6>b+Vx㴿썒$ғfI4-L+qħDAʃ 9LHi@/ngYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ssx7Per|*vl!n3koplvu혌gh9u),Sf}].7Kr5QL,FVi&K_56\F7'Q >dhWl>I<] @ :>ݻ|p"|5Gws#Lw")|^$+R2qy,1)Kol~t)dz>ءb 2'3^~$g퇢w:4V d,pn1dUfBҡ |vL'DFi-4;V(?/Ro-k9RRީD^Rie 3gv$ uͽXѿd8e}plL߬4B$VQnάyS(7ڋF!L[bF{:M1OH2C,;4bQ`h({1M} 0)Mt@~LxI'hJ9cuH0N~nY7 Ɗ?͢]H!Č;re+zݰfrT$ ? ahA4ԀD:mpC~-?pƴ7իlB O$&„