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  )Dd| ]/ Open_Induction:threads=2elapsed=2.297cpu=3.984gc=0.120factor=1.737zXZִF! ]ŗXf1-/6vR[$ッO{2V0Ս%LDp [ e+7(m%_w<KB*aڬ6PF6CziD@>jN4.rY "F*%ك(k?[!bd.D]Qo 9/<@ cIo,(+*y7d5?gYZ7zXZִF! i]ŗXiɟ`.~*Dݤ-8>^Ȱy4TVܙs@tIPVq 7X}`O_Rqwy@5+gYZ7zXZִF! 8]ŗXi%93M[D / 47<"2!<&$nrc:8͵c;tbxHn6^ܔBRF&6&4Y*`fS9>G?q  qsx EtҸb9]{x9~jw|9,?ӡ'A!DAN,{7^\H|MM}-c2Q5b1AitR)oC+V7ap]-TwpgJ@(n` n(yRVD{vXyXy5?T~ / .FH%eljl0w5ysJ3ט*͖ɩ R!RCGVWD4{?;^Jؔk`̹Tė,tQb|ࠆn#f +u4崾si~`s`(|` wT 45:2D<_Ƭ; yPUֱo3A3T?87.[xgYZ3780f88f31cbee11114d4cfb75d841f68bc75899a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 ) Open_Induction