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  <OL, /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.982cpu=3.896gc=0.152factor=1.977zXZִF! _]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYk~E*kgYԅr*asdzӱ榶]\dUXE1~͟,!RS닸@&fj<Ǯ+҉lRns].K$%&uc, g\ pV{?aA1 lM#~t1j~ЁB[JlfH:9lo̟OhEg:wW5"63@F}H6]Ҥ?"ߍמ.ASi6gYZ7zXZִF! ]ŗXi% +;bmo[FL ysBbmR喎f!t("[ИOtP]a=:vP5X#eF2*]/sO5yGH@#X<倘* )ߐР:/IvWf-[|5YVezJK_ dE ="HzWRy{:߹% FSx(۝ b{} =nw0蚨-f 7o*th13KG0>l ɣ[7 Ty6/L,މP4,k { iNgZ|X1!\g9t0n"D Tմx{42UkuROA̰jeQ: