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 xxA  t ] Regex_Equivalence_Examples:threads=2elapsed=13.041cpu=25.516gc=0.736factor=1.967zXZִF! A]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجge[҉J$42(r\|8=!(ɪ&n֊wZ6lۍMJ S#FvLgޣpnSku^k?`I~5P~Ìc=,l_Hav;5P˸5[Cǰ"0:EU#(udu.0/KRFÁ%i; Vv-(L͐eMBZ;%@߼{xUgYZ7zXZִF! ~]ŗXiɟ?NX)K/Wx24F[Kk; Q^awHҚ6ۼT#v>F^jB.vwClb|ѭJ"DrI CT{3mgYZ7zXZִF! >]ŗXi%>g|NEwFqZfDZɢYˊt 4ah@;[HlM7)#Osª`Q)NYFvQ 'UR=3O*t[4 P"*_ZORgE{:Yb= D$y6wjտc0х3 &ޕURiZp8H:Z{j CZ|u|W($*KaE=s Gヸux|;:D5DJF@͍<%joK)kq,iF͝?@ z_zCՁ az''TFjKBkgu实 G%ʁQaPK1շ=Y {'-K&(%-L}^ca~~oU'afn+;%sv]9ֺlB6AHk]ʎr\˷pP-\1 PAS%LJfC5bFq3A㞃 ilR#|< |ɴʽL`O='Q" s#ͳԦ${"=\)7DDrf ~ 'z2~]W;i4ǒSPeI35>_Eݲ`:T\fmyp]͔j+Iēwc!Hfo?wku%ҕ'SX^cI 2->(WTJ WlK?DxIހƯ'R!5zfW 8D:+c!Q9gp(0}nsr]ƘͅF췜c4p@hE^Ԇo}5Y7^gTWqwvRQoWS9Դ6.Y\ QXͨqSܫo ? X9}W1QgYZ970d43303e9de1a64b36ed3dc94de6a8f81b4932665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 c874a6f18154f7f6fd796b2e37fe15f5f6f6e240 A Regex_Equivalence_Examples