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 t ] Regex_Equivalence_Examples:threads=2elapsed=12.432cpu=24.660gc=0.900factor=1.987zXZִF! <]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجgeZ* jE?:#G$S6 r4!'ߒdam ]}㧰ڥ={ãsj Z H M 78jDC,t8ڶ <[% `#%= \ 3ŕ~Y_wgeh{KR`n(7كPGhTa ӻhj`v&Q̭ta<ۡSfgYZ7zXZִF! ]ŗXiɟ?NX)K/Wx2~.{ 3Af-X7 q LIy) }1FHE>v> gbRD ݥ mk4نvI@#3S7'S/" _km-_j);-/xһJ芹y FwWݿ2z?be(ad>(WjԹZorv͋w)OEdxli,1I+\$`bv]!cE Nqn/6'>nd4x+U']vO|} %q`ܵ-#b*alǥ4ٽK֟ n>aX&SJY]7u.їNO 8pÖBRh'/BA&Pgt0Dz蠞vD67{F4Y!b뙮'To0<lkt_j{{ G]IYb굨Ib;oz)jz?˵̕+pxͿEZ>~m_ՒC;-B {lY=k{fOx|@OtyoB9 h=edfF7TGyS ^]_=dz,.|7M:tE{dFF:c81.:4M$B7޽bunm9 0 Uu@^^0rcnz`:RDLwK> J<]RNx3GE{ i}[u,P9F菜;@p },g2VfMKsc=0"yCP1_P{^$*59NNJ'`Ÿj{@]M\F} |KBdql{<lx씺EoVeIRx$mVgYZ111b8aad7db9c47d4c6d4b495b914033541d34fe9667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c 4aec40d9f76e43896044da1414425f3495287caf A Regex_Equivalence_Examples