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 " << O/]ZF-Induct:threads=6elapsed=2.790cpu=10.276gc=0.372factor=3.687zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nݦ f|]Q}a'bmDԡ]S]%8@>Dtdc_Q&)([0)bD(ԍث;d(9MRJ|/GX/JR @o&LG&j Rio /JbMj{&:+՞m9,5,|gYZ7zXZִF! ]ŗXi%rZ( fzXo?]o{֯u@ >DO5T޶#ڀSId Ws.5)78ʖ1F72,~ĤK2JmMUٔT 7O):*T=4 bjB~ӓ΋{e稯J*M$lɶ4e[3w&0-ŘsdO6}d:Lg5j;}U\qM?pkӉ`֌աX#M<śwsYSQܗeTͯ5ke.E2`'y|8-2sDX2-@\݅܃Ikr0Xf#8擸H2;2q'lUl2|Ci8P $R~