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  E1 tT ]]Abstract-Rewriting:threads=4elapsed=30.806cpu=77.788gc=2.568factor=2.537zXZִF! ]ŗXf[&*%5r+=~ȳEe;Xcp^"JH٨z:DK,{\E+T ^uN> 0L26bABu>,ѷ*o~Dſ&6=RUqpT!FFWb'!Lr]})zP^UTRrfwHvS$I~1bS)o+g(MCGb8Z i]*m@F. ]ڷ,0Xn1f~?~W'v㌈! PTISI⽋ed~=\)ѢħO1*0Ē4, y-[܌Ax4E7=i} ++[uk壖OWlWޢ he3 1 Abstract-Rewriting  :8ęٿqpX#k>^׻!k&=nQ891SI~up8[3'0jSqW!"d7q Hg_mcbaD$7=xWcX6?5c*?'-V)_0(r[Et %qꢉ'Xs91< ^Ef_HLN Ŵ~зV}IB~j=m n"Q 1f6(Q xNVbEr #&ar=?pOPI_Ay_{;Vw`]}H?0a*M1y+4^gYZ7zXZִF!  d]ŗXi%Bt!O˅pמ$ٽЎA_{%o k's<;ZjdFs~!qAWb R›39 K$'G Se.VljS]2 K sNŨL&*u3(Sed{)gl,(,ApVZ?QӨ_({P*_E.nS.akַ߫7E)$px.-֘J %> 9I(Y&/M0 2O{v##Feoq*EC,I9@Zpe" Q]JD.LaXUm2hvA&=klS`! } 0"H LK 6 G4I>qg,. k6_ws%g _#-0]C`tԍm~ /r{S+jnLF.{v;tښV, 3sۗb,=\'/Tyx%tmWg]F+b|fo#`#c(Sgf , fɿ0G2"'k.r،+CXz =@PN 9#T6qD,~z{`}-xbv Z-j@:J*#fKxjH#Վ dYw. NFt[='f)V_1}T/?Rԙ~6`#z:g2mvBYz~CB 7 M9^.X7PL6Tۀo ܸ]b S4EqA8tU W{I9ˮ1(d9pXyYZXa_(@g^#{]|WG9^QC'ו>|c"C7n"Ȩ& Ygm3$%|0 s @7[&. IpueM]rٸ<1+͔` -TBɽylOpQ|MX0m Cc ,QUE)!ݩt>a^P9?"xZ3x!5$W+ѵNiP$RSI,q3z-ޟZbNA ھ*{%QqI;]yUZ9wT."N^ !0A]WԠGp6Y8=(^JN-!qpe~re%ڸW{vɢjoAU UimW_/fzo8+x76..KO}p-^DQkx ˵edžNR6bSġnB)tב{ *ZQֈHYPD+Ԕ.H.Fv{/>}^?+*,B1l7!xFX |B,@ 1ءSw%wI4LᅪeB>&A5Hn/baN91toDm O!Hv0{6D & oׄW`K"K 8tiܜu><]E6=!)0~+˩zB'1Yo:6CZ^TakW0BGHy*]dP!miF:lJΥ.Ÿ`Z!/_.ͩ:ޘ!2GRݏ#CdɄjBAO@HO`Z3(s%={|y}12m} 7!NgxG[k@l21NYy]$uY¤$]@( Gm\8'ik(c !ݼ tt ;|"#Q$dl$dVN\5@՝F2vpdcp\(v`#]XIVX!̉fx0+@NJʖEAKKypw0D.بVg~0L 'vofOAhdO>.53Q8NkAeO8E?gYZ8ed075dd36ac9001656074e69d5f6c4622e10aa7ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc671dd87a5b5d4857c0a23a7e2ab1b5ba6eeba547f