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 * $l / Heard_Of:threads=2elapsed=37.736cpu=68.876gc=2.504factor=1.837zXZִF! rK]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`T>02(c xyn-plS=b(Z}ڏ[K AYF(`H0JÏc-ŗw/î ց=XGx;}t@+ })]AQWe/P"מӱFடTق&Q^k Uk1ozfeJ D=i0LMx2 &+edB ķ"@dwj3t5O.eSŽf5L4?'T #mW>k32 a`_,op/ްOsܰU9^d;@s5͗r p/OwLZL&aHh$++Zʢ׺mqfV^#)/4ɱx7(탕ڣx[ { 4yP) @2]:JnpH3,7>2s6`7h%n;WXZ<D"vPQؙZP,NXMmv8 JB JGŽ -WqTyuyrG*pN vspyq n'{WiO4G_M=X34yͿhz?K+9]ߘqiC#5wX, FbY6-烱 \tHavlfpo%C$9TIob. /?'$eF)> Ӄ?Et L4%*GEPn<2x)vn?X0!Ij=> 9gWVt Q%EsP EI3o?5 HI"qm@$of%1ush+3 +V>qc6;nRk.,bCUS AQ U2&<N§im5m6l Cw;Wm؄ex H+U9^^MIHAiYȳy7:9:{dvGgs^m .U e&jzdlO+h [GdT 1mFN*~Y ]hCd 7 T{J ʾ *a,iXtS Z$39R=Ƚ,J~wT~,pL;hmqGLfhc_qUԪABbNK蹙՝|zk-6COcɇr> Z;DlLVZ K".R +x퉺{9w0= [ѽٺ s*Fхr{""x(k5)#cSNWV4Py>"I_>b m X[\9as8 9XY⸣%)`< B 1ߧ1vh %`^gϿõL,l"P=8ܧ]hyNHO1EvafO@ev:W&-C7M5/!좫dk7vJpqK$4W3PsU` X 룉uU0Ju˦GaUK][ŗ#XgKh;\>ÊIie6zZ !wo {ܓT(P?S jڬ 50o-z~ߥaZ){SG6kԉPt#4S^PN~RY!VNIڎ-kGT;?woC*4$8Bh(5(-g!ro+!0.<7?w)9Wn4rȧH҄uDZ )zA`M|;;,Tcl%oLkw|hT.%B<+_nf**J'>[p~Gx>5"?RcFrU景^F'q,Lk>9QB!m)~ t4Y"MY&uʛ38"&EZz<*]rjP Iz4;ZK8VOhىzg%-᢯D7[(6 `NړY 2D+Et3#`6ʗ8*IvҜ艩9\,%v`X {xKI֩l2vd`5)]å<(%y/D6ᖮ1BRb%_i{˺-iSJi{~#sB58kʾɛ!rLҋF 6%t.#{EH "m {a'e6P= o[ي~9Qw<|+1zE]t2yo# ?x3O9qU1䦎'hl[yS]&qS =vsh~r\K~`sF_yޚD , ~HL'F*#qMĭqC@«NVre3Tn62y5M z)yvJCGr`bkqm&qhV8_w*FWu1!O3 T5r(᎓Ʒm4ͼ`.@s|Q'quƵ(1( 0vpWi e4۽݊A$F'J#Հ$ RVrH6%&z|V_ZFu3wR.yz0cLP|A8VbҧUpÛ&O"-莱+=1n_K%9<ijVuLw1HXWFzX(>@{Ū?X>KꑐV64j1}_s>~j`7{S[ѶT'43A :).%j܁{ rdOX?]YV< 4`8F&e}ب 37_=25#J' }ggp83셤;UQL6*|q2bc1")ͷW!Mϫ=ӫp7qAX^Uzݏ Z1Չ:1!f,}(GϜ=؅PCxzxՌn8SCxsR/-1x7<Y}/XRFk#FO{vep6QSܗ3n(aׯ"ۯ~SXE^J)v rA/T2#ZR9G/SG΁_x% ƙx)г$_PqW Ⱦy/1Y 0]rv|v% mx_ܽѡL1k$A'}鉿dFccxM1Nbيu m2yc MI:#}1яyEtn;EVl2$ZgYZ7zXZִF! E ]ŗXi%s[ٷi9ntЌvXIRe54IU$ZV푄V=u i95?:Sq-DU.h1 V9dEQ~ QT|&ztnD;$D/DJ]`XgČ7&P-]\b3/i#_Y9'd[7c|D%Gv!GJd.rFjJٺa~ <x{ko̔u_wmhM4(]F5SceV?`䨌涆J[3 jG]6 &p2=K57Tsw 6.t>@+0YK{1-Lh8"@C("N"J#)K:Kp 0ӳ5v") \[:hn>*s@h`V5d;=%_'F\#%LyoNP1OĬ~$1ԫS 4J6^| Aye{UoS釞!q68rD[2H52uM 7HW}: fub1 B@w +Aͣd9%wb^+J܈WTP