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 PK tT4 ]% Random_Graph_Subgraph_Threshold:threads=2elapsed=10.930cpu=19.768gc=0.532factor=1.817zXZִF! zr]ŗXf1-/6vR[NDZ1* )# rof [iX7C ،(Y:7K` o)[fgYZ7zXZִF! ?:]ŗXi%9(Ob\sڈ*^TC3>0/sJ>rCY,ȔE@=oL?;?E YΕĊR8a&jf-[hEkssJ,8<|yL  P Tܟw΍qQGݬoG3ʓRC BH@Ǖ}*ʍ,G^F#?VĿ)X]?dAۏ= pn;x߸2n;xf%Q [d1_9@90֎oNMqZu}WGVHydvQ1v?$@6TE`w/Ρ ,Ֆ{.?qrAC uÃ\Z~rB&q JO KNXNqʒ ]z}I&$(U6iPzhF^C3_9vXq'Ƅ޶  PY,aBw?𖇁Q_M }@pmz%&ct6_3f|`y*vO484ݹbt y)nu'ow E) aJGnyɆ|vb ysyH5$_&zRn)\@A0TwG->e>;G`,nELNy%a2 m YX/tS{Qq foA[r`P܁>fh-=57RGp՜}O^M5l$BM6 Ro"B͜="2nQzԣw`bΰ0X%uD {r9&@ !H-9,aAx_@=t" {q%I>muj+ J9\FJ p[ ׎*dy7깎G)lB^E#!g3GHK5;3% iTkjZ_