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  & &O/ T ]]Regex_Equivalence:threads=2elapsed=65.261cpu=101.260gc=4.296factor=1.557zXZִF! -]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Lk쀤lB񍗙~ dn׏0*K(pb4z3հT?95\1.4h~z;g3 ~6?02Sw%[r# Y<0g5vX%(CQ3V\SZR&BҎ#W]rUJ9 qM& Z&ewKDkm>aҎ޷2w>DwꞄWA:) eދ6 ٠Q:kR,A]Y1be{ԡEV焞R`WN~ ZʹeHt3nK_ʪF:z.UKl'5yElg C4 PJ]lїܗ+LI~V5/U%DŸKlχqf^-DDT=]~mΉG[Bv8z:6l⺱Ǩhm4=h ݵm5/Bƀ׾mL.pjb$ 'B$2X287G: RZ cRaS *CDTY] "lS3RSߜ{ꦻF2(H,fnVDЎOֻ@ l3ڤ=~h&Vdع8kbyr|> i/V3QʲL0 "hƙE-O7<4!XΔE>xͦ)LC#TOn as / Regex_EquivalenceKodUe9yM9VDCZ刚[4=Gq'AG% [mwgYZ7zXZִF! 5+]ŗXi%6q[̗Pڰu'5/ZAN$rc$9uqEFnSx'.Th_6 昏XrWryhAe {pc䆰,P6>G^@HD=tK*0LϰxWĢN0 MDzb`txdLVi& H .̲LCٲlfS`, s(:K ]?[Rwr[gbLA/JE/J2Ͽ_c^fyC۲z0AvM >.(v.L_%:D }UOrع;yC}܂ Wy<Yr,J1WYr:2Pf.S|/WȔ%2/$0'aX&7Yf@qXʾ` %5|`Ү eg[ֱI_xf`x!Z{C2/gHÌ:7˰-H6ĭ2;&/1'%h9ao4lN zc 8hי+Gt lv zjc-D}z"=S5q]a̟w6$[QYI5aN-Km0*"6BO= WHDg]ەacb' F>n> <;RiW 0G'xAVDj  n~t-~16^PzqyڢX];he +$ fgrWhBmOVN,Sz`\u+tw3 {uہHyĨ7]{ܩ9y2oF"_ێo3$1FIw_,8nh֥Aufwhë0V@ /KX[rnw(XF:ؘZVD g9п?ҡW]3tFSA+b?xj>Z-3EkioZͩX^N6l8V:fm]rZҢG, da)ő4o0Vn=@ìg vEZuTEZ[$_$Z{|vn_ˠBq$\)VAN;o=3Cp$J%/سw?fVH;o{2~N@@)?;Oл l<߫`F5#EEBvy)DA!t2*YvB澢 :k|EL2Hb~ ԉS}771E{HCQa۵^ 81 ,`c㕮Tևt!\y $vh 8 ՋS(Mܞ5IX.2rum9oY̓+ϻ-)G}K ]*ku_$z/\j1xˑZ2`pRI(sK`rigj-](%rKhBmRPVláF[u9ow8AA'[[x㰡04+ϋkg[-,0]؛!@Ę= 3r -I8[B?X f0'/)FWaCTnIb$>n".]A,3Q.*AJ%F އ%l"T!ʃ٦\n]P)7Dp/ٽRJ;kXBmu  }DJppĊqZQ ﬞ>5cut%"pǠ~6 ,h_%* ! -41բYPQ^U#eP,K! Z%1䠷GS27bI. 9ܦ̌%^nEnvo5ER [V5vEj.ԧ=+3AJ&4R#>c^KQ?)fSF%66@>ä;8e'&Ԩ9g% tx0{= k㯱 bFD?VXk) W8xʰKz.>qxJ?pBI:/ 'US疹%i->AP[Qsފ}Inrn=?0nH?{dFů^nvE餫ҠD/ȷ$YelVm^y\>*Sup(;R_%kGU Y2?ݔp?1)ft?~K沛wue尣ew(7F9<(kdHs9Cp6`1K%P\?$&Y@F#0~(<ɟZ$R FCŸ;*IE3?BT8Dk޸9</n1P 9Nӛգ!ai ]6498cdfAb\qv0H>L-kDJ&-h?h#$tlNbOILEpx7'PYbtUrimZ ֕ScRs2X.og9[AvoÚ@6LXB3M A i`WXOjF~l&DaI<&2z((f"8IeؑU I>a-Y"pʽR gʖԀU2$}w>p=jHg*f}(=a#pn6w8/椼TJ~kA7")Npabtӵ[2)3n2cuoVܚy(_w/dQh$')A 8t aJi|Ea r{V3/RWJ2x-.(amULIڙ8[~Ac졞Wymtw< }@UUdFo=Z:W<|{,&v5w3.(ެ¦a&(T)+8g ga}L=63:vt ˸PW maxN{6n/N!䲎z/vZ?,ٻ } <C0)B.k&aNqJ:zbκ*/#`ObaU[6#9G\΋. -:{sPaT1t$j nbv1K>\XgST|k/qSb4p!8cViΒd|φ.MnՒr5aCf/sr<;tm,iɈʏb'Ik q^_=ǒsiqwıM<ݩ:s\P*mS&+DKs9cwgYZcae322f2697fbcc9691a3e30b071d69894e11e121e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8eb8dc8767f7482e1b6d92c995a32e5b88d6a0b77