SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ]]  < ] Category2:threads=2elapsed=17.228cpu=32.024gc=2.132factor=1.867zXZִF! %]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ʛɾ7"s[G1m'oyQJ j2hQfh5fN8)4oLG!ѱ&;-Jw Y22*e%82D.M1WOQD_5KF%h.JflLUyMNVW`3VoO:H)ϕ2k2h .fe  Ϟ >D]Ъ2.o/0pUύ$WzR_KdZ[wóNK 4t1)OEO y<9./mRQ;G?M .vFaFBv]BZLV9`~qMjո:/@`c3&^Z·E\XggYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAajlg7U$=AO;3ޛжo2ep'K#pB bu^ F ▍|<^\JaGe]k5^~d RLU!3%13a>Xq'"P׮A5H@|()6qIPoL pK(]5Qpg֞S$+qgYZ7zXZִF! jR]ŗXi%>gLxwlA X4wsP*>W ~oN6х|O Tq#IU?mG7)Pv%RX#ͅЌڦ(!}uƭBR 0 pI4G[f1U33v4qU ^L\عY@އ!OѕWaUym Z:X%B: GB;Ch8H%X]^4 Mܼ,O:NIZR|%S':>-9P{ɽPӜLnkqȟ)BL7SHm-lr y* f Ҷt(ҺrZz&_E!w &9!X2$;[>FLNS9j^qDzO1YH!9~xh0Ύb P^xD+nGU|.(/ZF38LI CCaq/JMt-k3e<3,KR0[% qEjbUH1+}Wcm9H$Ks=M N̠˔*{]FU6f_`ٔo{.oy_ $T