SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info i+D4 %/ How_to_Prove_it:threads=2elapsed=0.515cpu=0.688gc=0.000factor=1.347zXZִ + How_to_Prove_itF! )]ŗXf1-r3jK #5Z{yFUKET^nZ/Mc K vg LtdҖVs[߱gYZ7zXZִF! T]ŗXi%Cߗa?Can'I;<,/?,T"QIoDqzeTd# f<|HEpYQF7EPH+<20L)x0ᥧ(k`i*f|6=;b-w@~YȨN w%6">ֻthW(f8PƀzYECs/U\* m5|x^!J*#xf OHKlĠ5}b$8I_eVgxقN-fj29 Z5%9co7 ׌\gYZ23ab2b4c45d35c600f710ef2706a2d20d55033c4 7b4b6ba07805b5d29ff016eb9ad915df620d9561 87555516ffea9826c46ffb7fa13ed4dfb17f9b5b c598b44c275201d74bac2a07e256d804d9ca3f9d fed56b4eb7c524eba4e3355662be5cadedaf203c014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa