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 ' || ! WorkerWrapper:threads=2elapsed=12.632cpu=23.760gc=0.932factor=1.887zXZִF! g]ŗXf1-/6vR[X"9߫TSݬ2Kܦ\=Qհ+ _PUC疽}hAN 6yw.~G$> wQp'!ƙ \;*^ xTK5RPVdS _G0A43}7bh٪L*xWLfb{.u? ̨ qTA >zR{!pA.*#{LP ҂y̵HaU!:UpбZn. "Kf1icCcH׉MUˑlWXg ' WorkerWrapper C՝ ]|ZA&;QD]~.%mfwkU'>X^{j~ncnID)2G ro|גUivtb3-۷*+tHN{*7ʫ4%푡FőViy_.:" Y'uSBLBrg8Ki`k~k/;̔6!C|PdĠᆿB;V.g[ht(WW3CWѻ Z+)\௸1sw4]VX yS ;O1"Z Ɖ0DGW]4^^%¨u9XQhs'gJl큏@T\*_fu$B{5`3lm>s*PT]2Mq5xPē;Ӹ(c)勵gJ!4m{Ђ=#wg\5y-T`6޸.<υMvWPaG֏[DnKjdVq,2vK wV3]ٷP-Ij:FiI,6Cy#oo@kC3"k Že^%f8(P~wl<|txWMF3G?67%MSH<?: okht1X3YY2m!*[a.{W.sY˴' mpMwtpkG˚Axsil`*K߆k3;z5Z ]u s=l_u1Z-^ȝv7hOlFg3\ rŇ ~ද;yZx\) np,D|e`9`CDԐ*Q3_XldlX x4kDcgs;U-ڭ^_`jh3ۮJbȹb>f.EwUw 2kcC*1)N:yALD DO5(1L|&b DЮXe:+.~ ­g#{qW1 .Kj.%NfqRcW [8c3t_c1irG&b$#D; ^w>Q%HJq\7n]8FtIί(V%.iuZ!k"W8}X|ws F 9G $$jE+r/|>`߸#u O8#E䳤R6spm';3t-[N"?Z[V)lh\'S1#i<̷oi"x{h16-JoS'&VR\!tI~@HTcbsj %t&Euu6[~M[(qǐPU /]v LB۬9ESNYʧ#@='Ň9m?{kJpn{q ꏌ `:0|-~B(jl f7lګt$RTT?VB? #H Mxd1`0uۤSi.sgYZ7zXZִF! C6]ŗXi% pK)#dNNA2 ofl8?aj2w|cNhavTFi'^R_S@u䶤òӯh{ڄ2OEځ?Q)N؊Jy Dki0tgo{/Bʩ%Dh}Q]%9P7L}tKWrLQ:H,,ϐN9[rF^o*0j'7o[_/](qzqgi;I/B(އdOJJ JΌ9T 0|q'C$Iv̤m CD98 uIGYB!VN |R ]šNu1`4G6rLn\iEen=bVR<'.:HĽ|5ܷlW0=G2 Ɉeu|G~h 钫kb^y(Q)JI7ex9+I 0K1^tZEzRͪ46t "Lܥ;k{ծ.}Nd0B{@͕\ A$pmadpy1RdՌ5ߗW7*338ս\*