SQLite format 3 @ \ \ .S` 5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info K1vdR ]/ UHOL-Hoare_Parallel:threads=6elapsed=79.831cpu=414.438gc=7.684(/` :4%0 Tz^ֹٽSH"g ¯vSVW23e6V뿱p@р 5yI4xtD7oڀ"0(,@<,Q5&!YYx[ `bꕪgMTRE!Υn]c1"44X0hϽ[2pt2ۖWmһy@Aaa"4D,X\lNlĤԜ<t )]cckeuEt""" H`D<` C <$, 8P0Ppx @ $ >QUgX qJC#R"r^E G%"b[WNё`SeVDІʿL1vvq9f̘գHI디^]I}BVKGODxjR G-Z&mk^RV鳾%3!Ea4eLsHyRI5ئ1%Z^lYL4'`;ӹ).ϼԫ^όDxu%!02蓌w6)ANjb:u$HѳEزJ{oSQٔ=[吢߱ER2c5ʛ5*[X {IjOogygL:3 %qL"FM3傆 &tb鑼*.V{iH9M+Ĺ{_)1rz3r'ldS'=S*{]=;ެJKNR2erZN䒐L9dz153h6DLvA:))39UDOO &:_~[WoL>R ^x螺SD'io:5CӳN;-M?ఴr3lF&;4jLd{cңi|ʘPќa;W>TdoqaO|dߑ+]s}쒳vs%Ui]uVQc,#~|6;7t$Ib%vh.]2 73@08(@ a Cq0Ac䳄YVD3R"+"1T۰LLTa%ש/TA/]?\:XB֬}^o7˜lV*;⬑2.om6=^ͽ"3rěje_p2zpټrԔn8)GpdqnJrx:5mrE?&aO iЕk)9Z2KCmRi 2ޙd[hBM!= X Y;r/v,HQk',?(!g6qF͘@G((@3.d&їdf'j#^qK$J8*(],y\6,KE<+?*:`JĠq 9<10dW)!Gt&FD{ Y*1f(-x $h(-;'QT؟Vh=}z>/ UIsPݖd3T@ln<+|Dsf<f']4uY7Ԯ& `Ű.n _-\pj`@KI|RQN Өc5%Hh$a Z߬=u"R xl៉|gY)skt YJJ`H7Κ;L(J' ,O|đSX,J9CQ,3>K1qW7}\S ڢ[i#KZyr;o倛@[SJͽI