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 b+ t$| ]]Sqrt_Babylonian:threads=2elapsed=15.671cpu=25.328gc=0.700factor=1.627zXZִF! ]ŗXf1-/6vR[]9҄պԗzX{olD Kx!SM~b C^bV/!76a+Px5tmgqȓ5* .m85 jU>tủ2~\&U$\|wwH먜,7 %s0 hNܑs A36!u6do|][sPeߑ9-:@)0ed"=B L b,ҁ^Xai(rr9}b3(6>/1ְ?#TVþ'>h$&פu3]5rO:"`%2n02g<ԃn~S>)*i㱝>S[*}d?W2yr]}/R/fߝ. q4_&jo1fiaG,0_ vbeÈo'ظM)u֑!yT WtnuO"E-JfSԹd8F﹭-1m}'~/ci(Ykݤ'IV}Q!g^@}G43r_07\_ɵ貃N@*I/:#! ,RzYV1=r$Y}`9\8/G!4DBqՀ