SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 d; dD ]% Special_Function_Bounds:threads=2elapsed=41.648cpu=64.740gc=1.480factor=1.557zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _ hYng(N<,^֩.,MHxFe!p}ieo`q OeUOrv˥+%=2Z@݈Ćvb3svG7*uiwbmLµ̜g#=Bw-﨤T[owΖh,aE+IE|=|[;lHmܖp?Z= 0W«#K(ԟ!`:;Q CPm~r< xn; 8 xrzbK kCڧѰs5;y; ј OҖT8|^'t8]Fǡغ ؔ&*]ugWd}&oy#+\(2|G9GydS岴tJ(S[5b ~JCUp[{t]h_80󋲞nilf,dJݺo&|̆ks~Td*qdD-yTθ <)kyˍ'*R32+bg @A-fE6zdgYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -ߢ>w\B_No !^W[0>frQ0p[/??lغ0%~8pƤx^㌩9xI9/#tb(P^|w!!9ujo {+޾uՙ5gYZ7zXZִF! Ѫ ]ŗXi%rVLj<֊Y,+;OyJ L(:w媸2_{ reuU2E|\OP [kaāS2y2D @da608FWkjO(sN wkhCk WLՀ'y )(^[Mm{O :oAa[ 8 IkkCn-=~dp Q4AJE}b()'g^?5(n!*kMhkDA5r}DZ6/18K<7pr7 br'ajLC GڻV_G𖯒?qEItUi5(\ 6c4t<'a12&uѨaQ-F}[\e{CDA})6W؃+L ,u09'V+ř"gn Z!>՛!B~C.c<2&OJ:eXb|O˖½S`9I=2?ѮKsdބN^;ϰ+pF%KJ-~dő;ygӁ>}TN>O J[DNҝ-+Z/:䲅qzW!MA%;;2l|x4/m!Q\^+U? )޾3V.^g.$ L? b&)j</Vt%mO+n*GR'XyM튙Nœ*eB~7N# |u6ƾˠVB1m<rY-zpʃ $(dl)n .q*{.`V(L? ?S_̥"z'05\[nп9I}qNP3 ) _t^6xN\s!F,h)\=Qi&ae7<"/֕W 96CQvߠr&2L\p46AG5 aE"Wbhn? hi͓tokcKx (n'^H_eȾB&wS9V‰j|l_Ky.Qo9nn52:`QӮ UPT|ulkeqi ^lj̔y0[o#HICIQΙnЛ2TUe(6`>XXP˹ WGn};V݋F_L5R@" u.