SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info J)t %S Multirelations:threads=2elapsed=105.589cpu=100.696gc=3.828factor=0.957zXZִF! ) Multirelations ]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&-/u&q6ݏ׏D"95N:z$gh\hЁM,ޠ .@U**g>[>C|M`#D2%95(ء*!.V;T"<ʞق^=I Ppg5r?9F?q"背3 ˣ}bgn/XՃK>?#:&#M l+mNgCv1 ]"B[46J$J DZNQZNb1ih7㢍wX!r %LZК+:ζSe%_i }qtX§1 W̼,Pn=s⺼=(9|f!1#368:;pޫIQJXDk@7. W Ф+P#es %3eYVsmX=zmz%7JS#Ec(75}&kH&Pq Gi3E$C6cZj'z̧ܙ:mYhgb:{{HR#Zy. ~ƩOYG//RKnWAB/܏y n9v4|25}?Jh5%%cQWg!ݔƄݐ-ޝFN6&xS't^kn"IXR3xߙL<=D >k5@,%^hb?h,Q^.!FW = NPc⸶PkszwKo)ƮYD3e˦vZ|@ԺM`KGsHx倇X;:32CQ" )ꗙ@$5TѪ~? ,_{xØEg3 cD]'lrV5U RgM1k4<,߈BJ yLIjer 7U+z*_6T_z&,PI9Ċ|]U߫ˮrUAS M$Xjėai U˯ ^crK(vݺeٸ =%|H\X>ȓM:#&iPZrpU FR*$0c9-` K4qf>{4UP8"3ڙgnG[fꝀ}3W#hX4!@8; d-s/&p5 :(+pSQTa-H2@xGo InLN[wIo R agvu|\DX[e)v ? p8Q f|%(MÎ3@6Zu].!i <ڍ{f0y yɛv*}nͦxAډ"TL 4SzRk,K7.FG ~,[ޜk7ӤqOc'E.4JvTUU{W6OЖoEi`;ۡ$g-rR5ʼnfls-,!~bߔZ5HŠ*2"g MVU0GRK@4a75S,t )]L _9Vͱ 9vCLK R4(v.ۼG4\sE)v'|@Q~U/DHeV.lc'?rBnTŦ4ietBN1Ԝ_  75'=Yx6@PC!M;Eai4B>Bv/`B&&%F!9.=bugrK!qEk=>r7#O*|QkWpm!9h3`|R TB̅*qxA_0 #{ί6>H grϢmDUJuVܖ-)ZmRs5`tzHʘ%Ф:I/P$d?%H<3 2HV 1(YmNmwL[2!~'k!Q73,7⣖݋ӡ>ω`&ƔDֱ椵ED)Qp] tJ/n!r\ǶW {l2Oҝٙ"r\b._̌hWQp N߮2Eɞ@ͩleCο~Hb ClG=hM9Zu/0w֩' >X;wm'imW{pFϤ- 2nhAߑfu]A@$1J Ξsf̎#=tzY#EN%C1Q4CW]]qQu+ JN\)g 4nC, >^r= ^fET~YOR`ޛP$< m;[ͩ{^O 1q8BDeW]k8k#=Fct]&0+I. hpkXSHF1Qmd{.L.Z)9 <-YXޥk o+B~L |Iݱ8?rkb,EmL}\ TJx2O-Q>FrǝAmI7a(V\ZH RK WgnBȽ!^n^e]j ÙV$٘|l^lPhޕ.^cm{푥E(;OWCmL[3tdjay 4y765#sB=Lfb@Cnh_ !ibXJ%.PvVCQÎvV+<=<"%[ZPJb,z0㹃&5Cşjॴ>LIg:Z?r5ĈE(}-+,Q_s )=5ꐱ*,GUaKԨI1iٛ ;`-8$Q*mGekUV`J=- GOݭ̆TyczҘ xRE( ҟ0ģq2oL}Uuv\k'XAqR8gӺvo| <"eP׆yAb;Ŏ!"jn`57CDmx4\#fUs^߅I'yǭN XT>bi#G Y L V__Slj2ܽ#47ÅfU)/eћ/S'h|4s% VJUg-Xϯ h[S>JD0o4A.&[0NA&\!Roݳ$W*MNh5C 'T=S/tH1F:a9!(؍XO>KCirFf:zM),E 11*edsqHru#6t$WgGd v ~fhL[hAI/G %䈖tܘ^vK{@V;d1(LH?KZ:Yv(+CjFt"7S67Wom.sj.lOV<>Irt[3ɜڱQA܅hhG ?hN&%r,M422t7<L W4!SQ^=niF)A[)rqu<}ߝ8ꙙ]Fݬtg{z+Pğ~vFϛ+Xk^#.2fh8vܫW36NSfr 4X%WyzA,xYr.;+a)`\#4^N]V&7luT9DR.@@V@_(YޕB۵j|`iPv񷴂WkoJa3Q: pӴ;b]ks TπWJ^XAYx]D'5TpwuG"ʊ. %&[D$nhzJh~~))z5*^ƕ[ IJ.>H=he6w"sfQCoY|3hN> >Z{)fR6io2S`.AEʹ \2^̭rƗ bI!|V!zjs/3ˠKqO gnUvax# ;9M1?RVs 4׷=5xZ&HOs]yKRB1Ml ˚SCO#Z8oq V* *?P?e>v dNq[%'-QJrқb;sgx4Ro;*MԩdTy?HP)vI3̳Ɨ6v]UK.ğgg9v=V9NcޔK" ;w)(cr`L?MLڋ꫊l+3ףW:$4Q+SzBg"q8J&d>6WT\`l$ 0ؖ)QFA42KM uK !IOƶgy;B*"TH)_AX/#挓O-)(BuPSB5IJ;܉Kىr h9})ܥ`#&@o2ȦcB7[~0@0aFHHҋئ K[ PZ`3:sMEMqQ d|8O, 4F&Lf:Au" iH^aP\VSأ3RnG-Q 7EWElR4ȾP6׸}q4O]tkCڦIu `)Srҳ`o:GtM7oUEeLbrA 䶡990Z>PJ)RNR.Clʼi 2j,1d!|['ޤbЋXoιvE=|_Y}ɿ]$n[Bt- uѫ57E)a=VDaN3rLa "!Aҧu&И gYZ5e20e4fc330cb85a57f929f7cb117d5a4839eed5 8e0e2995f96a56895a191e894bfa553dbe6bd6bf 9d1a345466a108d4a08c3c31e9d6a6384464cadb d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f3973b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 421e6a40d89ce75749fb05e58340105309d27eba ba48cec30d8a7d1d2483fc9e01186bcac8dc2f6a