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 [["/ 4d  POPLmark-deBruijn:threads=2elapsed=23.671cpu=43.492gc=2.268factor=1.847zXZִF! fS]ŗXf1-/6vR[1u 3ܸ&S$'W+a`\_ GsU\TsHEk:|SB6ׄa8zUZ##BVHy]fqNlVL0\Gw#Z9-,SOЬ*~%&Rymb"o>=N0B>s?nhE-Gf¢7囁o2\`* g _էE3@+θFܕ\K!&,Z>V}|zژ1\7`txe}<HeI>AU ^>#= PcP?;E,ܰ/b.sfnjZCJ25]J !; XcjC j\vF7IFO #в Qm4niC+)f Mh t 3 iν> 1hvϬ整uKňOa[/pTLNvT*agYZ7zXZִF! z]ŗXi%6˻hg+|}Íj@<uB묚$g*"g@;~F*9=_ax2]/ !Q{VmQ7_|ZsrVz~NpJIMz9[Wֿd)`3WVFrѬƞk/Kp,,&rOٱ0@CXLk}\nX`YZB:alģtDzU/-}0 *AT5_9`fֆ#>1B+Bؽv \_27Zmh\'9%"G1::;MAؖBCozC֛| 0@std(6mj>]׫h@6%E7ٺrCa ao9  Z#ʑMkBI1xYÑϘodhrU:I΄Z1=TJ1W_D~c[m*Q4A(ǭT_<뎿G;/yF>V DUaOsl}ol8`lZ1IW6%±lSǖώ.Y +9pYnB?d7䗭veEF^=/i,'G'z`WTXφX=,qw2tu`+D8.Bֵ]F#+=m``enݭ89T/܅GōJY_vLˬHu/5Up4UJ#i; {C¨GY[Ug}Dt'r[Q#)8t-ӣFq:Xjxך:p҆zL^ϗcF!q|ƾB崯GR eW=w|h%j_}yDrq%_cS+ pI XJb^9ԃ[ʻP?[Qa("Z!\;Ze2)pnUxpP5GKbNGk&N+m ʸ E@IwY`Iv\=,:X5lwmC .u K#LNLgҦ9!wP|=zW z r ",ձGY#[b:Ұ