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 27 l|l ]% HOL-Quotient_Examples:threads=6elapsed=26.638cpu=40.632gc=2.440factor=1.537zXZִF! n]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,^,&TGbL2 QaLIxWN֋E@ {I|7Գ^($&NwFO;.JOձ=󄺵D}&N!:7n & ;Jvv\= eA_h~݂Vx_ʙZzq.0]\8 Wd+{3kDfY4,@mpv kwZ9x%b(?kڀ Xyy#b?vJ#=zLjAcO J om8: Y}Kh_hR5 ruM芁P!Xb Wk%UHEQokEo݇<7]" uda~!:Qt42< FTTitJ)ֈڌ:7Xf/kHv>beP{ҼJiпPf%B/,uW+`L~g ܂ 42qM |C ,L:l8Bc5bM{Q $sQVvLM>QT퉉H4Q¼lٔEA=jt vj!}!s+ "OPKb?+bYM?h&WEbmy[ώƋ`Iszyk8kfAʼnaȸS){2v IF߇.k97o?%iwuU䎢 npgYZae8555d2d3d0016382c51fbcca40ff4cced06f269d98e7572661a1502ccca3e0adfad8c7205ee347 9212820f8b5da3e03e0e4c4edff6a3ef6f7425f5 bc7285075f2b3f8608f2e33435f62562007e562a 4f4c62d25fda9dee2c31232260a006326daf3115 60d9f72623d779515349f13181e46a64245b3d15 7 HOL-Quotient_Examples