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 $' Tl ]% Tree-Automata:threads=2elapsed=34.052cpu=60.980gc=3.096factor=1.797zXZִF! b]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM]ql7L1̧x {ViDh_97z ҂,f!^@ 﫡:H9l!QWH^с_W X;м!CT8Clz^pyU^֍,Mn/-SLb7\rJg86d~'JRSӰx 腉(.0O:|4l wۨ I ^E ];QUo.[DoPD3e)6>Z͘in: 5NMTzg+ h}_ݵ#w`+q\٧M}upoVv]%j jظAhyEq!իNn;sg ɝ:<q `l9,H۝W FumÙ1&[|rR쳩S?5sYDD.h+y};Vm>6zÒ+Lc:6G+U`#^#qΉ?y_ngP*nh &iNy%gUDl2w P,g-)2獿 |`Hd؞~(Omhe&tCSyj{ʫp_ڮ#nifY!ګ=-g%¢ki3l*Uaub?yu qoVoRDqJǒV1Ipв^QKt%E~ DXe*q]@u6)&Ӑ)U]s y"<ʆ ]N%2}rj>vbR)9~gYZ7zXZִF! ੦]ŗXi%6rmYozikMV?O[꟮ 1W0b} m۞UNP[z&_g|3-ۭk<D!ɏAm[*;}mKbYFq&E4˷8إ7J$YE͗g5}ْ[%Ipt|Dŗ6$<"wyn Lt0p+D-Z܆UZ6 eF%r +88z;7kxT|{/Q7b26mN>6Jbi _ܰB㜰-VNUCEֈ,Զ#tނ.¢PeZ j=mU=X~&#&)E%x/ҌK~2UP"O\sbM2ʝ3^C6JPzq%S/ .nNY  Z Tԣp<@u}Fܻd`%2>_k]r%sqSpnl'ܩ:.0,M6?qY[ʵ 4V]uj45.v?p>VA־I'l=,~ -%6/W[hʧiӮ:x28 Gɐ|Bd"[fhs,а#ʕ*I(d0JͭhPFryHUih^N%V' z.&Z%!|uLjPU{Dd&faVS ÿtSv1;F6u0ԮGDž *] 琣x BYّjߙq–XF\f2j#&y4,HKn-dݑVA)!lC%u.02qd!\g L3QDL/Mq\tt~xdщ AȲVnz1BgzVі{=68ySQO Fi;b@; =W:_)ޒ}H.P+3G0c*ctgJj,l N̺\jlh  J0#!{ɞ yb[ 4(A@28 O8$94[B[= {",Phκ,$z.1P^%C9(c${ A:C.AJLVoa#7T1_ť𣾠t#aĨoq#d,t̜Z 2\:wR@BB5!0p~g7Fw &kj9gG7)LaPpjؿNLk@춵O<[:tXFE0r%w [=F:'S9b A:Ě,7.\˨4L"f.at < \͸mc~0u0}T=hn?݋ MV(KԱzbj`?k qj̿4ξ*^AZn