SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  4 %/ GenClock:threads=2elapsed=4.824cpu=8.256gc=0.096factor=1.717zXZִF!   GenClock +>]ŗXf1-/6vRZwE}%X:!:7^ er. .? SAsǞ[k)@HYQSny|he'ʰk}e3ĞBdI 27sCF+}%cmxUԸۚ6l(;3nhN:/ DYRnjVTdéDZAts6R)R.]^\^xOY ƻKxXE#-ܕhloɹlv6 4O ;4⡒n9常X˜Kg$g7f207{;GK$!Mۤ@sV>WrkdC6>)=a]ni֓\)>6zrJV|iвii8% v? \-c Y}:;F]>Gq?Wacv9'׮ 9`H9m14)S& *8CF] Kupa94%~\}fzQ2Qbr\0Tlp.S7hv*D#g9C^spuTr|-(º6>Q>$'MpՆJ^ǯzHIM8Ȓb+OoNU_&XZy{7hVz+RJxw`\h @}6&X,_1}(]).| u'qY6}fV/DnZ($ +j#tgM{^>MWXѱgYZ7zXZִF! "]ŗXi%H老7 l(Ec <}F6s2jV꽚U:de <a\LJЧ|ͺuj$VZ| zwn4ܠ' FCӕ%uYF(jEi}b֊ 9)i]_%Ç4S[,xRhr^aUhFV˫Q^&yъN7Fi17*.'5Nkr\6k-!8h!'1x˴B۟0MsR캹rڵ*=kz7r3IN3G#B,eV54Ib8EЬHtמt ,KVi茯 Z:Ν3NF֑gzJ9qxpK]]MۗkE& jHЫẇWc9WqgڃH:^Uf2drv.wG[T|x|p fo?