SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info A3  I MonoBoolTranAlgebra:threads=2elapsed=8.223cpu=12.820gc=0.536factor=1.567zXZִF! QD]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<u$:(>.mji27k'OOY4)|߹q% CqzplVv떿  r@Ru/%0g9@?̞Xbm!d(mA#T?m9瓲c]:mċѸڧܝ>V&C&sa_DAxɏu"2ɕߗ ICO :Cy eKuP; x1J\)ZvGVHnZd`j!ŘcV)_#DD\H)*$zup_YRvH7/0A] ȓmCPc§Wu 2B! j1(%VGc_%[Y:ͼBf u~hj03e<-ZrezºH\YgeSXX\)b'y$g~ր4C]\Q+߶tʓ#ڄu+{F6S$TŁ01w+/טe-ufY`f 3 MonoBoolTranAlgebra6A0DMtxy}@L;Ө-W&!SR$R dM٠*z>/')6,dOmGXr=&˽uPtOs([HSgj7o䮘tiGMB{P)0.idۗ_/Z)#jCaθbo}v8:&1~psM|@ )FJwFmjPԀ5]1j\J!%I Yyv2@^ @|U@~{Y 9!<]})'lA j`8SܞJ9DKw TF8 @"C DOSkȿ6O3ТϺiƜ` &¤xڹU?95>(bxWzU/oZ;jmr< (OON"rz1'D٢vR%2,cSH@ @ E(T| mܴ`)4wGf5_CCvAr4'}._&Fn ECӔwIbgfKokjPFHGb|EFVG[4 ZI_pJ}1}T"vo gYZ7zXZִF! 3n]ŗXi%DQ޷Nv'(80-0!;fTvP-i@VǺ= ޮ`y _S_OyW2iQf#?0e30a}캅B;64K;!Ko ;+4޺Wt({nځkS6υ8-\Z+ɜZ n m&$LHL~F7֨cHSfӑ%* ,`v6g9C$ /`Olt @)(?zt|,\3*Gx gV Arř+I~ʅD 㕱T&W5 WQ6ک`Sg{a/FWӫ UHD&ID|de]#Of{2~ҩGAη rdᤃ[k>JT`XCʉ!5-VMy{ߩrul}خF9ޜ*/\0L.R{Pۦ- g~۷qa(Yz\V&bsfbTlEPw\0&SV~ڍeH{`&2'4J[5>: S @s(JᆭjjuYtRo(zH(-n)'cF>T8[ l˞CS-e(o!%};Lyu?WUH46G&mѯ]=m-ϛ U"a,,zPLlBk(#ߎgY!hнyx8x8b%ޒWԠIai]Aps@/ϕچI[p