SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info X X #tD ]S]HOL-Algebra:threads=6elapsed=32.565cpu=146.552gc=10.284factor=4.507zXZ ִF ! V] ŗXf1-q恈\T,rB I|2C;" FEIL+2i#%f|p!f^9F\sa>SL^^ x:UwdN[3ZD)3 v\["a*eføZ6 }\]=w2ΖxgzV|% r 39SV&[}r ]2)Uf/+s$Dr13Ήe%6ʘL~Xn8*.W4ap[j&8%l]d2IX_^?kK;vr݄, /-G1;?Dt4pdlc$wN;94- E.5"E·!To2WH\}9Ml0YܽC&X