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 L, S Regex_Equivalence_Examples:threads=2elapsed=12.499cpu=24.608gc=1.004factor=1.977zXZִF! B]ŗXf1-/6vR[O y[.ѹ3XCMS=R]3E1@'θ&lI< N)c'V4Da鰱 2xaI""6X3>Kݏeah[X^%ʌyimX^}Oj|Z&?Wu(aR2ýgIPAs1A(-gwXz3b<\ҿȐqʑ<~e9EK5BB5ECzeݔH-ؿ-S`qe5 /JK0ͅQSK hw~7eZs=c4}7:6~ƞ8ZLB=p/ADYyZb(K.ᙍRT $J^9ECS_s8 `bA-M8h&=[0?!iԚO!3xBTj2gU18wgxʛ|4Ӫfo+fz0G`Ud꣚LgCB$\1_s(8fKB\vf|6u)gYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 860cf660c39c8f4e7e3488c01e349325ba82bd7f 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 bcfc1343bf8f4bc7dd44576a0ddd156c0058a4c8 d5ef92f7170f27bdca75b1ad2388762968b74d84 f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 92faca087d0652d14b5f794e9b586b793bfc67c2 A Regex_Equivalence_Examples