SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 77:A L$ S Regex_Equivalence_Examples:threads=2elapsed=13.500cpu=26.292gc=1.804factor=1.957zXZִF! F]ŗXf1-%˓:[L #cI"O a A Regex_Equivalence_ExamplesU{FNpGf%Hy\ۣvL`H/䃆keK8U<swa#ʩ@m EO aݯ-jQC 5\Nd{]1j w R^|H~\:vոNU [+ԙ\Ima(l%{ 6}Kd :D( o~`l8^P:nTs=#*($l3kGR9I%?x2@>Ϛ..O7;%Z ӹZktnsL (#W57''&hs\L_t7tסB$۟Tg̎Cq ^nűgYZ7zXZִF! <]ŗXi%0tc(yjfMvsL>dn?A؇:ۙEt]GTg^,-{߅HB:9pǖT<6mU|oxR>b`v,qWܫ|O!FVS< CnnD@jGȒh"\f| R4`3o7gWB.;kjUiޏx1m{$h!, 6mjG^yZoLvRxHDvYM[q&n@O I᠑. QA6KxR;wk_z'(RW=y?煅՟.C:d@F\ȁ/:Ǿe;:+he1[M7cndz r=A^.:dL$ǘp"(8Oi- H(=Ոs-q[x`>7Qw~DN ONP'.\nn/6;lp}hF z)XmEF):n'D8 MUQXfbTcT_!vScaC͞oWwV oK;g~lt9u*?X5^b7q6Y9qƼ PK. 1i$ ӹt^ed)vѼOD&ރj46'"fJ >U6# km/s (kom٩&E+I+P_`B:zb cʌMw(QaBl_XY _ ݚ1xeѾPOn)1>ik" $?}n`ƲT[?)NdNSlOhNǝ7*ް`{&$EKÆfr1a] 23A% yZ$VgYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 5509e4f604397e983cc07a6a4f67b4dfee5d5a1f 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 860cf660c39c8f4e7e3488c01e349325ba82bd7f 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 bcfc1343bf8f4bc7dd44576a0ddd156c0058a4c8 f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b223b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 6401949c2369d6feafeb61180137e15bc167cc20