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 u  / FLP:threads=2elapsed=20.125cpu=39.132gc=1.512factor=1.947zXZִF!  FLP ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qmޗ?;]Vv2BeR)d6Q_[jW,+S.oE8Ej r7%hJ {"G>w|gXɂѾwmpհB}solkeLsGn!nߐf;V$# 5+7:&&P"n_A,*ŭ;Y!NwUU-gB8")U@nNBk.mk&fpjlgr8ǁ$ N^χ{Jj2״F#1L!|\kB {-R;%2s iW%rڌDr۪5AmŔULlV|Cowg'- K{$4q uIkeO ލ2 zKjNTjϮ"- bI챮ĻX<$(VB{c,ؿT)&xv:$qPLU>p|1?j\gQ<''?IqW!`ۯp #nP@ND ]!nthgɦ(w`~MJh GBDx$T?.URB _fhD;V?FD1П;!7k('TiHj$@n!6* `̶4Dl} GNEÔA%)BOTd#2158ςMKpqwLU&n)7ˁ"-r!Zvΰ8o쨆qP%r0Gd0GhmKTF[諁;\ .7>\.MF KIjE_êfnRcmd^:SciЏ3uwTrs kï45H FCf-.+whWJɦ4*KS Au`r٧Zyg) > /&sΣ?mhJ?16g)HOm2W‰rD<ڥ_ 9X[ RG<15,,D $weBxKk@ tx[4GO)+cEgK4NRUs ~Цx@$Dȣ Z㐀zw^m5]q{#7DΫj2O/YD nTeHAGĒ2"/C6lζ^c΅uˢ)?5ܨ-<ޱ_]z%%PW 7QF>&d8|j9{: @3jGUS:d Ȣp@I* C@*VNܺ,2(wZ8L1,*q*(JQo 1PVdR+a7aӴP]ztHCc)@*_pQz ; [֫eF*c6n ΌApX3JD?5fɑS :,ڤY Ja$ViiaϤUg&Y=XDCf_"ҎJ*ci~,㜇,ͧbgCzyC Wp$!պct)ۢ(`j^ 1:qרdKM깘F \oJN;&~ C<̦?shͷD?uCgXXfH$nw4%ikGo>*͐l=iW&xq %5-6f(}*MіٱP=\A Gxi{ӛՐ#kwW )nrL>:ba%+ȻZʠ]H gЫqK!Euh)oy iݲyN3  K_t <϶Z"}ߧyV|;DyU}w^?6gI.^"oh9b]tI ʷ|Tu.k`v$AϨ"t/%rא x.Ȭٸ!idX slG$G<}̲O1YueYkr@q]*N"W*Vb/]ū~teԭVl?kvk&sKzX)5qfw# ~.蕛dTvD^`"q1RHlJhEcM @6oq6cLV3ptR3/ [{ܲFiꏧґ:0^9S*%,&U9n؏\}FŜwa4$b̚AK2k)]ժO! 0e~cT5f?`~K;CM75c{|e G)X^^;%4CZWoyqfEcmVjuWc~eY[6[nx߬C(aox(BS9y{O6(`CA]m6[I9mY{|:D%Ih7TCQo+TDK!rXNe7vV]N5rXGf*WB~Ӻb[! Ձ"5|gYZ7zXZִF! g]ŗXi%=pg%F]$=@Na[<@mIH΋q]bX^HEVE;TLH!FZ 4?XW<7P*;SG7X;NOݰ &]&gQ&p.EM k5ZEEuGwqt|ʔRFn6$M oٓDFHQYhVIR>Be8yPXȜiuev?E:cuo ׀ݟXGRwH~g,ɦZVqä5r_MEO!1?/Nn+7hbĤY~Hni`Th",V بqtL2Hx''h>G#O-iV ˽0 A!v:;A #f^%M QM=Z= Y#껔w&0ōNhIת+ K C7WʙzQ:Ci+To#h`uTbp􇼥/;"OL)*K˺V`+ ^m9 Lfˠ6ֈK ~+—;V+矉CߑbִU@no \= r CtG%po^/YLYH'~ (1AُX&mO_W(h% Q^mjj[uRIQ.0c l*|Z7{ԸyLgN*7U%s({G,VyEa%f3J.Шmwa? %\"}gz򟺊po_.:Ho~װ F J^ 7PҌEڏIW++!D4zp|H.xl5fEsð5^| ` h7kb4$j;i%|d)L!f|/8ݴ`~KJ/\~}3X/Ѷ@kɉHͲy7Cmߔ1.3:@f%zi4YבXs[i {Wx{(]$4}*p{\E!W5vIUGS~P#,ϭGGUO?UVEuA쀳5(T̸! \=j<),- ӨpKu03ձ qgYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 f2d58f0580269f174cb133972e014a2a64e1da9b f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa8878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457