SQLite format 3@ . BBh77otableisabelle_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 [["# 4Ll ] Rewriting_Z:threads=2elapsed=31.917cpu=54.388gc=2.544factor=1.707zXZִF! +T]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nm7.;#MjZSUǼK\|Jr[MmYKfb+2`~b`2ٻ0xv yhQR*$>(1xW_wn@ 2pߦ TD&p7VIF.>D%(R ܀bU"W΢FwQK iUhs7?ثL0>%ḀHi v;6TՍu U=g^RAuW81D+#3 7{RՕ+Uͻ=6%Ȇ9h81n#UiMr+%܊GpO_O47$B+$1r!PW!*,#$UT@r!``D}ҙ:<ӥbc%bsI{ZoVdI&@Zn,l~P;ak^)hw&)zbA-`՚B_ao?chvAΑh,biszBt exL|ێM'+ @G},%*ٵnyxcEXY˹j3*ejTԥInT;`mk%Kp[_CD_E=h;6f4˶gtd@:ks Hi{=Q_euL0 ;RR/W<ūʸKntY["^ O!QUӢC !bS@:Qi_b~.c>[hsdrqY4X}gYZ7zXZִF! _]ŗXiɟCrhi^IxDY?Av|3vهbٲd3tF1,l_y-u3$%(,yyԈ4Q"<׵ pt܎zUVdtB$ާkn;P͖duO.-`i,(){7]S8_S:ߚ; zdb05;Mll dNXZfդX!+J6I50۴GQF -Cr䖾Dn?;fzjC n6"տ^D3 y,q.aAH +zisT[612 _\WgYZ7zXZִF! >0]ŗXi%;Չn޳kUg#]ļG^ҼEQɘ汮0F|/DWܲ$JŻX̗><ΚsR:7/3 שPiIWA0x-K.0ב6d@P=k@?˒:f).tc1\{6I:Y+(;ge7UA`uLNnoIC{xԗ7)XahTL ,jh~>R"HIO嬤V96pi%aRdھ!ٌ׫ 渖 05xP0]u龞AfP%z) Tr?Xic'IcS]|fE"@>Mta-)M4+yHBH#mF|Y΄㞁j-jX*\OC #<>޸ad->5}XBjH5U H(xPYL -adu]a`UJ~.┊Sۅ@)4N~-+E E&WZ+8ߘ"~TQ^_!)Vފ,ڦ&;" qNJiUQ̈q:. (L^ F1pjW>> j(oO,IZᴀF阶eΧ83sU!Q?G|uܷm"J5Nߞ f3vF{ ew;U=:4mO)@G0CcDuVMӱ=&Xzv#4'ңFs"Y#̕!mT/%3JӍQk&pzuQww{rǏ,'H7r+1W'{}whoP4!kH)V.Y|<T0c:5+'(S \8c}HZD mg\JڔZ&zJjc[yZs2wt:0* ưeŊ1y,E˗F~vC[\oR٨׊K/(( .pS\JS/p3&Fv[YZ W2|03vYMJNa#GD)\8H_f y,2(=XL(puqkګ!N9_Y .R˫GwwVvH `&HCgj\{_[Y>hcؼSk@]Ќ0Ӎ"kθ yE Az߈oLttL}FnZG\KҾPF/1uq^Q/<,<:]nWR+ Z/(x! +|`#SF%v~ލg$f݁ ʘ<˛[W~ϼ;kCv|^ ^n,6يE-{F[,1cvˤܲq<16Zh/.fCXt ?O ~(a2%~Nl3frQ}5>pV mHN4O-?D%"wb5*)@ђĽ+da:F_̍ש xc;[wL? PM1><(ek? @PN1t;YoW Cųg\a%)v{IBY}\Qbhrcq>q(L`w} =~c3hS߮gQׇWcU!Amq;[ݿN!wv:y$*nnd]*9T{4{7#gYZae4e735cd892f74dd19cbc764f237867c6fa6bd779d8e835726df87c7b301a8f091eddccadfabbca a29a84bba8aa29c804c447ecf6bc83360b3be33c f64a8d7ea4782a1860241de0d8adec73d937a57f # Rewriting_Z