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  =+ L !%]Simple_Firewall:threads=2elapsed=37.990cpu=70.876gc=3.136factor=1.877zXZִF! 5]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0!8#NyGB`ö'}a A(c{ɢA4L@nO莄z?AX|asj5DѮHɰ́:>k!^hF|;~OEYpVUj8%8GJ=w)ā B tOaC7"aB 9rmɌ!@U]'y$ Pۂ11'9colDѿeV_^ZKtiMNh[H"LrwY"?9DaGGFݴƧZ6bf} '[~YD.h|+ҟK_/L[~w.=UjY8cjxr7G>(+N@ (f]<V9>z'Z.嬎Rd2s"z{YڡhJmj \wV9ifʬMpO9跌2+,p.Fc\V&47Y}yV\d/cUNmC놬? n!pTSRuj '{ЯQa2|SSf&W\1A$\W 8˦ 7Qv-WLBc]ڊ5$pc8EabC(CLQ헺:̬Q 1e>&QcQ MAVNZXje_ k]agYZ7zXZִF! n @]ŗXi%6A6/Jp$y1!JY({i ^-bRD@3MͰa(ntܽT4*AdSW\qQ‘sb[Nr<˾̜W?n-~~l,#]t8"&e福#gO& Q NrI,BцfSv]q%ًɎa N3 #(Ά<)glAM{T6?c37q1,`eB'˯^%cFR&upkF:#,4/H1*sfDIioN[EF`F,q x S^d.ԗ -=L$e7ЅAx*__ ߃~ v*ٰ@[vV0_M(` $z8 ^D)+b1hfm\HmF\ćtS+sDH6?ҶʷN:bv`),\ :l˴̝ |eaf&Ɍ#͸d'5{tet=D0UrT =ZNuF?3K@-U*+.wqB^_n'Ŀ@54 iMH^>ʏmtݳӬz]d1j=U4= [ɭr`Fv| }N~Nʜ݈4?!"QT,*q-)旴C&INgCYBeÔk<D sc'G2u+9yⅻVddp :O5I=P[5j=(ҭ`xH6.ЁK| qyw>-*OHOUN0U$3t>|nE6RۼrQDv|sz^|!px'ot DS;ty0j,n* ˚"V0ؔ@W˓Ajh5*8N5E][K:AV{ΩMaw|Gf:50l l>moA$aV$v1Ia;Es[l54rإ݅,aO!mǭS@e* \s] $u^/gXT ׮thc-YA6wAc{0w'MP%>/@0R=SƱ !&xIӞ(9 I7g|\,}~n8=<$Xl.5z!y'+!rs ͪmRwXQ^ 1&Jq^8RH$oOn% B}à,IIG!["DLF0"6>LNu+JzЫhf$,vkáC8j)o N;+tFͯ ͤ ݋hɹQbcÓ& 6H1{%vV@A/$c6WV2@<ZM|~ t3צH;Ͼ%=JdTZCZ3{"L63X6&0ͬp*yllֹ%FXO=QBתx7mZ8Hh1 "3׹2(i=S  `lKM+c͗wJ );A9/BZЉn| > DP&I&}@me' Ogw0](d+x)6.M};J]&Zz bg.ǝ *~+R!]4uc(|vlLߺy0]ߤ&bUQd1 j(̬]ʌd(FU擫s.O6^|w@_eHab[r#m+ ^~@mQyv!lV|f .҆:fj?/bVCD}