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 GG6' ,\ ] Myhill-Nerode:threads=2elapsed=40.154cpu=61.552gc=2.612factor=1.537zXZִF! W]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'!3{|qNnszkg[O S[ff>\d$DžCd-&$$X}gڔ?Q7l̻@]qU.@;A*c_P|IKL@`ܯńH`0D&r~Ȕ^%)}O>=jw#9xi O;SQim92ۄ1 >źG?֦?spToct C4!=/}\'{VX1 i"O.Rg*A_޶%Iy|Z8e(&$7pni'ؓT++ke&*/`ԙ&O4mPekTŪα<x13SN8y n[=H 11c/NzZ!?7̂&uj-9):<Fp;ݓ6&Cz"SɅIp٬IW"ެ$T]E?/n \&PSH%e]7ey3I1E0F%1 9<. %5Y@TKBIipIWjtNٸL8N1:"gYZ7zXZִF! Y e]ŗXi%60n zDo7iU36ݥކ(AnF:wDr#jf~@\r2A`|hh[-L ;!;}nnĂG3iםcQi)5j5T6[-% mus(oܔWٴπ*dWY3mvY~0ZT&J+Q) b֜F+Ǧ3SN |Ju(> Ѭ6L j !E.k'; #󸈍wȲ8 쫔:gso㧲Tv<+1`8*c"Q%/ OʽڭrhANJH6_,n65Jw_!w978 /bsX-I w423Hec[IZ|iL+ Ҫ5EL?d )*5`qLT,{kTu3g$Hd%wns`>ƆQ1K_h)ns2Hv`mOp]eH'2e-fic`uxZ{ 9J83 mA&|:X ݄MUjZ LŮM{&֋,HR` w B\/r}6 |I= ٍhor+J2=yl6'r$B@SFUS9[.pIj&933l@E\ǯ *PȔsIVTJ̅lxK~pl%-1'oXv[~++GBz Gw]5ϲWJ)1X}Y&=3#h=d۲Eh&m';Hy< dΩ +ak~*,Bg(ېVV})ogj0$ "1'0h%ZBL3 xٷ V4racry˨>2wF^ѦpE.81fH˷5Q Ro -syO7$HQm<1/%Tw{?6I[-b?AQ0vuT.Ȕ9Ў\!$ r^ RcjK4o41K B#_emRǪ"[ChZ axD,1Gj.}M+YslO&OR8ro4&զv Tؠ چgYZ315035f6bf24fccee347782f9a3bcb1af71034c6e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d ' Myhill-Nerode