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 d ] Regex_Equivalence_Examples:threads=2elapsed=13.001cpu=25.628gc=1.044factor=1.977zXZִF! A]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجgeZ0AӗLI7)$eGۗ@[@{}DB ݙF1H,/L)%u )PYדqL3(ѵϺ׺f5z4) rqahxNة^^\7Ôi}EL]s(!*sjb 3 |A$ 58t@I 48ž:V[Ƹ6JݶY :˞MB{JP݈0&hcP$OTaWcUgYZ7zXZִF! ]ŗXiɟ?NX)K/Wx2Nd.,_aJdrugZ5~qYKd.Y6duRoSVS쮑ckjZ@iQa?HCahgYZ7zXZִF! =]ŗXi%;cX/u7-wo ȜsGhK}9HTv @9f3i[L#TƅM1eBc)[ʖ8ay6Y1P /dۼTUyfIuI5NB2WrIS>,ۂ 3nÃyɚ}ﯨvr*D:7 O$xP_N܊.Ӽŧ6M49FvaKWо(vm~>GTCܠ[1=pLst ;eM!mapGy!+?{Ko>iEA'*<}JkUڛAU0镝yivWV| ,W;ٮ}ߏZL)D7g B ٗ^U2CT.j!+@_~̣_ h#vIrF ]u"V9Oٴ#f򸒴o\#'} &@+3T=yM#s=*pO~Únvw~sz;*٘Ws 1O!&W𧪉i.h@.aL2?'{pWX [-جTmH5W*AM\wRvD)=[]jd1ɩFN3f#嗜\wGUn9rMqDS ΈcX1]ޤf6j_E{2SMoU T򎳄!nT !1>9) ~ cTe\j5|;V37n8%(a\bU@9/BPd\ ;e>P]pd*9fE_3C 5ݵRfaTa{7 .qYҺAF19f$*ݛ7MreCC*VotUB$z&۱gYZf8d9825ac604e8c5599a687d42fc83b9336a078a79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 90f651922b6c8a92e457415f61029c9838a08a5c A Regex_Equivalence_Examples