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 ;A L$ S Regex_Equivalence_Examples:threads=2elapsed=13.473cpu=26.316gc=1.740factor=1.957zXZִF! D]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'|s N Im4T:(U TDŻkZ{ =֭-!q%vdv>1aIxn ݪrE2/ xݿ~V,S;UFI=VJp1!4E7: JAR>C=oHu- eS53}3jӐu{ yO-gYZ7zXZִF! <]ŗXi%}\Im XU6v5 Ha1>\C֊<鸱.>]Fa240N4=?~}d b]~ }1-#cݧ7b&]4Я0onh٤TsBژkc31j4݆WKcįd벚S臈}ۈR6@bG`d&< .u5^'YkLbWS_l,$.YOY_Z OeAӌKY0ggS#H<-ƹh։ SEbX$uKVUPvUZ}FAJCB_eܲpqq3g9eӆ$<{.,H#?Lfjl*#㮯3 zQSQ