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  C C.54 ;]Amortized_Complexity:threads=2elapsed=95.016cpu=170.992gc=7.848factor=1.807zXZִF! zK 9]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<\U)D"I.ezi 3Ol&83L#Hs,gcCjǬ;`ʴԙܖkҒyٟW9p/Cc ו $lz057ǍFCt4?L%]REzq:Mj f#띟M/ZH=-w^n3h5h 7Yw`PE{p{wYhG\Ce/^yr`M ;o*Vsvj]{L]q+h @:R0#3JVx aov@\R9Lfkl 5 Amortized_ComplexityBQ)nfy [!y==8~l<8y3:N[ w s{nFfϝ$6y͕TrV$e!jZ|ƃɐQRZQX PֻL9h5O M /ϳ©"N/hrՈx7SX\}P?:L՝2y3ߴЂu X[dL4. i}QX\1Xl |r X5㾻71ک&ZÈ<4'#M+^*D\',ŗ;Lqr[axEײ+REqpU˲^,'<l'K8 E=ꠁjP4~,~7t'aUU\u/RooiPTN,5 >;(>ayuI.gDRJ+l L?'\CXnjQ^}iЅ$&+]>8 'EsLUP#Nnt:2]V4K#.WL'T&(a) <`T8k4zlA)WjK¿ði}3fe9%IĪ Xy=u@Oz@$R_gS 4xDp@P 5b'K9m䦴JL?I5{;Z3 B`RdBt_*OKȩ:ʦE4DD5z_@SNȴM4XFp\C͒i//3> zT? ٤{;?Cp[ I O}eԂ\Л}&&oq_A#1BqnɇOƇ<3M(X Ab{.|SG mhšG:@U< ۙ -i+fnN)MD-/ϊX 7}z}*a(1nJ8yxXFIx#Ce&Me;3E]EVZ2OƔziśUmrv@c mē LF\5a&zÚsxeG %y8iԣٖkMf#0p)lgce{wboƤ!J0/BFtmF 06B8ެfWDP& gYZ7zXZִF! :]ŗXi%X%,OegII7Z<| o4.f=E}&mx/y\giOgTXGk||q#_uH]$|@0Ø]ԠEW<GY؏U ̲*sγb>ףM@h$q&{z5v E.e=(Ab19_-tOpX̉aᲖA? e<")f"{nqtac {+[g//`qz!b(<^.Qi")Bn96\czwu٠4Gl,~nHid"ɎE?ND)B{vxh0,fnOQe ":x(SOx r ɞ[I8N"[!TijH̊0Hj,ͬ[aZovVn2s<> ~foP`H+6(WG݋TWCf ^Sd\d%$2.Jbj|DO@A0#JsIM5Yu6W?wH6c=fst+9Ydk_S,5 Nuu(gb ex߶ы-S+t2NIhfpl5}G })g$_`k{TP>lYDwfQ"eBe&kV%l$grG7? V7_\ \d _uĀLR[|K~:*LA|598hG3LSJoaEd$yKF!+vaoU<'JiBf(Gg8$}<79\O W`[0*El%{F:AE*,9vz'{Pzpɞ4eFIY_| +|N}'j"U9I?E]1#q.{~:,t 5XUFqCPr5͙"Y6N+ s 7&>5I/7Ys# V"5̳/9 ?RCUls!R\j#r2M<uQ|+Nr@U3=DŽsS켑K4\C~ JLu&xMqوVhh4NfzXˬQf<ˉ`),k@DlӮ7ر++r89VxҼix-̊7.Š5jHsC(5,cpmj[Rm2Q<ިoԵG pˤva߼P0뙜-LyUZ+H*d s0]w"җ4!aMsqzC~Xdk0>[ckZ14spD oWNM'̰\RaW!E]Pӯt&?,c9؇6ݘv~ay .f5#-1@jiZPLmnk,ɈuAϟrF Ź:^ Pap:aA6LHiT4<#zSsM'$2'7/RU|8&^/BL ~wcA8>شz*{ʾn:K.dxxv~R8t,Oq %ﺕcjL]훅 gs4S2#蓼4iDQu? F[0Y2O;l7jnjul)-e5s区YG#90WT.0xQ8YNw(XJo.k?tWWAǗ$m…r#R &pmhΎD(MۑHl ̀S*}z.d@<R*v#ҶӛB @_yT L1(3Hj3aWiM9u,iNXo Gd5(YyFS21j)\wozn`Bۭc7C{N,?9m6CyC >x=yžkQ!lV[HYڛM˚G=#Tf)%AQo=H)rNXHjZ9bLܲf|ϛ' v&u E>ώ-U 9ŜzcBK{?^ԉCm H4$o(QM>w`j$_0 7t_BXΑPq~$"Y!\;VYV{g$=GzMpcadL4ZTϊJ,WP^"T!~m\"Fx]jޯ'Mz]['쟣r)"z:pz`ڻ MG[i|,+eWV_viNQF˾cQ=JjdGMП/ˁ Z«! $z^}".m(uὃҿq>1 {ު#LU,3 E8**~F@'@*HEɄU89l"_XBYpƓ5qD=!rڇh^h;PSqMOŐs;ny(6i'. {ߞ.{y91A)1[.pɶ u}CJkѓ.lF3hhC\zΐ]x!iS쓲 wD6D"ޔm?T't }~_\9GY*)T 2Sj@$ᛑ`b[%ma5Zj$(pu@y(1F,0+$6GZqi? HANޠ4V%lɴJ&O 8ǡW]|&R63Vn }s9{Y= OP/ú)GD+vco^Vڹo#XP_af qQW+{ h{RdȪI`&M9+\2#7( ޤle;@u Uvʤ"#pCpSߝ7^b\LS`zC+(){l?-qU D苿ԉ>q}7tYI=@Qݱtݦ6*~jH\M>p/8\s̼YfL0xzf XzԐ폇8MHp :9dBVSrj,r YZeILc.G_첎޿bN}J2σ -L .=GG7!@: skW9hFU Ko7^t Jp} ?lDיv}GAqJx,X/'SjKg]NFc=ތwsnw.6sğB7G5QhF_:?)<\ cY~pɇNZX<l+ŰҳLԨH#]脤/]\_5Nqemng#^P#2PX3\X  " d3ޠÄs5Z~h%u#(Q>jZ$[O)ώ vlȫN\'M=:v g[ (C٣h22mzjFY*,Q4dIXw\ R|j5cAK7lƴ.TCƪ(6MS#2WY