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 {= \#j[**2ѐ-/AvȚ23HZ TG6lLJx\1s~/۞Wc>.<(5S(DlNA\j~>^Y]J7 vzvΝS*UCl!_叆Ԍ_v\v`쳔ngO;Sv)\ALUs,ULvZw2T!'+AǔjZB44 'UĠ_=Q}wI i?1|Pg5ST KgYZ7zXZִF! 'c]ŗXi%7b`#9)Q 7 m\?K_ `Z -|c0 ߕ ,2_$P(UxP^K]&j_^R+7S/K~ԨK2襘Sc@=QH9Z)Lm"YSg3|I[|kt_V'T$ HԳy+$}--H(;$ԭ۽ܑϺ*"R,7ӣ/S=LMZ`]%0gR.zrM"1̻8)[%]x1}O0Y0Pv)Y*85ԘV/]_mԒ-Y/Nv>L{#+/lRT?.zxH1-@#SOz0/,C;-/""62x%Õ^aTۼzZ)i)`yU4]&9~gf;2vNRj= TȈRHЂzblg ~RvZNhI'ۍkn*P 닰ydEZQ`GO<ɍ6BρTuO/K (EX% q8@~S=e@+񯎉KY8ƢBҠWM5r8k}ݟ/ZQ--XlƤA=nb.1^/ҒZ1Ῠo:1fΣ:MVPA\SZt\ Ԯ3OSgYZ87ac8abcf2a8e84116faec18bb0adfefcb07fd718f0f23b1ee8368666f183b49cf0e04597c11b03b 51aaedb747ba6214463c72ede31cf3271ddeb463 d78ba66e93e890729f45436e57b003a4582e2c4b 71a75d989f301506057bf54a322c0503cb92477b41098e17ef94258b9adf32318da23fde96565cd4 = HOL-Nonstandard_Analysis