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 GG*A < S Regex_Equivalence_Examples:threads=2elapsed=13.551cpu=26.420gc=1.756factor=1.957zXZִF! F]ŗXf1-%˓:[L #cI A Regex_Equivalence_Examples"O aU{FNpGf%FA $x4]ݾ =7/2 cɥv/xN WG|SZ~5"AnߧuGGW{RŸdw6ps#L= 4gn!=ϫU:?Q3S2^:B;b"P?+1}֕W!B02+ Γ^Ḃp2rf Rm7蚿x-jɽV9@nS.c?Sq,deJĺA:o䂘 T8s ߳fоYs=0crZ1o̗ZgtQqĞHgYZ7zXZִF! =]ŗXi%B׆({C#}D W޷WRp}SVEE*^;W/΋"0OHODYV` B>>y*=bl2zEv<1I=ZycV$HU 1cL*}k^_bbU_L>ӊ鵣~ngYt-Ь Jڞ )3ɪt<9]ߔ Td#cqR},sDN<1@H==:n~maNj tܸ|lȜ6~0DFp)+h#92wP-"ۛG̊mǁGyL֍>ꌀu(XIk8VK8Po%$63l4ȷw}Hu_`?IH~M X>t76\ K][TDA ,<`Y]DJ(W/ )uzR Ia6i>/Š3J.ԐqS\'ilK+vRϵ4| ٫"$5Ŵ+l&mx!mHj!۝"mqR^(vGu5^6q]?NfX[S@PKTEl ~IP8\bW= \8ZHT~^ŲScw}ɷV{2T7߉ace;Dd.pˍ{[|:)QP֖׉VSU m:hxq~}wzj@gYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 3380f78bd489615f75e96934e74e5ef47a1ffdd0 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 860cf660c39c8f4e7e3488c01e349325ba82bd7f 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 bcfc1343bf8f4bc7dd44576a0ddd156c0058a4c8 f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 76e61adae8afd6023155e9d4bca473d67a337d84