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 -1 Tdl ]]Abstract-Rewriting:threads=2elapsed=36.556cpu=59.348gc=2.836factor=1.627zXZִF! c#]ŗXf1-/6vRZ\vW>_x͒f>,Z s*xǐ'`aٳhGn4SkY`HMRXӓNl@"ȱ؂ԩ!ܣ-R ^Q8bnBۚš_H́AlOy2t{ۈEr6c^qcı 4ghb(&%J Me2M[7mZ<ΊLѥyuRH)ԡn?]~FxVsד]ZAy=tֱ[aFr$'aA `>}Qj+.ƥ^%$C+|M\p X 1 Abstract-Rewriting  3$/JdY#4#xV NAF'S mβ7X]%4XZI O r$GfDn9G Sкiǐ!Ea'ѧ^vC6W ayb?@Gn6H̕dwÄA$]re-踎czJ9ʢB8~)iNtP~D`Od|e]C,j>pZ~"d$"OQ0cwx_z||2xR" =< "H6N9e¦dmcm-.w.ӫܲ{1#Ai]bMnN:6hױgYZ7zXZִF! *]ŗXiɟCrhi^IxDY?Av|3բ9Y]ؒ˫ŹΖ4Xg=ٷS(u:G˪gLq2v!r5-<]Mq*r|J`:_!fH(,PliAuۨ P9(+,ĘUh|ųJhɍ©9u`C`k킲,pO%zҬ%&`kڗ]Bb=X]}NП捥ݪ?I4U:wXdgYZ7zXZִF! ]ŗXi%>g~8dӏdӇ&ڼUi"Ee~4Ḭ,6r뇻5 # u La%i^/墐hI7X-f tFPu=䇿z4*xB~VGdcsD* F@'m zQ.F3|I5F{&r3 BEOt'g+ , iO.|m+عexe XikX+RSw-4"26 s~*̥ي_L ΂I 3-fN~w5,V2 !br ˆRbd˼]h+iS=J:>6yhPJ2U9pl:6`M0(^ZHmsAƽi.b0bE7Ñ@9[#X,[4u,;'XO0T U-!U |}Atvy pU'+ 'ghoB/q<_R7a:w?=ÆFPA'֌zoԜ%Sz 2fZTSI Sh.%xTu}c6b) 7hvfb7Xf&HSH zHزt . NV>߸3,;]R_11Rq';Se٬֥[ce ~Ƿ&Mv (7ս̀!`s-DؤO6"+tCC` Q\I3wfStQ綫JWA&n>6BD&3*Vrr~+E[aY5L%{#qw#2_fJcI ju"e +g7nU{FmkϺ+ 0RrJQt3n)xVNV·lژgZx+OZ`Z\K7/e]pw5vSp(Tx%Ĉ]?6$L4u ue.Sg(%ރFy6JI{ܟWEVQNbXF(ૡ,8N5[VS+ZVsLO] #啡"$m+60}[yok~;{π EFv9*n|ߧVbQkY}-|{Tig ͰIseUjJ g*S9`IuU4@Lw*X)e@5QzB^J`CSAOv4{LrϩH Y- K]&TP15-:{AE٫a߯b(*Tǡ~0 %J E44s䑗,R۹Ci6 *98'u߈_]zL[ljF;Ǝ4Ir𩨲,Ky_)1g!ZiVRlg<_ىe3;y)h6u<QؘG S;0(UqX0JZku% ,vN\&~w\21!k@M\w$vz•/hR`!bgź LZ%,c,mw3K-R3WNbb-3tWLȥ)"[1!y5>E'{9#ޞ/_{Z=J!a3736mgT,#./v}5A>s[fE3NB/AnҿX X(/%)de/g$Bu;˚Њ D דc^D|/-Jg¥ 'd_}Myp6Reg٪u˨~sP! sIw0sWWC\n>F^yi2ץA5<`+Drb ǹVqßF(|ܺ@Y`社EŇqgYZfb05b27b26da7a6430f929d5b3ce2edcbda8493797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b976926ca233aff1c1127339666126d732d5d52775