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 # 4Dl ] Rewriting_Z:threads=2elapsed=30.586cpu=51.012gc=2.208factor=1.677zXZִF! 6T]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Dޢ7="T>3I,(F'.5ϽP]ԕ=zT؁uˎA]B mf'Kdӌ8ޫJ/6ɀφ L&_<6ɳJ?D?@}"r%|BM k9yuՀ- τ?ˁ]ڵzLm+mRH!&Q Κ4:2/3 Hahb FU݅Gцӑ 0୴Ml`Ԏ)^d|gGxju3ORȤ`}6*wh]m96 P'x̋$y}&x6pbŀUwzrxAQ{~Td$zRN3_%^ c{e&6Z"  J\"=)* +x9QPsT';(u,DAk̼\"z̶ocC4LXHoR^O4 zeB-v xReG?ld +.Q|;saMv 4(V8^I67l59]#-EC 28Sst]M`hȨ>%=xJ~ٗo/#5Z4l4 @gYZ7zXZִF! Y]ŗXiɟCrhi^IxDY?Av|4w?.4%A[4t_Ğ~2{,2brYs\LJs#ߕ[uEKQ錄Xj ǎ4O4i"n߼HLư.gF8C۳dp3?P_ okYX,gT:ƶp%H`"(n+;z, { Am?!w^ü:*?s5F0m"R6hH>H1bbZ|F`beGd-*jgpc0`mcupvWФwr+f+(J[xK(UmkS/FOGya\Z+!bZLY&;$.OTEck5-?}pt+Y]@4*z8ىѤخё-Z/U2U ^v9(1H\b)Rv7sTإlbs7#*v T1+Қ G =ob!< $ ͒A{^N!KՌR<*IqZp x~-uYHE<}9d awBfH{3)nJ!׫j$!px+W[xm}~UOD^=CrrAFPtaB-I3ZSt;>HCMRb6D,Xm97͊+uM{4 1qV+__>/.pПED:.Iƨ b!.,anF9_MLm܇hؿm@Y=Q _JfQ'vW]dD8jf_m *+ †GfqݲQmC3W^lrY:PJ;"d*6KX#Zs<uz (vS'Hb s2G2d?ee& q-3`[C~~fr}7ǧW!:_ JUeƣ"1Djr{~QBwVn4H||6|(X>Ӧ N^UA2s|S.SYRa_R nl f`%A+dE_:u0a H`yUQn2j ygrD[ ,\ݜ Kp5Lޱ&57sW.͟nǯ"ڔN n1H3ao *ȉR yCBɓ-~TH9).d 366 ! ˟EןpjLw?9qmga 4mYtm#) [)ITdҤ*m~qh;K|N q޶? kco=&8!ly34`.SB8`-) Qɀ4DTԓk1Ԫu 2Bwi&heY W/0:G8 &53,a=j$fyTŊ;, $6]ƥ۷/>pg]xc6o~!e^wR@5]ǻBG2 #ǃ0H6 ~I+eR2T↫eȬAvbį#j ak4[T|jWsXVk6gJUÕߛCz;zHf*,SB%Kai31! 6WK3B̘>.?I >7j\dPIeN$Lo˜!Kl34gǖ @S.76tL JiP %G7,M0D :b"<`ҚTv~u ƲFdoljT@᱔v<#+=(8'=7s{Y0E6%%cX&10so$TRx=95gAT7LPd??οq|hQܨ@Ͻ4wx29ia~ݽ< YiVպZ:C eR/|ga&0)N'H$QM `q( ]62F`B bu|8BSV 1_&IKtOqKbn{p"鍔x ;rrjl BșmFa146!K7D>`|gYZe2493311ca177a5e3fbd798c2c83268c5e37d027a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6df11f11d9cb2455d0b16b7b7908e462ba5b03eb # Rewriting_Z