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  ]+L %/ How_to_Prove_it:threads=2elapsed=0.479cpu=0.632gc=0.000factor=1.327zXZִF! )]ŗXf1-r3jK #5ZOMEcgYZ7zXZִF! B]ŗXi%HﱖJi| Fi Vs0X::b*Q11))5C{64eug=<0\ Qڞ fWQ.rS-69BI{VN NN=r6B:2!Sumw3o& DUO0=g$.ɟ@dsCy}xNda*!욣ÐthL=3yRj8MٯIJ%^Qv(DXDGix48-S>䲡!OD;$4m:e  9gYZ23ab2b4c45d35c600f710ef2706a2d20d55033c4 87555516ffea9826c46ffb7fa13ed4dfb17f9b5b bd7ad92c52728205d21e465e5c0a9373c19e89ac c598b44c275201d74bac2a07e256d804d9ca3f9d fed56b4eb7c524eba4e3355662be5cadedaf203c7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 + How_to_Prove_it