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  z/ $D +]Regex_Equivalence:threads=2elapsed=58.921cpu=99.268gc=4.728factor=1.687zXZִF! +IK]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÜ29w."rKeoA]dk.}+_['Sp0|Q}u"y$:toOŤKj'X)f鵜0kk9-vOwlCi*ώ I wQ!L*'$)@Q39S2(tMɋB(bA*YuA.% Zg+vL Xg巫3!8 B>nڹqֵ,''d"1/c_ϫk6bQr-;,K^r̴`0HxX^';W=c go{x֊e|DL'FD.ks09ʥjWζI4F}>ݣ rٱr߲/ζ27WߴWatz}*EB1P4 &=qȭ; bGCZ]|Re} \ZF0/cX}:~ؔuKW" vgw>;7+] &/m8<pzu:jzQ'dh:eȗΓTQPlX`Jh!/3]+ǹrOդ/6vhH H|y0brܶ]-QxPO*.D@D# 5)OTRhͶy4H2`ưL8<T^W\VF襉gYZ7zXZִF!  ]ŗXi%} ?r̮ 7ˊ*:ˏ,ڈ-MRp`RڠCnk%#c٪6M(5 J/k4W{g)| tI2'@O|J1Śqa0M $k42V*`kV-θ@Vګί6}L¸tHCE]ߟjl@XMy)qAYb~9\rm;4 ryv^ / Regex_Equivalence(F9x2;Lr {|ox.;($baJy탽H_m-8@0D.4?$Ȥo2GɆrP8`y5Ծ<1$ b&f`ZcTqHܘKIpS5ŦK9c.˞h~<[AJJ->~A_3g#Q&:Ӆ kܣě@>R,{= t(YJȏaN-Q\SX ckhJ^='U+GAxi3o|e+hga2dsOm3 "Ҕм{?n[B0U-,j\ݯ Ogyvz֡)$*:@W=|FQR~m+"Kk@slܲF#~)htgU|ˆ_ ["xc|(`Jajs" V`>N g [A˦yv$#f4k1, [yƠĸ3Ei"n]tZ&ŎG%r8IM9E[7W*-˙<#ʿANn۾WǣV]UuB,Ff-aBҙE:+?J= %E>_qW+{nv0)[ޤfYt:O֣%f)곡f9c!#Җ`"EMbo_7"4rLa/}KkS8Y?Km$Z¬[ -tkPz /f&ZBY]4 ^=2_:'~ē{eHw ubgd_FF.:sbQU% #]K. v03}:~FB&)Ȫ/EA!cǦŋ xؑUc)Vsrx"@m"C~T ȧ2F=KY̫>YJLW<;=JPFJkdut :Æ(aR}Im%R&3Aj'6YguP> 3 6 Om|E'Oixsr6oUcpζvZvONh.l``u.#&O5c YNMN`5AlC2(27jc"a@5e77+wg1%Z| EE?>YOTlEMc1IvR|BhUH!S&/ɎB,zh7@V^M3٤ m~g!nicB/@=㜨y  ԃEgx5(*afcF ZEw*Fn7r\Zf+ZD%z[ (t }5"*Nrqd<d1&8p0I 9E/?QPQ4_/8Ez(NQR:*y̳飛O涴Qj̧s`N7!a4*6)KEJR/!\JH-CԔ w=n(bF@nLGc\j9"V>hD%%:qz&>Yэl(^+XkT<hݪ:t"5^ifGĕEp?c声=ڰO+f69kt܉; ::W `b2e2#!pn+Z?tfB]r aKsm8f˲D@:-J!%;}ĝ<|ȼ,QÇ-r ٽ=ԟvKChIMk~óJw&px jC `(=mC#o|Ȯy _AQ/} O2#?|$(DͿܽmvP2Lzn1YU].X[@ rYA'S^mͰɌv7&rHֱ!B1^BoܕxY3^)1(b$o_-QcTwq`H.l(|`4*q6 { 6H`;/bnbM@ cxk8&&eTVtQ:WSM_|ޞc̈qͽN/IJ ۔ ,N$boA\blJhf=̺^=G[ k]ۺ#Zxhk` Ӿ8mÄd]7Ajv<4cg5nhRmb2@kȱ2r" s( dC~e ]\ffC* /=ŅMKaQD|-eUN擨GaG2hgH e_axF ҙ"SJ]`KoUgJ?,EBiIr8rڊ}L8bUG7<8 N-I$h+?ӭoǺ g~Fq6#&>o5XýgeѾD &B$O@,77glĥY2_s_j ?{Puxkhnl79*ɐ1.\`P fXKtShb#BjرgYZ2780af53be01111bec3f2cf4eb38ddd2126e1bd7 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 3d085b2f15013ab9cdd8983b82002e5b7e45d759 5b73e387aee49f1341bd29b64d90d0ffd7199994 5be75f193e816ce0c96027242618360b73e72d9e 5fa0227b70b5fca496a827935c5b9355c7bd2690 6123082d9510c71bf96b10452453388230bb2db6 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7c63cba2e15c1795d7a385567628f7024ddebaad 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 8c0efb52f8165feacf5a0bd13efd1575f3693a91 a6d32914e31475e6e7f5602f73bb2e4248d457dd ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 bd9fdd951b39941ee506debe24c2917119fad0f7 cd1b1d4e7bfc015c95eb67bfe01364aae6fdf0ff ea6c88b7bf770ad21d04d2730aa6e0104dad84b70ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382776b80e7668dba23eb3123498c6d7d777dcd8767