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  +l4< ]/ FOLP-ex:threads=2elapsed=3.607cpu=6.180gc=0.080factor=1.717zXZִF! T]ŗXf1-)(7D.qk,nC qS#ի*4-bu^W<[Es_^ KF!d5#< n~h%쒢GZ'+xAk,}^(85qv5"{̸A♃;e0A!ĠOvABt œgYZ7zXZִF! ]ŗXiɟHR,~OG_lP̲MA󃃁[jzXx ?*?XcetP2%5YfËO hՕ}09E=N:xdiXkm!GDk)`u8Nӝ}d7w?7L'>=w9C*D&[ KDŽT(]ֱgYZ7zXZִF! ]ŗXi%;źj˟0zNZm@+LhU|Q@C7)?Q%[};`{x w\rbi!שCe s;:=* p\t# '/4q\innNZbO+^u܈]b+~y@ cjQU\#~NSJ) Lrgӭw5(j(d٘]MSv~@=%M-M6f?g*7wa:SIiCxC3%?{n)-.\-WѠ7Q]Q|X|펗4"CLezC ?X{53m-Aۊ .xkK*lA.͆^9FUm>%rgYZfc2fdfd06d09403c7268229706259d9bbf6c8a0b047361513188e7c72a6ffd9fc0d5d82009c64e0e 8c89da368186e12ed9059dac2cdabb98f16f4590   FOLP-ex