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 ^^ |tL ]/ PropResPI:threads=2elapsed=15.520cpu=25.880gc=0.872factor=1.677zXZִF! v]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=M?HB9edX;xI&l!0~)bb>vVahPItG+ &gT6J1eῒ&Hp4gD !\JVԡ* d43,'= g O7o2 l>g!o lrR~;'Jӹ/jJH# |= lũŌB:,DidV:򍐾g:PyGv] ( lzT)zOr&@6,J1|++ny`i0?_gYZ7zXZִF! s]ŗXiɟ˕A|tYnUzݪ7PE |JT2<K^oJD# 8s'a:$I`SZߜSh|)P2wxgYZ7zXZִF! [ ]ŗXi%W~BHXd k<4-(1l*o;]n5Bϣ(3Y9qg/%ʆlggp-4>V# 2{-B#CʋM%Z%0%ekXjϫ:TZB &@Xs3:LK:/G]JG^B9ڠ>X'* ~g5)oF ScI/&A)X=1B=ocp&/v'Ny,NqrcyQÊ ΞoĸzWdw|smQ0 |ObSv47ZRɒzTc3@,գ-+I ]r s!^8R}@BIx+KcE__'t% 0*L=Bx'ZZ+A9Tz fgYZea94bc6584b9412c3eb6cd517ed7d17ce81263b0d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e   PropResPI