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 mm/TD ]/]Regex_Equivalence:threads=2elapsed=72.662cpu=123.464gc=8.300factor=1.707zXZִF! 5]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$0>QڞfC{K 2$wcPpoLvZž8oy,p7Rw_|"&J #(}qUoѪ'Iz;)•CuO48)ڕN2')5•W;I3j֑%lXt0<^8.!%(Hi`Q2v~ω;`YPכ {}2>-0?FLѧ`K'DLt _uNR"p@;ןT/#>+e `A܊v!t*W簲Ia.9ja8jRRgEkDnlقO/ΨT!KC=Q,oøs=˥LEs{Zdȅ щZM j7H6ƾA.sL eiI;Qx"%Ǿ?9 k tgYZ7zXZִF! @]ŗXiɟ1˦r 5IfK",t2oܞWrUuхj=h '.إfNCWR0}mR\lg N'X=2ocR~dǽ.4⟷ ;an>p'6bJc-~}f\Q@> 1_|׷L$922mحRf#JjAii*dl-^;|}1Xr9G&˔Xr/93xsܭ%x&97ܺs{?߂UNr-e< P=ʯ@:HF gYZ7zXZִF! T\]ŗXi%9#FH=YM!A I-ti"k}ؘC!O֊@a3cmh[aCXƕ@VFe3N'|z_}$c%Oz[ E~4 Pd׆Zt:L_NnǕ-&%;*}f1. 6JRg;+Vnc 4!GNtqY_ȺzTi _WnVW  ~`=Q?k / Regex_Equivalence?2^wh.'p ȌS0XU)+`C9?&瑃.CʤU9GAIǞKX4 Fqh?'ew9g6 .̈irLc%,ߟ3mAʭS^0/M*Ku _l~(mqH C" .WSg4> y(!cOgC x2݉S|T=#BL?TGg_,x1'tD8N^J0q7lȎud֨Pxk x1/qw7^MO!wXLc[Fy?3g`ճc +ЅcOs &NSM|VrVrj%ch&h ^M~gҳIjk5[ "9&wQ"s|}r' c=wXı+Ӡv ]a&R,Ev4 f8 5"cthsyj2Zu?cөh+EhI5lk9y;X ȟ]ɓ\?xݱ+iXB5~|XEI(e@.\NK܎bWG<7+-P3ErCRG[ItXx +s7Mlz.{jU:r*٩M?I?n31K;Lae򳪬/:+)QY Ti#2(~! c_ɟWRGROTX|PQ#ܠ+ .6PVEQ"~|0U􈧏=墳hV[l)\2d qcĮE=Cwߍt/A$I(@V\*0f+⟯⡽pA?q@J31ۥ pK}CT&uKU ' A| 6 i&hkjFM9 *2.Df X9Q4L Wd7Vܼ{ |$Մ|*T:[^ r2}@\ y,#NQL1c ¸Xp(|eŒ䁐ց~ G3TUq3B.Y?ZZdĴmqX>q OhŵP*u^H,oVGԭF KuE(#Qi] hkSSG 0уiuK)x6wRѪl5J oC =Ðyc8&!ԀO|80kC1Er=K,DvAJ;)M8pjA S2'?1.? ;KÑءS8Eh=0/9A1gZ8tHcZ/7TMn p_ dqoU J;Sh=Q1-G&|n3 cɍ2 飜2v3Ĕ~/o cعꜽT|Z-KT}vEQ@)"yab1Xbi:;|)=~QlBz⚧$%U)W&Y,q j6ϢrT-zM-r"2xCXWP+sYχѢT@wކV,l,{jw"4Ӄ3eg"PDwNwTr9zP&y_l0uYs"rKtϯ.Lp:PQ^}g$DBfweUùZ.l^=6dm94kήSsp"pu<=ՇxY4{R$g] XAMuAj$Ԕ̸d]=g[Zh׎ \J2 Nv ck4{`g@qD;cʳXU1a92O6w!48ZbOx JV ೈfy/ϑHvbn4~QĴ l#\u}aVv'}p-o@Nez4m\gBI^dD0;"7!8y by$g7k47hzj19hMb3/CT"Uc+Nbw_F/Zl`5cGq͋c9@CqR.a3PJr:?Vђ1E_'=PHm0XBBIP; EhK~#[XG.k@rJ nzLQM-3e 'uU1l q>>+ї-ϱ瘏s?SΣ VNؠ߲’F5qqFȽan_]Xoh$Dd^`䉵kEfϖ\l=~j5xM?z:T?Z\͆5Ѷb`FX5[٪Yn K1l:@1CLg̀.q '3`x$y\SRT L ǮXӔTq%G ˔ ˩gYZ5583a2226be7465501554fba6c852d7824c55c188ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a8eb995aa44171e4a0042cad4d9c21e0c3f1f982c