SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info f?\/ Inductive_Confidentiality:threads=2elapsed=14.508cpu=27.872gc=1.492factor=1.92 ? Inductive_Confidentiality 7zXZ ִF ! v] ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[Jr/ws9\n <q5@a#V/qݜ;Z!h-T% \PK^4=<|f/{UCd֒N} .[@Wm .`SU&*녺9"[v*WpV 0Vm197NGm.h,9[ )9 q}nRG9Vb'8 eC}s|iU717XjU~H,Z|mZe>j