SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 Tt S Regex_Equivalence_Examples:threads=2elapsed=12.332cpu=24.196gc=1.148factor=1.967zXZִF! B!]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ0y E9,(5rجgeXwN}^z̭YBp jyv-OlMľj%CoUh̻;d3{޼uWQ^jМbYy0Rw7\a"Dl>CyvX걃焢PH*|5w#y3ܔՂL6E'ܝM ٚMUu^BUZZ:ShXLFd,ߟМ !aৃÃr0tD؄8qi/p(BBḽiC1ްSPKe{wkOVD`Q-Uj<;$PڈBEKBf9r-@\mޥ6 T\68|x<,(Xuu[cA( H`:6.餯9y6apln2y%K|*@ Z9>#e:+`2t?Vƒ!,7-|⨈:*m-I)\4T>QA&μy r+B-2^JKG xc:Yw\ٌUq@lқ_%E0Ε{s:̦f}e])"Ջǔ j6:&G0MRzvh'PEfW@?`|[+_mImX ^m\'ód*ˀS+P>&>aS3a?º!?zYh4Ie^Q*~X]il̾cD^3*I85mePNKd1žuDϰڛnUb#bA0OTOHj'¢983'"w^. j(KZV76 5n^Do5v2l$IMqf4uzp*ƱgYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 49d41dc5abea0b582a1077eb3fcc6ea5d9a0711f 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 c32cdafc820e8361327aa7cc05bb604bd77c4c7c d5ef92f7170f27bdca75b1ad2388762968b74d84 f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 6b1087bd81820cc234f6da05de3dfc51e182c162 A Regex_Equivalence_Examples