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  W3 T< ]/ Partial_Function_MR:threads=2elapsed=6.226cpu=8.628gc=0.404factor=1.397zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k9QHgԣdZoJiM$K[m^8[ʔׯ4|LX.$ I*stHׂ VKu%PDM"+[ JsKRm/'˅cF(RG!z,X+r}>u4(b-0v(6G61l/n7gYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gML/Yһ5FJœT91(}֩WP/(}8Șl2-f+c gݜw۲?Dk gYZ7zXZִF! ,g]ŗXi%ή++tI"Ux6$t)u7 Gs(+?3 g9r]dZ}k?ĉ[^p./zeFgZ+\q'$w$ϴwf)"PoJcs_6r *Qۛ dv(@&'%Z{.sZ'xkMH;S20EC!W$u*a-Sx=,>a69JwT..~!C]& /^ Gr^eʌ+OBM>KAI)} zrX(iOR+fdtėt4zw&0D} 7T^A,07 o^Ɓ49A =.DϮD~!6aJg֯0!dV/2\es7 iLXдk/UYS0~l H,HIMB'0fp ا|qA̤%_ MlD9:X~UJ!?wv `f}p58Tn@FCwչ1ִa3626ӮE ªJLp>,;YD2UI2O v6:k:Z>/ IfY.~9wf=C&d؉s(Jz- XyV/gYZ291e0a0757bf17c54f87d791479c711acf2112b100b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 3 Partial_Function_MR