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 ''29 ,d ; Decreasing-Diagrams-II:threads=2elapsed=37.075cpu=63.664gc=2.604factor=1.727zXZִF! M]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:) {pdȃ9|EF8p^ZTp-$%H{Xv'Ҫ|:~}J91m_6Pqˢ|Sc Aa$|B.8ƾ{P{^JJKޓibS%ZIj#>WT5R#?|{CS* nH {Ѽi޽j0 ˋ%P-iفRD&X8Qv"PS 8{ GWw2+HQ8zcO*|d{W&斤TnOCG# ~Z-U9 )9EisO `9CKu=~ef<[EIC/+?xi+!VWϸ7:5E]VR 1"Ssa'}>nff[ Ļ@:Zط6lM*rvM5Z.'s5& ƁP0e\*6tAA~OT<9"0`5L?X |Rbv61z|%r)Ure8gh;ns}4ƾ_ڎJc ׎\u#G@ӝph7"~R%fh)= 3N4|)5~Bb-A``2٘k?P(=0lmސ_5W&-L,#/ LnZ3ҳS գ@JÒiv[g ][,4,FyZ'Y~F ϙYˋh% ZKo8^K5 +h,~ EQ`"1c ӢAM!>  fxI>8EHqK8ئ8iq'O)xz{$Š=srZ;y0ϧnIckt跇ߕ 2"Byw-y!{d4\i-{Icj\`Ŋ M1a8e.UGy%}v@v6zX>CQPN@$ni-s~cզ0 *ȥPr: jTOa dC^".W*KmnC֭@ *4Ss,(HRHt)WEJ:Ʒj Q t{IW4uWM0郝ʯP,z4vJs`Ȝ9_hEQyb8NbR@V U0ҕlLC&{9m{l&Q붻ĭ -sXR= *PQ2Ri4Ԣ/; i7FaCeg~LhKA4.zRQDiD}J6m( /im ]Eƈo.&SB˦-sMUKA dlA,emʤenTsm|ޭ* Vnu _.ItwW%ixōk:j.ņ6̓]S f aU+GeRvz{ ر>F u~2|4a3ڡ΋ea<7G:̐>f tvt'ChaM~aBLz.hIQ,}g˾tzp fhi`ꋸ?!7bQdE/ hb[A4f$cS4_QD 8$5'!7r,R9,Ǽ׃iS>!<vhUl-Y0U!ޛr(6dQrn3ʝ R~(;5ߘeWnF:͈w1Y[{ԯ^)bxDI:{x5厳s{b `h|t֌3hH)*(¾ԯ`5|UEsFsW`MqQtqT0wSyQOvx~F?)a>J?6GCVk;grȣ=$Yt2T(^8lKv!heqSgk@\_$ky6!TcliaT+U^^&_{l間5 \ff;0-"KWH%] =<ѲoN̐K>D >׮^χRŠ+=3Z">C'B|q??k=`fkhN{. F*r*Z*=EI~^z=۹)<2N=OJ.kn! %4Fukf]G1!zҩi؀)7 @G 2L}@\]|;$8bi׍˖? /Λ$x)yZkݬD5D exFYvmdܛp/,zBX?0mc2 a],( )*yǮcȹţQ+b(/d$/ߗw]mJ0=iW7DZRq1FjJ ^q=\ue5X+]včO,=gv00[Z,lH'w1;XH75nk[dpE}Z~>G^ds͛#xAiEk"9D'GV!la3:2aN$y!ddFFٽ-};ңp5nI:-em^mk)4'q&1(W30݇L|OT Fi`s @[GzP@msz E56@i^ ZĮ3CSOvP@Jl1= "->orM+MS@{رU= Snlʫ^ )s`Zzh; H)D7Tl.v"q \!GVjM^#,z8^WqY{ b9v'ٚ 3* 0JH-aZ篏?# q=*1cIW2C5vv,Biy.%]FoY uH|U mh=. ZîZk/+5&mf~={Q!TЃх}29]EY >m$¿*#fEh族ن]z:lRxF:AH@jU .ڶjT-)XtJtzmGt].Җwd$ 3jpg-#7̽9LSFī0i9` /˩E߰U]\c啮p2j+tj(ujzѷQ'gϸ'Kd/{7&pїN=6Bw֙\%];Jpij=8%f7~LkYfѶjeyU!Yރy<0yex- l404e IVX7ֺJ{|1 , ӹLʬH X *.ki4Sv)ӊTjOH$AGx%&Sb1>;\P ``uD"%_V9ehT&ܥ,gYZ7zXZִF! ,]ŗXi%<;?ꕷA⚼|EH@P)A/]R]NGtwQPּAH?豲MC']Y9hfROJ%7;ܙt*q粪$ͧ `U+ BOhDuF]E5$/ ;7? j*6(KI*/b{薏U ;~ ??sg*Xrirxn Cq 4j6# $B]%vY҃^׉U^1 y\G?G̙Lp><%X/J] vv/{OO|B_g*v*8WTߢ ?`۬|P`}הuʂeT],ٸ R_ x4du,t#%-F"AaA<"pW7+3902_/z) QIdLf1A94+zz8Ov;[a@@e5XW| +о0_CS p3 \'L<'=]Rd- :j5Zi0ڜc@2:OUD΁qź2ӭR&W|2|8 vp"2kuqR d~kK@ͼf5ᚼ{[STzYhwfpϚJ/cig߻ p+1\HT  Ajj^ A:Z~S;FoG(,YUx5yPJ'8rxNC %^(ϼY ֞%\bW+k;8%.j6Sz7ٶCsLY'n}xYo6nu7Uגhn둣Rӟ(1^ 揇‘8}뀯\뉷'/2NwS#b\ԃVuu;DK=sqgTCsFm_vY/4 {mOC` % mr]z`eMY@3%$\ ~l!G4ԩdu̇?A& }#w qPdINaBVwWxh҄z{xw4kl%u^L$JU"m nOT>aKR.4rQkNٸ*^ef.D}ہ؇KNʮtvcpn#BLtQvL ("< TS8t.|fcpŽGVg;C2B3G0aNo \%ÞЃjh+ytڍ.@gz$$ VکG'PmhFשaܣ Я?2˚fo1,ȩWᆷ7/+!EIo:֛?EO%ӝl܈VӿdL$q%ފhPIxgmPۿ/+'G"_ )cHoC?<84JH/=jkE6sAD!$iōƇ0](,$#V]ރj $QF5ys[3