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 RM |D ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=7.509cpu=13.564gc=0.632factor=1.817zXZִF! g6]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\h=*8gZ6E3\֕23شxk;ܓ_YDm,=MS}{m x !3Hebk - ɫňTt2>w{WVu . ,^ڜ$a3x뒖wx*i#X#l=g,'S'\e:uHi6s~3eXĚ4i{Z NOoD~6gYZ7zXZִF! ']ŗXiɟ\K &Lj7O†}K$[=)Vz޳B\W>\"#IȒ5}O(w=;{~fp1> ;8Wf@94  .ItA%18bJCA"B=>u`a8gu@>cbMe)rʈc$*Fkl%("IpXx{HcBIJitr*/@:ndz9ͣaݔ&Y L:jw×(Ą9ěd  ,y4B5NH . jc$FvωXd M pp3RCFD1uӚntNm %h;;R:~rYp0`XgYZb4b064b0b4612b1d5ce32b64ce7c0b7f5b34c026273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 f6f47c3b12e83519cde03ca8f9b5282af75913f7b315c451fa45b2887f5e606d87b37c2ed3583b35 #M Noninterference_Ipurge_Unwinding