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 ,' <, ] HOL-Matrix_LP:threads=2elapsed=14.884cpu=28.572gc=1.300factor=1.927zXZִF! A]ŗXf1-q恈{RI $ϭ N/XtJS dz{߮CIXZ۫x 퉪@h r!cm"ΡԱ6msib_/^42WugK-_ـr pw[ytfZjgYZ7zXZִF! b]ŗXiɟ1#vX@;- ̕^EĿBav?a-_%U5N-󆷡Ǽܤi=:Y K|z{|߯m`J&$7HVgYZ7zXZִF! R-]ŗXi%9*WڭBfU 000Zr9XvO* ]C;2);V =mf ;YD*-QDp"ԥ>$^[L]moR\6%Cc"ds\V ** +H]f]Sz1V"e/?qe|Mѭ4#W`+G6vz0FϴvwSRNC`9UB-~$ 'ϵ({.k NUG8F}GoO']9oi;WcD(p}M>$*pB7T;^4$:"R3!lgx2iaC̠4zBP3ϩ@KombU*44'2Ndb-]n[Wk 28.80*i ū>UNKUL>nG=d Cs!4`Z@u5s6t5+ 5vsMyR "Ф+Q"oaa9NJ":=:%r]L!i\qw`A1٠M8gM8X+%zMC-lu1&4B'*zzx SIU0ņTvCDf^B0*H3[) 63WD -=Tob:0Ϡ=᧌-(hoIp_hȁQa"J.*<甉oqWʭARϛ;N bH#iLWgu&ko;KYg (&u~fN8=V}o{CW[ %EeBVV{2 Pi[VxWV-&v!:4TU֪6ӂEdDID9%G_wH֘M k%bvL]|{mJ$=\8?PK ۨJ%_,p̱Z8wy;؂=Q15=&L`n0JWٲFݨ#y1եo ]ౄ+yk̡e{:Y9XT3XoHdvfE6JԷ2WFQwwQ^<-Od2NxG8beCO1r+1