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 ]A , ] Regex_Equivalence_Examples:threads=2elapsed=12.206cpu=24.324gc=0.304factor=1.997zXZִF! ;]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجgeZ3F RBkk>i9v"m+S;j8$:EKA^jfJaVAA<s/~!ŬYCoFp; /b ScE^*ӄPVsڏƧ5Zu֕++?ΦMmIӥJ03f5oA11:`[[M:,- l"vL)X]?' }hί{lcryIԔgYZ7zXZִF! ]ŗXiɟ?NX)K/Wx2~#%Cϒn"igH[?ɍ/ڷ8蛷^B##ѝ|lCzo/h\Bolٲ<dfv)ahgYZ7zXZִF! =]ŗXi%9(PM 6?>`寶!NdUq3:e6ǥ xR>Z &OA;zlڇX ύ3/Lr-sQd~]-@ %_FsvtYB9o7Χ؃knKm$$F P +o{,7EYSU1.S@pA=iU?"P?yU/,u_>Pm%=NMvFHpD?X *ޠ$iH[ȉbe40ya-TŬ֞a-ETN%+;ybǙ'.4:Vb A?|ӎgbl2r HS>պ6n*S ^ԓ!x26n{w eb J-Oc`huvo΋Sg$:U pSqs~TQ .)z/ W5Ӄ7s @Rֵ~CP Т9;\[3@vWK0@ڪ*6z)T% |籄<^[t긆!;]nx,GPoГ&Ɯ\L}Fx|Pr*w ʜn3 xNsZNSV V~c'#(oM" U[tqcT;7YnSiNF ,o(B(O+~$ mpyaNk#[sePHHFޫW?#=^yJgj l0>  Oe(kcxAV.>j*jR0JHfzTugYZ975012855f125d52977a058e0c9a2552e1fedf73620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 cf21eae7be3444560fe1ef43d0bc22b82da6813a A Regex_Equivalence_Examples