SQLite format 3@ . YYQ77Atableisabelle_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, "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  93,, ]/ Partial_Function_MR:threads=2elapsed=6.633cpu=9.072gc=0.432factor=1.377zXZִF! ]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡wMjQ ;;ԉ3pH􄆏#~ᝓ zMNۯVE2L\m?=El;zU7K_nO̓d"G//sd@ $vPڥN{ =xűgYZ7zXZִF! ']ŗXi%6f:mCA;kD|?̖~ic'fx(1Yq} kPK-s.C4 )(fjavj,%@ i:f#%gb$Y k,]ZL[3PnC)^=7Xgz ީ~iOnW) $ ϝ˦2>- v]k@AխZuFa1߭8B9l:JSsŲHeп㥠s2\hSDEB;ZA}C%$AoAz|aCJ+Ωa pfv߹i]3uֽi> .g3np_lRL 6