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   s# T ]S]KAT_and_DRA:threads=4elapsed=30.902cpu=94.568gc=2.588factor=3.067zXZִF! 79]ŗXf[&' ;/GOg$tt~ng!U!W<v?Rh`BY @ƉvMX |DaC>O^(CRZ)$ dGD4.IߗK5Tk/f4M9J,D#랲j(f )y}G0ƽ S</KBRf eRxnMԟGDc-y?-kjE9OF*^e;)2Ync!O`M1Hjt[(H@RFPAzR:̤ᚎ~Q%_lm',Q#5",10 P܅c:xvxދ}sSH ^g,qH(:>o n{Wо+"xJĠt # KAT_and_DRA  <\_lBmE7+ϩ6 R(W1oTwWf3XZ7,c Щ+rvT{ f!*_U ZT\6BLIQ nJ.)%ֹl=kq:dH˸y:#}p.HO}MGU0HN)(06 Y6Yh9 oDPؔ| 9=UhQT6T2%tAzH2bauFIx]4pAagylZc-Z W 4b@T~!ersؠ,|Teyڥ!M fuq&V$qBY{%]1y,$-,fMdOn&?E܎Ԕߪi[=q ,id`"x8M+M#}%&c9QgYZ7zXZִF! ]ŗXi%B(⥓<˽dg(;HN'pERWTH 2Ӕ\ c!?NH4VWS LIFyۙɰbj)exS,d+ kn2{X_5T ;P!"x:Jbz ^Ѯ+6uJ+G)n$nzU5Yrܓ+(mɬ*/,VTJH4F4ըA0<1D?59~ӑ?]$ MCy}pcrR {~u8Z1xv24yEIBmEfD<&H҇ ͸WCy"/,98|AΌ,S+$b{C!.*bبk`>5%\R'ʰ#z]jzMFK ,<萝"^`tUrYZJSsv/䅺 e+GH?P%Tpw9ld=GJ9VXzBQ4pti'޲Y#3LЍN/uH}үڒ Ԍh͝Pg0zE<>8_M#s(*̸U(0⭖fM;7ZvBFid/V2Ch ' w#tJ>+jwOu?֘4? [Yb!))!d(/0;e6v9l6~J V< Lッf"!w*گEG 0 ⏶{: M:M%.=bTT 9z[+Y(/k#,P7ܗuJ]Bnae𠢹VM qpPߕ&GJB'C0u&h8M~Hp5aQS$z^jsXֲ d)e_H-[o=ZBFM̠QV>fZ}P݅(z`U{Vw6zhL`1c^W 8un>FDgV t>N'ag3_63]Hq0/&0<![)/b˱_~u( CBb_>(Ek'0p1C?Y\Dt&N‡V3c;4#NZ1"%ynFk2]!݊BtMKkz66e/JMgj}kn1?f<(8p_*Tglj1h[uW;Om$H3Rpȇ:I Fk6 |)K@a {)ndވK#Q*S[cWvBѨ32#2Eɦ 4c7UZx[%mxޟNp֕n388ͬATe6$ 2!~Gd!(v6,m2Ddjq틊J0ѾƬQR'{IsMt }ٷ—osz4X>6++5 S^/El'>, kEKhٰKQ0ϊ҂Us5Iff]I|". [Oh&mɠ)s^ƄgUWtSH[C0w{i\v,JK3 zK~~j+2 RPKmi3nZm hzf^jJV=_y 0hs=8DLPݭrm춶_PDaڄd(۩B_?` GڥwHϼ@c Fb*ɫ 9aQwVVF4-0f;4m;L+ Y.D|$$TmghS|˨q^K$1~Yht*S%ίt7Ȧ8u~B o`^'ƺc9i&:rok=\ E*6Q{p 4ljay5}>}ssv){| l Axǧ67J؊MOKx圇s g^pC&y6^l 5%'*8A CG}H,\Y_A4^܉Az?pC`l f``?rx$Z ުhEOovf