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 ;;BC t ] Boolean_Expression_Checkers:threads=2elapsed=17.518cpu=30.988gc=1.928factor=1.777zXZִF! 3]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1فA`lځ`Ibxά457ƒ?a"8@aH/~%VKN{I;r>~k+=F9)J9fP^˥"#3!:MS>93WP˓ذ u|5pV[e/M9O5 Nݠ8 $6'䳢of XHk)(XE/Mބ;#mCk|P]skf~)LqGpVW~GQOht1hѴYۆ!7WJ3ѬA 1Ua$(d-`W0&N~5erK]]Ѓ<ɑj -ԑa6: nE eĐhgd޲R 8hJ[G̞{sA+>%IQy[ ;ُ 0[s˸:W $hN@a~=iԧZtǜ{y&MGd gYZ46fd1997485fc9b64a902f89e87dfa86ba0bffc8a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039 C Boolean_Expression_Checkers