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 dd/ \ SI SDS_Impossibility:threads=2elapsed=52.655cpu=88.064gc=2.244factor=1.677zXZִF! A]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,6@V&whceS;Gu4$wq,~9{[K!A3ER?WDQ&ÁR>MJ l >#ҞD!%{_ibk=.kq].Ij+wrw?KJLxG&3B ~A/kqQS˕m}Xׯt8ҐYf:-e,z b  [h"&.Yh\mR)IDo Hn`k+z| ˃AɱgYZ7zXZִF! 9]ŗXi%VoԱwV˝րJW ?]a;fvˁ1h4(8E#WN ,6lVR0\ߩ+zߙҲ$Pe72,uqX/ZYm<&Ѡbx ֿ#'z !qHգV#W=]M[8*ѨsVBSYxFFfڂYi%EEe%$ XlE^{EG.CS fq٢q jiw^iª:>Kc`?i,dC UWb'åen|$}Vw7F u!(\*E!DZ"dL"gXjZ. YeU :j:حi# WUX,FSn-zj^$zhhkU8~w$;tR.^o,?IŮ{wP˨Fg>Uz ;q1 locX Hf~E?{ pbXM+WBM9T ݈`=ϋ 9¼ :lp>=۰S v{ ;bXps\n43 LDNnAD4"(?3^m^!A;-݀QIWL:Cf]1`' L|hh!:Lӯ6.p' ce gU\:f%~j[CiPVlrtGk"j~96B3Jzۢq)lQxNkʳhSR~78YP5EˏK]0 h⃆w-{4;^[xQ]&;5ԕ]TeA|@4ڤɒe(|2f=-k"<ᬧINڊ˝6tQ+ځ:udOV n~[.sS#4h)&:pb8nHte{q

h%Fw`Lc5jGzkrIF]̪v֌JHRhNjW6nx?{UeI5i/<0vk|dNs0/xy q U.4).EPdiϪm/S0m͌<} :j-ǰ7tnT t7Ǫja[QzJL{NeѨytN7ƑЪoz,3/_mۓaH޲..doZ%P~|ru ڄ@X݀8Cˌe|3/woS1D|{]h!@*"baB0C&x<d"]zHa&3vMLޝ_quV71Wj؎ }|28dutG'Wy)p+DNxGAq q(wH7Sj+;}}[i_d'Mp? ,Lcnl.P/;Jfm8XƯ _FAbΥY%R G=O*ʗo|zyy0xq@)%^M لI zB憗H*BKvUV,~ίS"="i;j+e%YAq]{n{5C y_yڻxhVYg% ^ G$5p3 aeޥ;cYpAj'b`Vp