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 Q/ \ SI SDS_Impossibility:threads=2elapsed=62.122cpu=87.944gc=2.284factor=1.427zXZִF! BE]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,~X&A0Kf\ A\|e6{wc / SDS_ImpossibilitydԪCxYO&0le%%.]BWC?L[Ww]Twc~#Uvhk1gBbHg-0.X wiGMwՊH b$u29=BgH=^*tp5oӦM t8 `h<S:+Jzљ3 nFM4C!n$uG-K,CSNlڵ Եu'$(ʛg<9|?dYx{eQIN,OY;29ŨEPIM'K@ӛ2ATԊ޿ďfMIR&F>ґh;k/]X֦W٦?WGkP# Îs-L#Vg+~y[K2 !53\34ޔ4t"S$2 nHNv)HtHʨŷ2#I`ʗlS"ѡ<309>[&;20?ki}Mg_9uM_ORPunft6mmW#&YpZҙTAIs5>i_*JhN ix]:' *t6kZԿS2Wpy S7d\=Adb-p<׏s9tիsg! V{4 mҤε0˜X70JK/o܈Y[JLXYV\`'π{z],|c'K[bN}2{o뻤a|}9'Pm)Ts5`Ɖw8]%J!Ix4WV-E7Z>#䍯M)AY_ Su᫃DgO{/߯?s\ HldGܡmȜhW*2pKߍ5>+$/<(ΜQ!GY"86ÿO&dOfC~ޅWaX'!)EĭH 7.{IGǼ<9SB?ћLM*tql1kl?C)BoZGm[q?at@z쮧c(>.m]z˱ⰒvשLa}H-Y`?]eWHTED?7̣ 0dOmk/A:4-0U"?"z 8;[~0: v`>GŹUAkyOɾlglD+֌DuǯdUP7Ss?ϢXt-V4Fڧd)V ~Lgc"6-ZmY~`r~'=3!#"TSx]}UH3ո?gZy٢ПC  9"Vw)kgx g0x7͘wQ+r`Ef%ē,K' E\uqfwrر2QB@JdF W#UH=bΛޘL7-y* %rx~En4Qh@^ U9XXMiP"^YU=#M^0 :a5 5vI鲙|K&g?;gG@U.u1$)r /)>v^Trc8/&`浏k+&['K7XDZWNF<(4!a\ߏb#~юLoq '3 $"jx%ʭ3fY<Tp\ "V}*f%:# }iI:)YW*JcEOJ&8%vec.A }*?ц:6}0$_#\F8|5WDFuhaZy`k'mC@睇9CNQ/J+PV绕ʌyYo"`\qZں?t m=>ɑ +uۨ.uB 5'c>]^FGIDtx A%Qqv ٘ۏF^wPѦLeM@T_oVQxVhPm.KPT3w{U:|VOvx Xa+.5T^|u-^HXaa#3FsmvJs3-#[LC3\17h$~"-[06q]cԞ&3%&=`;C+z7]9w\﨎 !yBE716 (}+