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  t< s/]HOL-Word:threads=6elapsed=8.828cpu=38.020gc=1.252factor=4.317zXZִF!   HOL-Word Ą]ŗXf1-q恈e*['"E 5HDPz' ^7@S_XFm9VCn 2׺^\؛Y-,X UyL㥅 &>ˠjs~挺qr̪6IKb9׳BYL\%nl^NeUzl䀴-ot&;2ފsks EccF3݉!HA+@֪++ GyT;%:~/⮊o0$VjkBY(a8l> 7&36n\z6.u;)n!r-!|c"?9cDLRq`~NnOGE>fu{j#ͥ9R}~' ìU4;#Au͈jkb'4c=ŵl cpkt!_@P#uc&)\yv k^B +.K9:y%)RfxՆ,eegO3#Qq]iOPoV3pS7ڴ++5!f Ď;.ۼH'9>7^M6CxzmTu Y7Ճ<8sJfzW-?:)LrxZi<ݪlLp S~K.]$*!꿃My7]6qf-d6VdiѥqpM(35^퉿ӿlnP]paR~xl\U2Ɨep-g`D)tB+6 #w|6y*KV>+6'Nu4fW#vY5Ssg0qpJfu7>yWK7d_)Dc9]onA5"_!3}\ǎ X<|wnE&86xnq8b~[GwA[q ߺP ]1dm֫5d:lnCmš\|Z ؄뮵ưZv.DjHCDeb*ɌAnhg&+y&o>,Loi7L @ nNs9cb Hl%th1Lk.AU :6Qމs8TY@qX1]j #R5Hpju,,n}mcHY"cxa@nd cv˄)D",+n@En!1fy=B|fCq QD9'ye:%8b Ygٲo ?c Ҫ5hCɮ]OZlmm$–nk_>^S/yp۟ls\bQ]蓷ؤo!ZWTkOtJF$'?.':592F–VAbiѿ{ķHJY|OQ@c,:reOJ׊V @HF[TKܮ/7=eY67?ͣ\92pU70&ʇ|U jw+;+ǖCy& ;zsK{S@ YrsP (vNY"QG΄_(jWV=# 1$_׈(_$+1(FUf?~<- |}qme m>FWQ = Z xk 0zJqzl+Y a&:-S 똦[o/ר}2լEfj3_Ulnu8.X~X^#&_cJb N"ÓdS TJ.!0xUw*KjJ|n'GB&r֠Ϭ IzagKٱ㓱?9q?]" Gcީᘯr}ҿxtV^'_Lcd!s`as~s+㖪ܳ][SKYD~Kı&m6x-l6 GK6u:kzTv Fl&)`)џ,Ҏ5JpgO up*?{AꊩU/vtǾ8n+0Mm(g(T/3ٹŐ 4h)\G`&e\Q sv43kSJhM`O ҀO!,|e$W n.VC_y]`DH揝`>#70`ȶWW)~Rv<WNɸ2qR=}3pypX!s V=.ܘ]a&`2NP{fadrPӨПnIg{ي 6uUI:RXr;Pm0"HܹКz MzjPU*nM(osP;Yֹ7 ]Uܟ$| J^Ҷ+w|m(-+ fȯ/GG3#e਷zD.ӥԂ'2A`7fي'YnX]k{NCwD ogڻumb1#7oѣ H2g/'/xtmΏt¬[.aCfRpSHKQo?}*>6طc(;1J [@4lxOk#ܨb(C2>&:O|A UmSq"{eS^f@vC8 R9̖Vtq{;EC C!$=CtBNM;='8kOG~)C `qSELLnr?ik>il01] ֌"RxBt@zQF:vؤEopZlݎ~9(  _"~hGyjx]3 GFe|uA;G:5Kk3Of;uC^KBT Ek2w\e&J蝼ۗ'F{M('@Px~hpZ᷏ Ry2gXad3->\.{IAն|P AA*6XQBLojmjcC5NU7W{g3,Y!@p.\$D"[Ӡq͓;h^e>{߽.L0u5UQYUQcl#Z+zn 5xO$YԞW}8sIKtH[#UXKHH9qIyT v@;z Q00 {H=$3c N"ђcXJ^O`{J3}@-v7 R=1#VD1پš5IeƯmɣ‡< ATet[`;ӪUEq?^A`"oǢY^.Uaf^p!B.D(8"F\h6H]0,?:'yIM2d Xm4@9}\hgO\y.S;rvbp3[Jm>0_uE'dGpo(!ݓgYZ7zXZִF ! ,]ŗXi%NxA*31Tqi $ƼO5fMbo48emCZ Rػ §&o0Dh~VU/w²}n=Q ;Eu24)?P.=pcԡZk'Gc4+?H^Uߛc#*ΑnQӆ6*qb (݆.n?3 нFaQ6J,ozs:_$YtyںC}F"Vo{AFݢB f ~ϻsw.-5F=HAxkiijŵDR3gypnZ_OI;rcU7G7j}[ai 5qK6`qm3{E,.-{h㖺^_I?1]V?bڕ&~M/ sΥ[4]F] zv*"?sUNBZ$$y5>4\c]'H:l9x1×| 0cNEi55bM xZGmW{9!BP= Ǧ#J8 *Ѓ`Pm'"86 bsh2 @& t9i½Mv6GKSrI-lSyїýҸk@,/ DSY8PKH/*XN'ׄuxMσ>v2ωH>CDD2+=[v3I!Eժ}(XC0D䆵c%;s] BN*])%`wzG}CxeՉ!iiKY3~U bJ{~րh h