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 ee \t$ ]]HOL-Auth:threads=6elapsed=59.198cpu=273.056gc=8.520factor=4.617zXZִF! C']ŗXf1-q恈tMm-7a2B1:Gnۤ{:#b~N'\*d#4ӻ;F-|.O/U䀷6lnhS#A Pb֋A vI@xOԴk;oz>ֆ R$:UycXAyc*Z*L}̩CnU5t~Y8Y;:KL;;%^3b"9`B?- l^tZ%a3G `@ TwM q癃1V`Va]Q^k洂7C/$AiЯ<[Yc))> |E6y_/2v Qt#kl k9-WbH6M*CKR9>tV bW{MQ#=dDSn+@"BQF*]3R/7Yl)ݎe88|4] F5FP<=J\lV^?#fCC[*k|@lW YUHsp{ 1 ^,]viP[g6_IqaIm}W09Z=go=(^i,Wc^!J–)6֬3yyERϊ Sg$rICf]DqDZya3σ&Wz֘lD Kf/-&)!%&J&+{rNj*nRsP nKrjE F2ʮM|"G ECqY-! ϨHhp­5Uu9N2q1?̷tS݀W,o\ R\M#-(~DBO>?͟MČ \uC ؒ {kdD>GfJS }r͘+ aɇ 8x{?vhL)&8 `&7)C *T@Z6 z61^ 0xe{mB]\R+)z!v#ϠpМjnLS*ۜ;QF.`|o kG  X{ ra=ڰ۱mlb&8.,Vh,=i$+q~6B ^rxF):w̏~ ins'/&n٫ _" L*ɄN÷">xS&^Gvq1я6T7Ȩ+lІE:Nষ`9jgW+7ƹGʉau* u-Szl?ޠ nry%ț#rRe%cy:ͦ-FU4.R䡕>wNCpIX3crD.Է(ɧ!‡Z9wnFLGq{W'iqyZ5@OS*5OuX2 Kd}Anh dR1fLjDҬv׈۸5;+5[VuG?yOdH6][+\Dz.g=q?sDwƁjHHTȤnж̥ĤQԀU]esr=cr`|y,p 3 bGyĊMIY_ʬhG: NksʄzZA ![gpA3k:/H!=M QQU'Dp:\}V+Br$cLc& :yV/dB{FWt´WeRoqje{Xp]2/;BSv-R0e<ȄI7_Mro] JmJa|9nRۧY?YRt l:94Yҧ"Ώ[XHĪQ'klKT4Q\n\{-_-E<yo&CMTFs4)l07eTmΛ'U%{@k(C׌ CbO|jh1_y=(L %rNVƈ0bZ'%\rkU3נ0FY0ߨ-{/D&<&m'h6G %x0Ü/Fa^W:Ba}iz`ͲU6 \ÄrC낿kdO" H_}w:' |Zi1ۮ qV&d : Y 22&ߺ9[؎BAFL#m+ن\io^L@&$ĜZcFgYZ7zXZִF! :]ŗXiɟ16_ U'U%Me*D.pqtr N9BFx]s!'T+DryjS15ʊMxSmV*r̘3LiTuD2=rf27S P0usdZ?8 6/`CȰW&v|1b_+k _:I[uNRf =pi|s܈v$] V81]zu3N%ggmIGh5}f⧻:ҀGXMop%êPGѻ=h蝫H_m|K&ߊOD.St/ DA7* h-34jg/oz4Ks3h:!ry܀tlMX辮GPs2q=Ϗ.4-lT5tlz6}zjckLy">ciMnm +AىykZT`c+4ܔ xH_Z5zlҏ0n掞0am-emHc |8T N:c*؈OIr?J00_P}D Zwk؀.>a7wΉ~J8VC`>r~EutQnf$nDzjbڍIطAQ9/ϻn^T]bdK'H:!!HX`_r]XM_[IlQ˓mjk^Gkhܕt5w Q$-$L:yv^)l:wJ:cvHDuR=_!" "2\/8NfSlL$,QC>:s+ p\ԭu\C|⃀U3LV!TEWi%qġO풿Ŗ7Y&rrs7o_dq5(,*z_̶?) 3Y?G€Mֿ Cägnd4zӒeE7E },sTңP{҈~:ڄk,Ƣqs\nCzx#a;a(ն'%rW11PoɻP˖: ՕKDh/ɮ ℕ?u4'p g=8eCIinEGz_1 )ZgmPYI$"< 46R)eӯkv#NzJ~Qn&|FJ |㳖^(˘{w14դ꿖r^2ds1b:4ūCt׾*"W-+~ӫ|I+ a1WJیjT%qI|-RVb0n)vP̸=TCn ݬ.{u( YsQn̬RrvH"!;k}SnU(b\g+b_ŧC8mZ@.7eb]\uhnp-/z>n_I Čx$=k#~&|S2:F(2NHdԍRy~ݿ XC)d 3r|n ~Ц!qYeg8>7HطZ@F/^u(Ҭ5(RdKoJl5mYs2t#6yҹPs^CY L 79DvO%*;Hbp{NHb,Axm47xss"N$Y^wɪݸ_ aYI%fbtHjgp ݟ'"ł75ٯ]HKA7 D1Ri tQ;8O瓱#ra! {`t~/ ik{i#֮Y%ENU(Ngȯ;4NnLU4-`n]Ӕk/wLK,!L K5s}-EԻIMN~N2g:x:{xֶS˙4k9 ^@)Gg8PFmYv_A 4\EWpq խx $6x)lei>;uvvo ƤV^fȏ>z])kdcpE HC=lpLn5tћtM:}#NO"C7)Ua" )'cKD BgrA:23`OR)yvmtj5Pwn"+]^~{zAj_adЭ4g'VU\'q$f  j#!^_cHYF ?m('-Еev'O{3QI]A;>QqS=5RRd7mz}e{h . ǒ Vԁ=-hj\;+WOYQ7[Tš,/#2m;$-Tu\MgH"G;MeN@֟rH'T-PƦ\eKlRE66USOy(&n ` `SH`˭1p($lT~cT.7 +$<9tQ#FFH/)SM(UbM<)lL[qw]d[kƇNz[u\+PU&ZJ3UE*nUdufŃG&d1RQ5om k$Z%֦ZC{m aeGt,ۣPd@ަx* \R ܙ]&up. C. .+fnDqqA5 2sL wY [oƖGDnIB86{c4'N%jkjԎB .U%;12؍S}p>F-%SQ]oԺ 8 r#ZcҿA&o/RۮC1dմ{FʣaV5zzdKY(77}H~攫'^3iXY(2\+V/Z܃wXUaXlz40-3B2F  bq(⯈aORu ]PvV bpMR6.n d!TD8KJ]bGZJ`t?5) 8j)UrM}yk 1QzdE~