SQLite format 3@ .;  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 UU MTtt ] Password_Authentication_Protocol:threads=4elapsed=79.707cpu=191.380gc=4.580factor=2.407zXZִF! ]ŗXf[&з#8FQ [o"~[~ȡ Xh\ lKoE_j* x?GI!eo-o%K X~{bF-Fr}@C^C`ASHi6Mqhf\PcWA/b]N_T5)2WMq>LO\̯Nwt'8Qn*R3?{.HyRJvw]{ʥS)S+Ff}n8P%ٔȚۿP^Sh $[UN =丘[+G v@.-6OL, 1j'5׈HʻTt@G8vc,p|=;(Z5NZUIn[MC%dFƎ[i ˚י/Yn:^^Gu!{oᄚOb72«}6z)zqu./Sj.+[X u6Mz ]dpB'wl!e`M[>k_BN{& Q˛Uɍ5*&qeJ!x!i B\)EUѥ&6MI.˴bD T9Ǧ$&%sP^M˩/8ϓS׮ +b"nqGN+cKbr݌݆kWdjd.Pfm.0g5VOit[av Hn(f`>OFڇbrwB^,F-j^]8[ hLC9fOM+ F6w:pD@`UUVɦmjS3V2{~z3妄)i]'^p\Րp2HDRWfV0uX ?/E(! MҲ,H t@ᏁM7_gZ![J'lwYI =x;G-()AQ"k(g> `_ $&KBq*@/mGfHh ǼHn4|_ebV8fElF] baהQ]F M ̐:# Qt?`"wf-e,mP.:I\[qu.Eg`h&0]Mf8X4Ǫs/{%Ԥp {:%Bz ")8гʻ`+wk<~}0F+nb>:8JGL$PG4LDml%;0?ۨju1o.(d0Ew8+qی(oPqN6٪1[^mCs R#޸InAa5" [nlqY BXەP يJ,N!@'`n7/2\v1H46Q,-fJvEu4KrWDVD9azXhdmuq0Y825)J/VskqSց-":Nfiav s!,.';??-"K*|G|t+6B\ '5_%n+Op^$6-Mb/a-,*F~V"xR/y >Eؾv_?A1ƕ ۿ84Do xMnf5hJVJڰ';&1Tf&c˴}fNMFqҖtE JBEgR=XŧM 7?1槮 "kX;IG VeN]=Dl)4Bѧȧ}.xϼn#u?Z3`8 G AQf?JvE%x0Nfdyh^^_33_ږ{T.nx80̕UHuầLzw h\ {41 b^ISd{>vW2t(YcȊɆ PIZʘ,/ޤE #M Password_Authentication_Protocol   921o4> e}tt~g᭬.[>RݚO#ͿRẦQ)d^KY1^cbzu'SnZmd,~Pmoʊl&;c_t 1Ay bΙ )Fm۠/,wAd+Mmp󢙶dr rNK$ R ]7mɟR2lʼn[뱞-N<U*פ&-e9h⽁DFX1(k}p b#6MƸ4AUgJ0b>V"3_xD2$j׮K/gdÇ+6/=08luB c:mM%%obT\Dx`\p63m2 WFǀa.%xrs8T>yb"yIKai:C\ _<Jfxޯ;GkL߄.i NG]B*A8ʤuO[|.zK}2Å fa >Q(!Q&Tⵅ|z>>4@mm%isip3:80{]ykDlVk⼕Ag|HsO  Dn!CbDi$+4tF]frߞxDhXR6G ͷuOpU46(BR ґn t d | t>"quj,htER-ho.,s7t'l [*{ \ꂿӕ `ҊLC8϶%;%}y7uǎŸˇP>0e^[vqYbHt7UsT;/G?d:uN;'%qbIo8,̴bgy\`oצ/CKڋG6ÏzQYjԄwĬ>K;8o<,E7TjJ3kz/˺!o_)f23   "֜.aV3lJ#avzlX*^Q>B 3Eߘle[cHt1I NfwDி;ʻɀsw@~XYY=Ї9@?v1_L^2lNj cm_XGdOX$ vp"oXL>47Eŧ*j|Op>r@2ULEj-/;A\`g=I:6uuvW*SK' ԇkVlNZw@?Řض'*hұ(NSvz P-!Ԅ5.">k3?So6"7U~2 ?.9CO9#KVz6&$m-bH^_MRf6RxIEW⤈`u^"oO>V{ {[rj[N^ЮKYR4@\[4OB /p^ cW)*0xD97llZyZ A[kȾwS2 t4Tza#YgLYP|FSk{G߆΅T*ޠLRRe }]_O:4!Pu>ܙNqB$_Pn^3'~R^ç\a f~Y]^z2 {-z} TdQ{D~GQjƥK`Fp i>Licޗ8T|/ܮ-,gYZd6249067e51845b92e303b946afa65f169c6730bd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c