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  R)lLd ]/ ClockSynchInst:threads=4elapsed=1.897cpu=6.760gc=0.088factor=3.567zXZִF! +]ŗXf[&!8svBCBZvRu#Ȯ Ep>jLz5bkE%]o2i@vwbF]p(niF,0\Ba!b%H:$7`ڬN.[O+X`HY&z{\d NL;κsֻWvMgYZ7zXZִF! ]]ŗXiɟlQ#ۈrKn6úw;?׆SRyQݜY )y4Y _6 լ3Qy#@jz Ay'p'gYZ7zXZִF! ~]ŗXi%Bo1mjWӐYV 0ck+5 {*\jXRO. [GhG/1QH+GgJN}52=F~*_(o3. @8%H`}ޚ>[_G*w}p W%mx# `+y0gN}᫮Kw+=ڻkUW|i^xBG:kh0tT kq\ns_e?foфWF|Yt1 '{C##Ԍn쏅ސLwsfY3Tq6r'-zՆbLju^C.B6ya_3_,)mZ̻dl -Vs2eo /&Aày'(Vq"w_nLcph2*ۨx?a4u2snmƃY=ewb+kip'/e ;Gi̹1C6 g$`6~n{hငAg>XmeMUBj-d> ?Za>\ 1%]2C'hM8ʁ;6!8ZsS.gsP,<o,gYZd36b77ea47286678d4badbfa90b7795cc9e3b26eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 ) ClockSynchInst