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 ddA   ] Regex_Equivalence_Examples:threads=2elapsed=12.606cpu=24.840gc=0.948factor=1.977zXZִF! B]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجgeX w.r#[>Q/&HXGaۗ7y?phlAzg>YHJ @ypj 6y`cq5xJ#g6.M_^4y<FtCӑdaqmP:В5f]6uW 5[B?,} D"rć+WwOK sQO'|fxz\qNӱgYZ7zXZִF! ~]ŗXiɟ?NX)K/Wx2~CZ$VpD0DXjJj:I͗Uqv%Du` ?w8Y7II+ !3H{M9݇3mgYZ7zXZִF! >]ŗXi%>g&m'A^ "^Q5Ђ?]O >)Ta7UJh5=`ڡ~ Y ̦_8HCίq%`U5l!i0lۨZf^\U< |1 /X'0Q #usz2*]jsgLH*ҝ gMmXdů< /ƫrL]u5 e |QrDMSndtsccp'8;b>~YX0 X&Tâ[do*9q 'y^Vb*9Գ5P|F3%pJl[vR 1FyE`)O21x}dmovaǺ':X`g#0-}f-OaDfʑŞHtVf8)i_CـY/ŚV!?K̹="ʤ_o Ü\aVz6uY'mSY0/*[?i6Ya ")E3|SY` -K%䨺&ؗD$h .?G1Q9Fh:{vpA͟/ӭI> R8?,!7+rY,v[:yP ? BQRcMowب*?)2 54%#zpƄWW2ҒW ,;B1 fPN kiC4߂3%@O^b>vaVAf;*-!k`Wժp]J }3&RgYZaf1cd91dc3ee5502009c63ade6202a79652e3e5d97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 320ec80e19bbcf773546233e5a9a6f1eb2b1acc2 A Regex_Equivalence_Examples