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 ZZ74L$ ]% Power_Sum_Polynomials:threads=4elapsed=55.012cpu=130.652gc=3.412factor=2.377zXZִF! 8 ]ŗXf[&L_7Ae6^@ 3_9#;(:)L |Z;_J2YuJEzE+}FS02Iړ ""?ig3|9ʞ`Î=+i>ZQ7M$ xF9,JW)['WahɈ+%r`41{,7b7;lf!'ǦQd0ǃlph7[~dJR-۰z~92R^uB=2#AF>\uM:39,4MQ %2=!,YE;Xk9i}:@˒Y\/s<̘"G2*Dr.W) 1}l/doS,n' D\OjE bY2<~TBiT jOxLKYiWO 8˾5~]Z<4,{Q|B^TLIdz[A}V*e"dr]ȯ W{L v9VpbHg},XGS~&wG3QG'P9i?*,8HexVu[Ƀ/pmB/!Lfd`3Wc;. [v_!Gr8uE>L]w4zAk}0;ro 0.cLjF `--h׽KK_tzV搓P!ُ\O9mօXª-EΎs3!7(< !j)R}խtٚ2bjH^.5d)&Yn~a u5ז;[fx#ly7B<'TĿ( T:ʼn{Z#Bazɢ?^StZ^8%t=* 1bї<>(݃K?&s.MPY>;k2$  qFgYZ7zXZִF! KI]ŗXi%L 1hG  74M?,w!"UV$̖xZhڍ,GUFcp¹dz`Q}AnX1g2:}~NfD jyC6毻Rfnˇcրe2AM>^6> / CZ~&w$BKi㹢+#GTrF! 8\u7^ٌk-kK6*,e!nz7>nKy dE,sN;ŕ2=?\*g'j"' Wm־wŘUiv8LiH'::;b7QB}\q^hT hK).NAD69/!tϫa5Fd[;l|&3]80 U@ݒ{j+@ns |lmAE?i2j~X %?֨ssbHYe97:_s ja!7pq=Z#4:3oU~q%`eSEJ h'o۝qԉ..g )K'Z^+WebI\StbEh|1}Cvw*2$BgV{XruG>Zrx@D;^dѸC@JʠyύڡIkx(h324,Tipykdm} %S}sFml,Kqu]o$̼,-2Ѱ,vu161o?Qrq%T>0ܜ!ۜBS6/V1G7huH_˿m?l]WǗAmK5/lN빮vC+q E[fcW͍#o %9rQU2 d'*<8 !^(!9@2Eb0)4_4 P`^/-Z OˇXteI9Xܕ̗+)F_k;TT7`LTX"yIkc[!1#=NrkDzĥ> d~ 7Q8e^+"anwluP;E"kBNdr~rlXP >]ZQ3ՒSYj$?.8 S}m+i ym,n4? %1-Y¾ g^ނ_KT:d Cyg( k8"hnJK‘l4-y7@LfަlsX%\0t Ƹր@W\{ ]MȞT ;P8Cx!J2/y13?@ܝhfEJr0@L_#)>"3?&-_J[p/,kWvkžtty,2W,W8oA,jG-:ˆAOYf\Y[D(lq[Oe7i;ԃD͜O4YmV:p,]+Ŀ綠tO»)w4G ˣǬIlt6`EÐDAEolN@C?KV `cf|   l(]\T2tRB 6C,@5&15 w3P#:2$i0WwgzCZOU²,;xI4 |zRk 9<,S$34!q7H<G{; w$NU GL7}:tͺH2Lר.Y~Trl)R|sn0KdY$\^.khd8׼1RXr}xʽw,^'`9k54b;'TXƙ~WK+Xe.MH;lM>is.ig,ՈI8%X`.hxM$+zrz"UՄWH[uW->aƀcYf*Uk1LNRt RJ3T[H)lA(wQ&oLBZ|΋ѩ$; h5:EdnK G*-AfbXd'Xf0Ċ_q{^FW > Fs]MV2\&]FQ:{T,*LԮvJ%A@4^1FbP?@ ( ^XԦ>Gz[@i_ qH]<pu6).ikG-ɧ/#s