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 ^A Dt S Regex_Equivalence_Examples:threads=2elapsed=14.792cpu=29.172gc=1.988factor=1.977zXZִF! F]ŗXf1-%˓:[L #cI"O aU{FNpGf%F2 ['|x]X A Regex_Equivalence_Examples9tӗz BlcH,|N(/d4@VW{nVI ,mo<|aOEd8s #elȡ1u%e'd+4PuL_jUJXU=x=E{1ޙWOQHeDhZ/0ZEMB1HF)Ta>7CB}QN[܊*@:nT8*z:b8˯dVF>ӉR:Ggy05^#ca aumC} x葼A3wDI|MgYZ7zXZִF! D]ŗXi%:2˜.#ٟ45ACbBذFog89#2B227N4S,Mځ9Rc{vI`иE0|`rM XLKsw 7O;C9̙*2 Z,=6Bv羰щ"=?/Iln 3!窵`q~U]|Ap dN?O/c%`n07E͐ye͡UUJӒa~C2ރjY|RU.^[#bu|'{5jXE2HaͦÞХwz'dV$a9A x+s>\fh#Ef(zͮ?HZh[ 5BpUp- FiрX\i\:R "hEiJi۷/c9J.O=R,; )KgL~ob+$ɀվ$.G-3Ir)s̃mTQ);8V{ @dok^^qg_$|:̘0w,Pt`xO&D"Y?SzJ*OI|{ mJ (p{?Axٷ옙ˇ<-?{*SbAw{0XQ^Koc.rƮ/TMQ^kdlreL=3N0HDQ`.rR%/GAbف{X"@r+QՃ1f+ {X4@K>j"IND Jѷqn-^Bbc.ؘHm\;<Ω&G=w4R<.®mf$ƨj)YO)=) $+/A<%{E+z\6رgYZ0fe0f3b87ecebdd26cd71a66041ff46ea4eacffa 71405505afc60fdd14ade81ac50425a3a8039e2a 72315b892efbd2336c2078486b542b73284d5bfb 8405fd109fea665b70746821e961c5f723228be6 85b5b091b210ab178d4ee55d86a5bd4544ac4b3b 860cf660c39c8f4e7e3488c01e349325ba82bd7f 8b865632e05350cffbfb8f4aa9698a5de67828f8 96fd4ec011218dfd591cb1d23446d106edba3681 bcfc1343bf8f4bc7dd44576a0ddd156c0058a4c8 edb377a46210e8ebd1b1b35815acdcdc451ef1fa f471cfb89a1fdb016ac9d3c1a8a5d57bb8dd3b22878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 7deaca09c86a9521b3e257dd445308723be0b098