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  * *S+\Tl ]/ Ramsey-Infinite:threads=2elapsed=6.229cpu=7.948gc=0.244factor=1.287zXZִF! ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)KvAe!c?3dl?1,$騹_wc ]j %S=F\=v_MC} +H]\­$F^'`($B,DW2jʼ/`9ϝPصjCWkE+@U _zgYZ7zXZִF! c]ŗXiɟ1˦r.Hil c`1X14[iVB$DiZârLnM[R;l|EQ L{K2}``gYZ7zXZִF! %g]ŗXi%9(PM1g HR䷖A`Tʅpm&,4 9)(N*"bʗOƳ~>UkU!CȆ(bY^6Uqirkyhc4!X=@*=,n ?eR;Q Z1,_}A]^dEwVaTޞ!`4Z|SK{T;-8|4DUAzbY*yD>\w3Bsf.6fIwTY0Wcbe;l8 P fޕ8zZ6SrT%4ǺA"F(܊h[0 24w5uKcap8r` SdޤvQ|!W*k#rbc27w¿PKg+;FmZlÛ&މ