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 L= 4T| ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.795cpu=22.168gc=1.188factor=1.887zXZִF! sQ]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.HN2o>]gvgO{* Y|]7[bK%"/KX pl.ăo@B*#ƲK`Y/x@WO5ʀfZtɱLJ[O_Kzc\Q ^b8Af#5U8=>Zg.]]5ݭJtkcdʱ (y_g]H$v[ƒ?HqN D@w^}^D UѪfG+ț~f z v }zW;s6ءq}F#I6?1E"Z_;DQ&Cw޷ ӕ6 s#=`I,(|H^LA&nanD]@UiuNIn0X#qB7~=D KgYZ7zXZִF! Tv]ŗXi%96Bq0W%J_p)Cd.f8#/B3\ jw madŪaQ~6#BFF#Oh[5rB5p njlRSjκ=I NLshWtpt%(֦s4($nȁV03T6+*.'HsJer&O),DF=ё~K+IJBog$QLdk1 C]Brm/+Β8u42wU9͸U~|aSmitӘ?*4ֈhFDg/JɍI "" B o@`I2 ֯apn">)qKz~25,(0)$쪟V7{.c};Oxϋ ?јX:  !6 +'ߣL%C&\nZ:ᥛ5<eIyWunp!cljN&MgebGF,ѫ٢Y}AbZ.DD'D@#GynQL| m%n{ߠ˶!WLp,xɟ]E:;~00ZZg-G1YIF6G^P/bNi[+ S wsFOZ][wWc hՖ