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   Q#tT ]w List_Update:threads=2elapsed=133.061cpu=229.304gc=9.696factor=1.727zXZִF! | t]ŗXf1-/6vRZڕ/0*]=Dd / gF7+.0M5Rjp`=+|ه62)Vyo($Sz-ɔHAv5Q=ܹq9NzRgam}6tϤGr;K)* @;v(@YW[sq:;/dǥװu&dFzBMtRJ[&}}+2L%N˚$<2${2g6CK$T*Jh`ȡzJuI"3ɍ8_:Z\xMn~RȾփF=yfCQ DuzBjXL8٘(n~u h^(W\r@÷yaĎJgT O\yD΄g0^3i%KyQo #/J%g^:J2^UZ׮y!=WGDP!%9hcu>M>BA2VFe+'x2U=Bj +j`Ҵ]2/6r?zt M/_GTF 7^q7A٭3j B<^3YRqz*[g∴m!0C yiG~LGs@zDou?&VG'-Gw7\5rx[a%r'np^D!tb.5x@TPW jB {"aaGYp2EK;(mQ L)ʦZ^@Nw)sbA-Fvn, IC!pĥ:s㞾]}zr [K/LNEQ4=ݟT@y^V6E<A$7_ȮWKf>u ˎw17Bk>3h;$uo}6PtRI/"`> LbKb:2uw;wתNKɷ*q# )g''I/UHg90aݞ,OH4RRRiI.\W !ƭk BIMpaʔ󄎺J|!? 1gwԕ<n|'8{Hc h~Re!%lK~+vn,~+%nRd/vk # List_Updateآ㊸\ Tn ^-ĒRiyW>)tX>jK{ZVվ;IcEC [I֫[\|`(=- Mv<1#} )ܞ('rӾU?ʩ+xD)׏E5iGd6q[^Jg]e3Ǒ0S l:ɐB1'5Χ`zb/*NRjzj֐.wzAMjJlᚷ9Y߮VƑnU# :QTwkVNKf8}qt&x6S6k;׍]^,%r\ĀޠDs5"9a0`o?9Ji6Vb6-s\G`quʗ6T1à!1΀StQUmR_D*/K 6{)3'/^&T/ʈ>xV;V 6:P'Ef,(Ҭtfg3FظUCVgYZ7zXZִF! b]ŗXi%6o# ( xT5;ʇ|v`+a&GGh!ǥnIYb&65AglPE>_f6pܙdRͺ̼ *m0م|vA\PrRC-P춯OM_95,5]h Wxƽ+,VRt! K'O8p?}Xp<6>pm‰~_ N,zƝHAҹaP[p/B7;'KT|EN߂6$(|dzS}- o|&kQ3H mAʃ6ڛΤ^mȁ@E4/{T[ J:2'L=?9p/ ]C ں dmf3hL6G75R,݁b&@+xq֏06~A_+>V? ~wV=PPOp}YP<.ƭ4>7q%:7-L1N+wl̯&ȳp:BPXy 2C/5?) p؅4AOnGK&!׼okU86@ 3{7QXd9&*/²5MypS7A)D,ZYu?Vr4lLt;f6N =gߠ1@TJD LV,ڼ5_ݫLdM#HgJDIc/Qpg9e !->)%xZ<=GzTqSM祦RTvJ~*$!%/=fު68J-Kl(U,ha]l "`RNbzáWg& ,ulow HI7 %B-$6h6!Z_3oPpqc9}v̙}SR=)ug}d  :kܙ6!9;%@dtW%x&_* sCB`H;HC c7&]^`lI{T$07m&#A< J"+Vy$xfË1]RruZn$RHGEפhguǂM8׽*=D!Ȅq?T ?^:kYBPUF KW J7Vt#4D,4ľ0JCyMP$kYө tb ߏ4?{K[uh]=r|.Pt[=pn E tuV4dGtyjpáDjbVQ^p=[di@{x層3 UUxc;^+F!԰7Q?NͲ>YAD{uiz;-WM B0Ys5^A58tINx ?>u]'6YX"sO"Oj7 iU}%  r2y"Ll1;jiJ yɧ,xx ! D})9O'?tnSArgUӪZ#GyUu&|kTӥVH U+Wg(5}H$fKW+*晗KxZt,u;P&AVT,aUvUH/; $NVR~ԅ 4kĴ (tt 4D}R"Dn# EXX &}7rяɔ|`Y|?'{FQ:ϥpp˿Qn4Rx mK`q 5'${>R !')훬x^2m}@W '~$J&팢i}K6sJB tɅ6tg_ 6ҥ) cM0[ ,cZHP`szzẠ"E0+slv˔JVGt-{k.ZdD8oN~ ,=i/ʺs,U_ h$X)8+ëTa)Nhi .w2: Ɩ7D̄m:.~g,a"-:xgZTYQCwUQ_yo+x+o;Yy8omql C4H殴jA?gYA`Z*c5dw{-O%a(Iwmk3XZLt ߘpevt7t{x 3#Xi$7POBCjߟsC!G90hd49R| d &mӤ/Ho'&uI`+Eb$"#?LK/:êa_=l>RxPHaDGb{@PnuÃT u  \@Blې|ws';%d#h%*iڃII鏰S./u<^`xϩu5y^%e?n ڰ8 !xQ̽맳|o~{LL˺t6y#/ڛ !X'_5SZ @ n ŖE:6mhje+#Ю @$IMP8wx-n<=X-dΓyvOĸXQ ]'6ǥ2sQie3D[Zm1ZW\ٺO{=ņwu# Dl7ϕM)Y &_^<8nSt= @]2\5a1gőX fGdXW/ެ-wf bl.d>ڊ߫_H];]NHer鄗+3^xId{B\dnrK8[5~h№ԅ˕rdCw"',4ކac c\1py /C[H@3oJ ̫AcB-8%+XSzΎ j-\m5n,Z>Q'@sY zіSDjqx? =0qoW[)!s;n?e#u/޺ZAMvCTmmӞ^P eIcâ;Kpˁu O Ym;NO#ߩ6z3)0(5RaꚂIPK)|#絓oDev{iIXuM -3ʾKjn`KwKsؙ:Ym|+L xMbk͒Y?6uճ ͗CNgF[qFm DUuu>텸U/2(2^9y{Ȼ5fՄ&T?We_}b|'$e2et^(, ?pFN&'lg9k9<;03iDmn*/7 ۟m'[N2t[}6zKtlYr? jcNEAv;y׬nT0V-]&쏂qWf4x(FR(J*W0mt9] T56uhW2^;n,+g"_B_sy 0 Z00;ه&iEγw ox:ӌH}QGBM-=E8x ߭,tVDs)(nޙZM=kp ̹<%tG(>GEB ay yUK@5WrH r b:9*κh0^yjR ZNg( #A)$F$p7ʾ>,3?ՙ[>bp 8Bp--W:UF ?s~F]s ۿf'vGeB *9("_f{$Գe A5ևT6PTJ_3(N5KH B "lBJM' $\LeأNY۔EQ=m,soԡHAE}k\!D-qzwM<QӘ# //l9+̑2kU@Y&)6aD欐?ڵG*XE]s8+Z(wr%ҩNRWm\Ygd. ?yx]-LjIT""H/`6RxDԀMޣګu;(>'/S*p/TUQqj;ПU !!Y)B-[?qu@ɃUδO{4CM'2?eel{>9J͕S /Ծ[}[ԉy `(p=W5sn+e\_:Y/,|- nHQ3Qg=9tQ:E[X&IUK (v9VVHK}<6A2Uf,cG\cp_k@MH+ED8)?%laS&)8$;ޚZ6(Q>)XԏYWl7IHsbW&oAlŴs~KnOކ;ޞZYt>?F#]ݤ@1"VRl`ie0)!/z}c /ՠ^I҅9D#Qr HTEP叵zwpYSa(+gdD5ݲpxSo%M @A",:PvUrN"zgw+X8‹ eWgYZ09cb6c4d0957c5bdc17c078646d51e90d84e6c85e003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 c4a2d1cda80a58662c70d751475f967b0cbe5c74