SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 y1 DD ]Abstract-Rewriting:threads=2elapsed=31.844cpu=56.800gc=2.872factor=1.787zXZִF! ¥ ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*^03&dJ!Er9'CKݯVq ʓYfɧs?m6_'*C9 ]JCv*ëq}8jH4(ńm=زv}Jp!GkP|_X #yiO _;pTL꫼kuzx+"_awm]n)Y-|Qb[}`;@I׉]Q$1I֎D bA5 A\`O&_ (ph= :o1H̀P7 0uj+%Es#ck.s:&Xfܚ q8PkX^=}㱯m>>}TJ/pEy>sqojn3*j|3d3R&awldgl ]V\\b+zPkE|q (qs$`9XD%,7+_wɄu29r:м)nH0JӮрc9oz?wrlt gG>AyZ8 (b$DAc8&@BU ? LP[YϘ<+e-h:}- !RlP$Oy1)\Td?Ág-N.nEIH|܊&߀a"1y 2.lSc7v_2ﻈސ|'A*\j^q<$(YBJx>3>&6.yC3'ߝߔU7ܖT ͷp _;iEQoxEQ=M49&z, W).`o7We LLSfK.˿Tplh9yxUcַ2y=q+nOϏ1POJoߞ% R[6-kALAA#)9vxyZ>OЊ1ɆN+I3!Vl 8odBP&rE⟮@ DO|m~:hM@ʘup"d~CEM{rZcLk۬3zSaT}D|mU0{V#  1 Abstract-RewritingUU 9O˼#]8?6HUo' 8%*`}cΚѱ/Σ'~!*p0R΃6o\4rlE+ұͻ)e v`B ]CJ#F=j2"&c=aD9tꙄmZׯ4msmzBDE&TnB*mҡRº6 o)݈1`m ڃ)I\sSFR1RծGn\3!bKf:k:,ˠP4\\}ίܦZ(2rTpZJT,e])l\vaǃc[a(Bsc@.GQT\L; jJqwPϺ'mWm^Le+Uz5RiҖiHVXc*gZ'wBIslv*Vv|Ru2^VaޣK[68/[q"1IYukE{ⷉnlژSϋᠫa^=#U}+}OϾ (y,vw@H70I;PXժ;A~P#kS[%CU`b)Av921=cU[Dx*oLn-%etYH9l<7L_wݟ&=us8i~3b$l=|?V O+`_K.MI n:9HL/u k`)k&t "Uym; LlAYQfS"wQI@kJɎHUCGU&P"*8J/hH"L,3 6QqdZ`} L=M#XjnH=Ċ<:gYZ7zXZִF! ः]ŗXi% )ݖ#j?cT]o/6om#rbٯ[Z.%8"vOt rGvSv !Uco{QK[Nw!7ALm2c[nVvyfij&T+JeF(2DV쳘c* Ek]Kzj"^l5RjEkfb~Ze MUhwS9 'RW_^TF'j=sQVI<<ݑ$jea#a0I+J#E}mׂl!CBFuhL)mVjRoiL[ը!>bkgn \&}̵?94(*LdS e ৸<w*{eRPz,…< ZZ~魉gK̐,>~OA m29&";eF&ď0ui$@uM<( قs'C^]^|鷜VsBrv{փ0O:~ظCj-H!?NL1/3_Qc [ yzIrgBݫL}P3D=4p?: +:9Yx3/vG@oEmTV mpYA.(iP [20ź _0qD?su p~@>> KŒ]@HryV#\d/^ :Ja̻hD~S۷Q=Bܤv aa6^UJ0G.q:щڞD>c`5.$d.K5w>?Ռ*")ЙGۥ)UQx&gqw UJ [ s鐴薾x7z'ɑ@5Ƙ/ &=8arOV& tС},8l0^q*HN0]a@11ġshPTu&Sa|a.4[)`eܤ(dL0Fiӱf<Ǒ=1;cn [!KoY>u] H?r &ֱ2&ӛ>#-N$.WNjUn  E#|2T'TLa=A:^t"֐gأ75oe4eCT.Nտ W𩥞1biw33*h`8Y؊jŋEh&\IB9I0egal~:[NT}ֲi(0f54Qz&ggeB]\s@tہ2U)U3oARќeܠdD#CSM Դm0psU{I1?5["O&wWZnȮ/X|LDJ-i;[wJpPSyqx0 ֿ|Ĩ`2}ĒȨTkf/}+Oe;uM,o&R]<YHS{>[7(qѕHXG}$ZJ.[OqJ ¢ L~