SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 ..G#$L ]/ PseudoHoops:threads=2elapsed=112.188cpu=137.936gc=4.300factor=1.237zXZִF! e@]ŗXf1-/6vR[3£ˎP$x}swZ  *ڑzI2ݣ7'dH 3-95q,+(t)Ir6@-՜?Ƨ0ಟXR 煰?țڬ\YQZf^_SxOdku<@tAO}I:i=l[:[6olV 8@oMft/u*y,Jn%8`Dx`Bec[\#M~lX^ u Wv rרgï.`5I|"QR"ۅZ]/1KNO|+hBܕYm%bxpsн}{\|VQK>.b<9a_J6VvE} sV9Kӡ`yw+BH`j<՜yE1\ /ɣ^r+PAé0K9L_< :V%Q_e^7x8l}&al}GiDO,AZl²d"b*Z UEe>Zv rzS! _[))wJ?fN{j1F W9yWbE f.'u=54ĸIBxpᏓܴS>T0o D5ע (Q}f^u2ҩBb1`62ȑd #6'Ǖۤ{j0KInf5y8+a7Q>ft`#K\ޮ+]wz#f3}zBg~02˂~,vQU_Pͫckgu֨y;e-&°^d Sȓ,)bdzk[^Y [Ttq:LQcxM]ׅTk/{$aC%qx~]O&씬z[xN뮨9;P hy4 "47ҭKsKPj 9.Ʃ?~'ƣk [' 'B:0"WlBªA9!2LJ$ha`},KaGmjr(dFU7$wUM{E`)\`Jz&,EDˆ4tad8q$Pn3r؅WM28}a#DO x+5\ B V/Ǯv!/^uk#S)zW1[s(ðkE-ӈY,HBMg }8dK;z/%6OuEC`'әBNMxЏmϋbKP{`kEb<8m@ana5.HL}C,g 1HyI"QFE$H"GDFPaf,؟ ϱgYZ7zXZִF! J]ŗXiɟ˗ g qmz7 $VVڽ Ij îgQ/%Kdn頨B+ZX}ù؋~먡WB]M;R]mXʐdCaaݘ~Pͥ=r ehjhSzSaBv8 ?<4A?vOq0QS=SCS:Wg0Z=ײ-~tt-~5*t6dC]s %|tL}r<ͻgԀa%9ʠw+ r5v u3Eq!:|U䙱gYZ7zXZִF! ]ŗXi%WmL9h2P%[I^PT2•;W^]ϫi{1L(;3}$d!#2`!#p\l(t#{d'%Bs@NP"mS,r~U+i䋈*ڹ 4!ͮR8g85 rJstkOK}˳P2,2(uf"!,wQ;L=pD^ ?jP U^c3-@}|\ "ρ G!`zFC}Kڇ^۾K/`|.ϟF4{^otub1/DX 5>a5Ps稀],kV˼"-j+0_ڨ3@8-H7ig*o]WI6^9IZJ`0wdL%Up*ǨcB69e}[B)9͓&ٌԱOts#+6d\?U 8Jҏڝvy\ͩ)z+dz[}aSu#*nNcX)|j>,Lk Ҁ4C2܄DD|YYj* /XԜ14MZS k: 1*q98JD19 O/HyyCJ!uB.-ZoE?CT@8hɽ$ Y6?ȸ^NzD3F¶5KI:% D 9ȶtl &d2mV ښ~$98a3dX F۔Ϲ3Лdfhڟ :)}i>YzDW_Yy >aFHL4sMNPF6.!IJD.}c/F$8z4*<,Qs&ALbJ\B=S$wHӄM* M_ '(泮e@ʏ:x+ v %sWv7802{;وR/i?W y!MDhiYK4Rp":!S_{SFx%Pc2e)YWh4kTMʤ<0vPKH'3wrzS]oB"fi i" H@Dfe6e@[f 2ò(W^s .+I,1ȓz؞v}m_.dTμd~܈Lܝ=XqdM'[?JU:Ll nE1hD.&ꁉ)^56W9]A_gjh_0FTO܁r`w{ʩ;rU箅J˞`r׈\M7 Q148#OA ,yD =:h}ۤMٟZbn˃kqRS/&gAJ,^AݗHArcB'3AZ i krRAnD,צA6?O@[{GhC9NS*YEJOpFۥ1"J^=$% " RYn\D M O ^A~۠4/aX\c Kg6t760$৘9AD?o1#m b8Dx8Qr}Uon Q]8&1lwQ| ھՃ,";3׸u9ؔ۟VϺnxA8N 39r}Cd$&2O∔a#E;TL63{<4deJ'*4DMu`CRw;lž*@]zwX,kŦeXh']tl|[ۈ 8ID-l=Ym͛Ȉi#H(xb-wso|Iԡ`"kċ&@m㠲9\[bc(4k3PuޙBsHK8\ ZԹQxc|H~3eHo\bYh l}: / Qb~Qͦ.?J%O.Wlס;-0rLQˢC_Fʱe'lmA^Xj>I2:<H~)俐I#?ȦTA=yS ؚf 8!m8h3]s5ƲX>~[D|Gw^ma6e:U 7TKΥwl.kp&66p%AQ1ElRNpgPEQ-9%KXr<ˮ {yyaͥ3]kqRo-Ů.|6UX5Ys.+ gRy ɤʠ(l%bzj݌v,j!{jƱnɑ^,Tæѵy| ]z3 *H3\"v,&W}![Q#1 äZY8{%7XJc*cZ|p µBǼPdn4,|oyȤDJֶ}܌YM]1ܥh wfYhn:(#GЇ(CϢbco1OlIpdlGEaCˌT0zdX ,"^-(Xh /? /w"N:$[fY6 5c(9p ڱ>(DUqj|N;%;e)e\LO&dǽ)a:a= @hk` gprtjcE9*=O7.[z6קbE)AS b؁#bn.k''eOᬤ} iZ(t6 @ Nf= T$Z "1M+Rk8pE<}"_V#1Np=!xcsdĚWe .@ζf@m7-=8dӤ\ 8./ݎ)ú1T'.^aUC,_u [TzA9?2L@MJkJ@eUvMj?P_I8Fe 0"ͭVjWKQl+(1. 57Fs?C%Ac>,;$pKdG2%BxՁUӶP%  Jʜs/{_CW0+V(s}%N{FXFʑk*KAPBY