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  m m%d d ]w Fisher_Yates:threads=2elapsed=3.122cpu=5.828gc=0.132factor=1.877zXZִF! n]ŗXf1-/6vRZZZ J.LG*7*A@oH6 %7oK+Nu߂Zxw܅!{L^ edx)!ՉJ$D\Ӥ=\PKN dD>"0pfcsgX4). k}7‘DIxgYZ7zXZִF! MB]ŗXiɟ馸X:bLd`". Q8al{:aFJ@&hw^Nfڕ}YZ7zXZִF! k]ŗXi%6 #E`u-K81nެM: Y%{<lp$GiD. VL|R{䄆cs}o.,XU~DJFB:v}ȩ@/ e1NM9eZFWyBl,R5!W B/?xFܞQ&섊-WGls5/jxrNP#L㾒nz~'];?g Jzs_Z1D@~g rLQ5NBdx BXjb'qta]nfVdoۆtj7ac} ܼE <WN`VˎZ;) tJnh(6<ǔXl` ͫu{uL(zg,A?oO*4e