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 11D/ \< ]/]Regex_Equivalence:threads=2elapsed=75.725cpu=128.488gc=9.156factor=1.707zXZִF! 7]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT9,g[pnj1}o NΙHW&i ,- 5kgIEVDɱiϝ4#Y(.bm?>C.[YFk#!PfFp N V@EѴ)=xY*dݬqiNe_RdnanLD8TvXn5 '"*tOv ;O @,\$ř8&{Ò@TJjK;'@Mg?4&X ,1<  ʖ Il_BcpP,(V aM G"}:K_2iŹѲH=7r"6Jh;ˤFj @gDP;{h~hpJ56=wE~6mqJH~&Sja!R:n0DB2dzm $  ?2cSR)ig]?/A2 T(?d1Pl2ebষZN)p<}֊l9P.qT$-`le+)Kmʦ9-eB*]J*4 (00I/ ;.f۞ 5G4ff$U>gbѵL㌫h)(CNs[)H'\2' ,Qo&[s.Ty@[[&g [ %qV9l34Wbx(I@M$ 'aʠj,s^ S"Z{||ťmؿC8p*{]n8rhtxษ;U׻' my)WMQ ̿7h<`j`ZVK!UܽO,u/i6t Cۘ5H,4OHq8|811ЁYBdr:{v&,uEiz"GUuϠnona@~fؐn`'6X/:7{oR뚮Gtqmh|sj~:"Afy -W]aYr99'7n8|ތ8h:QXĤrΰo%tfR QCw`hn1遃[7 GXwS6`5ˋv}]X1S5,=VyXɛ] nrAgYZ7zXZִF! A]ŗXiɟ1˦r 5IfK",t2vWUJ \~hſmݶcy7Q? 9>O]{0I 1#ݕ1-ۤ=4T#b%lK>͔-@Nѽ A\bp[po u?zGAa#oI@400bATSBd-`˥╒q/;bqӵѪ,H~B,W4 =7U'|.*ͷ[uS&y*~z7Z=3~E.&Q*rY ՙjI1.I `DB` eoaBgnч˸,{ƬL1g\ȥ7Kz؍4A2knjCl 03-En], fŽHqx?2F]\lOqP9TUk} >+j )!sP3o+0uzv1g2i[Ӓqci iIc`#{j|qװT[qToLLk|5#a :RyH* / Regex_Equivalencezs?j]r-0];jZkbA.IK F䧨QY@\}E$I}ܙ]E`~K[pya*!t`GOouk$tLgm*m8`[itDvꉉBc'9C-ɀ{jBW-NE64کWv} N:TaZ' pkT!SFnG7kĊܷ]X10!xu0O*t $FOAeoZCQx_H*@ T0.f}bi~ȖCՎ%O'2]4{-AG.bw{r%47$`ye \긄GoCR^\|MĚj[2 o$sچUֲnJt&m!wutiT;U&Ce>OGmyP` nHG$TKk98b2w"T>bg\5ws$*Ģ! LU6ܼMhNU- OML^!wHF_CxS ~X;G1fԕxΜiËE.W>o}9.+f t4W?%݋N}r̹euHwg[zxx,Ch.1 DRjQñ B3ミ7KWq\AB/fU.4'L㡐RkOy4PB!Vd6c3Zf=8pjH&e ,)ԺMhj[t6٩oE-@=9 'BKq-L!\X,&!reW<ޤ-{˸S\I/Vm(.-@_ tk4Xds 5g1#KBeclGE{$6<ԝ2C&\pce#m/ǻ 4 lL6ɍ,gܹo!e.\76p닖.k@>3FR(%;_p{ADR2]נYY|IT`)AymT4#Q#TMw> fTžD^?#kʒ"IxFkyp< 5vӐbB-ZjKe"*Ll O'nzA(WCЩf0ق#?,֫ݻ\V^z }$P@ڎg ki4R8Nw)N>Fe=B`Qs̐9!8?.Kg:=9 w#5s[LQ2*@ƣEcꌩdd*joԄݧ 5_4=DHrJ$A2G'(UW?%^x"~G=oڊ) YBBۧL+@1p̓Pw.tWL9l-:CPPo5sA2O#*|b1->bypNR'Y,LG0(Ζoׇδ߈BE25oEg,-oRR'.dsKIybM\b`0yR\M{mMbsbT\ts7r# 괐T=nl=Q/RűEg:$:bmk O9Cgu@-gAX5&T_"kJ55F՜&"9R۶Ub T:2bX$8YT/::*+hӟX='b@jkl@BZeQeXV3{wKCyҲ\X3!f_E?,ϰ$z喎;#Wć13Ks ͝1n[JAd#}H_(I>٠z󬻡PY$= D݅֫J jeg I/It?zƇGo`1΍bu6dY($aLw  q$[/G~ZKPu3_t֟W'ux_*ٓ.+n,zDW7ޑv|{,}50#D2Ķ}ht lM&ϫ\=ws%--8tz?)R#E;UI@٥VXF{|6 Y9PZ?殩B=f:T+/ηq M?|T{ :ƥ$*dUwnp/JxMBwRy#Y>[̵n*>paܓhrm=YU͋]jDI9"[JF.B>!d0fUXvyů@s/{l%|4A("`P )'1]X%i'ݷ?@yho{%H>szy M&ɣ.(LBW{yKId <Ϯ#mdcE#-/WEtbݹ ƃEQ[09k;)2 .+8AAп`n,i+t ¨xrsqF׆/nQ1qe2]\gu ՗׍8 8tN4/k#N8(<6_'CO̭\0XnWg~fO;4$3,0=K4a<`B :3u4ewՈ^)_@%m8rMkX 8y%00vnPQ>bE}$2Ғр2T70| awD֤5.5T>’-Hr$Yak @{T,D;|mxwH?o@:JTr)~{0ӱIL tGtx }gptL󩮴