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 KA LD S Regex_Equivalence_Examples:threads=2elapsed=12.750cpu=24.980gc=1.072factor=1.967zXZִF!  ]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'E$ȡ:PR%D1X kM޽WZ]RPP]C+Ygƀ,8ـ)#Ly4{Xю0A4{nb'k,ZP%f7?cYmC&}|~)3ET,! @Am²!7 8GfYCN ?j*h4&XލfӜa9G)hxVᠡ7X gYZ7zXZִF! <]ŗXi%6w v|*t,yoNH~} ed:w6&)ڒQ~Y\@a>Ai,By?;_u3pwOX+ k/wEOo Df =rq<%{jZA^##37F;cB;ERGHRu {$+ktFdl "Nɸ; RK!<6ɧRΌ"w[ 8a̕.5mq+CKnsx/}VtKZ#_9#berel먟1RWj5ol7*{\~:2iuxi50̄tjQ*msl2y0gYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 49d41dc5abea0b582a1077eb3fcc6ea5d9a0711f 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 c32cdafc820e8361327aa7cc05bb604bd77c4c7c d5ef92f7170f27bdca75b1ad2388762968b74d84 f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 3cd36b60b39257bb7e08e85e661201f9ea4e9acf A Regex_Equivalence_Examples