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 qq|1 <$ Y/ Concurrent_Ref_Alg:threads=2elapsed=10.706cpu=20.040gc=0.392factor=1.877zXZִF! KJ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬Dـ*ZGv50izJ'‰1 X?Cl}eDnW7C>`ՒYk G֋6m Sp iuW >)Zl?z >E~Z /lk'z _sS04^!͐K5qpOcSfc:qc!n]cFAL1rnT@ W<](W4}왣:iz}5=,xJe3](V!].2p?̓q/|l"4T:hu| o^*|W IG*}Tw<ԋ?yBsO&+_TE8bnFc4eil~0TȀ | X TwF0Rf8EGg=t x}]w0ʣnN$uP*7n+ M&LFDxxLMl;G.1t IMV仚ZR{M5Y ,WpaRu3z2fxjA`e&c46 ;^pt@JB?8YF-%.WJU(]p_ćUQ*Sm9\ !WŅ"ydP[s^³E(ǟG(7lPvl+pzh&l' cq=6|dz RP4 ԴsP69  MqPܰ* qw}q,\Ot3,Tc"FUNU:yn`k(};NNExmELێsK\#گ,s;p-/w4_4\l@n `J bW)~l;v@4_߰uϛB7|:bLm-UY ˖JfgYZ7zXZִF! < ]ŗXi%SI*TWt֟F:v|9x>  !jYgZ\\ pWkx P}'|QJ%a ws?;0ܫtṳu)a"nl(g>7_/hj1Z.-'YS D7{ .X% gѣhS%'.ZSߥyEF.GcAY{SM肶10 wUςM3jt1*I`?0F8_CFpPϻDv-"Ȩ5r-/VL豫CW xø4'u#Iہ_FĆ"T׸.M͎pN"7a $ 6&rjLhK_0xZ)-8!Ͼx#d*5ܩ iNP^,e;ÆRXQR8+R;ErT=&jKG)Z׸V̷rwKZ }@NxVv{w%ت (kӮMyZҟiG`Q ?NI'e}1Qy8M3xS4Bjsb)(OWT_edUTyCvx2SOzFzևK]MAKfi@jÈ"_`^@O}5ʘ3-ͬANʠ6' mbmqDٺ