SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 x'  ]]List-Infinite:threads=4elapsed=12.589cpu=47.256gc=1.880factor=3.757zXZִF! \}]ŗXf[&!9s`|kK4CQ.Ia Y<]F#tڿgʱ}=f: d7tb*vPov@L1n\k`d3(̝XXz ~#IEU#a*VcsrDWSJ|S1Bbu/`#5>Iu+^I/f <TO%@j۵E>HYf foAiH֏La~t k]7MFq$!Xp@JcM~sFuZt~ڙ\t>'| chM"EBP7A6FQ%s닉ᕚ>o֧")u-:"u};:}nғYPk nb\3vd4qD|t}ڙ榊[*48/ޥjӽ$[?euf7ۼTr^\O^JcV k g=riQ5WYɝf6t1ZgI mLul}TоOrOnwõ#ɃJ}fBUݤJ k {x%K9o{5i7cUmb5BHcr콌dnFZwyk6$$ 1DEdmxS-I:Rr8]vrC5e|ebPnQ92ik1sY8+ͳs)gwYj9SeRvKu g=ڑZ5}PXJ!Վ`kyBq-[tIE<ܵ8