SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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=13.024cpu=25.092gc=1.092factor=1.937zXZִF! 6]ŗXf1-%˓:[L #cI"O nyE .cow?ȵ ZʠMqn^i/0;+,.nnI߆3׾KsjR bp9͒H.#9;b -.)љY?ڔJ̹P*m!Rq}Ć5} ̳$,Xı_[nN;C"c(_(frnAw1+,z~aEw~d_wT!m5w%>3MgYZ7zXZִF! ]ŗXiɟ?NX)K/Wx2~ȱz>Qr"S5Wq*~neoGe;߉9`KLz/Œ__$KEvۤ39Ɋ}`|1ٱgYZ7zXZִF! >]ŗXi%>gP`.с#B2F?yQn c<vD ډj̛3ѯbձQkȊgQF#7 K~aűcjkzJ}׶+}ŏ?ly 2 ٤1/Qhd"91xꍡjw2oA1;M6ƴ?t9G:&7*BBRp{N n.Mm 7@'&LCt! QĠ_< ҘLN'j[o\~ϪQ(~86x}Q9Uwh=*Q>it+w%aL}~G%e.)l~u-MGأC!hLNtd鼑[oCQ+H6tiW.=n{Ca٠zE7ci=r12oP52O럎?2)+gXgz?}FN\Sn䡄 RewSB;W鎨۳CCq4yb7H)K ]K2fg{`W$ w)E-ML#r \%y+BvA0ZQyu2)}#({ޤ`=re>1Ae)Ot.S(J% m= mݨͿw#BZ=gV#SVQ1.}t{tgYZ310f9a5cd65e47bffffbfc08cff6b7bc77a029010779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f c4c7d1bee2f6d16d61f42601e5e792c15753d1ca A Regex_Equivalence_Examples