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 2 ,,< ]/]ZF-Induct:threads=2elapsed=7.138cpu=11.416gc=0.472factor=1.607zXZִF! `]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NRڝ^97E"~D#AHoY3![.h5V+v|#AFJSY/= C\)*x#UU"o+9 ]X 5?>Hk%l1x.dBGIz-ӈX@=^2Y>!Bcdd$0?E̲bL4<(VIgELS$ FbgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz6?vrؤpOL;h1g\J CjHWٱPD;Q, 9,5Rb& O:N@hs?V DϢ$A؊5H@$rUj6#?mWd%!:YɎl`<Լ1w|'n[$Vs_azPp8g#@óDŹHUĪ d.2kdFt^5`q7v/ӫSA F:҃b^gZTLG%uJ)F@lj&נA$i䏡i4]`V݌*yT~ h>NK/ XI9 m{XfX'%Di <"J_`Җ $pT "gYZf11ea031cd031d7bd30bfc685a78bfd554a81d85047361513188e7c72a6ffd9fc0d5d82009c64e0e 04a1dfbca61db5ab57d74468fdb76815a468d85d18b9fae80d8848d101456d273cba968d1ae4879a   ZF-Induct