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 c , ]/ Huffman:threads=2elapsed=11.860cpu=21.140gc=0.420factor=1.787zXZִF! 0]ŗXf1-/6vRZ7Y#Kȅ |[7fn 1i-^!CɄz3Pp D+岄;P||uP _ͭD3%XL^XN:/pxw4NX?D~>po( JļFu&u) =+1`lfGr=;dz~yH̴Fx+x{#MYTZ9 2\aӹ qK|C8EҞV^ ]⊈d:C$= Bjoz!k{DZ#YTro&JcRC])S|.i?icƉ{6Вrm4u=*4&.0~#«8B6^ëKbXy֞P.cLJĒ}2Ӌ RPwʳ$ k ]MҦ"RgYZ7zXZִF! AM]ŗXi%6f-hO֬~.ҳ {h1 kj6$N(z'+_ƣ{3}{`)j/-[0O7@r^L gJk.n) I޿ 1gþt_zy`\߀B#OE~UlRB?*)+7^㒦cl΂J^r)w5}w-e@8T>]JxV,Cߛ`_l{;d*qv̝ژU8Dwd-ئj-zt;гAМOY[C\kl;q1YP%Z\%&BL|giD)*(T y_q b(mi3gJ;rCkKj @}iUx#;K&cd\(ԮWTScoq:e _L}27wE٦ ZH S ghش9ķ`xE_``-}=1WT>Yx/>--]h,C65|\Kvo\KoiU9!(/yV%heh;HHI\5Q„L!5\x=~G}9NZX*@WV)-n%Q:l\ip#M5gG*YddO=AI) q:e@m'q]JG