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  U- 4 c Lambda_Free_RPOs:threads=2elapsed=19.727cpu=35.600gc=1.560factor=1.807zXZִF! l ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:)E(J0|%3X{6m`Y~EDj6] s7 m[Uz %ࢾ-F.Sʚ9yRbKLY g{_ӵZ$Lz1NJ$dA"CƠx ?hW_f~O;>bDpE@;4 0.tlRI{4vM,'r 2AЏ(1bjŞ2CEee8xҺz ssf5U XRVIlNϠPL!Ť׺8UA&R9DsOx+d;h Xj=t{q{zũ5cV㞶-ĶJ}wF_@׷fvF<-qί؄R8:l M[YN,%U{ 7gO;8pbE;6tg'W^,mc0`UxSHgVstD87g*b7~9Z+&x~mJn XR-'E4:9X˰= xEhLȔKe^ARѬӁq-7jqqр0ߺ(tzHfBDEzp" &.)#ߨx_Σr{yz1cS^Ӹ& V4:%UEpOR[>sw]{YJ\0_{0]*:]Ý,<Qۀ 3i)+5|%eĘAh3&(d_ˁO?ňao o.Etu*Oܿ*BPZd?PW]$RCY0 >sHuŲ~pB[:f|;Kn?;\Qli5%D͉;NJ 4˱ y&k\@nk8ǂVJevsdhZ!-tS[O&d'JdZ΅٦L HZ[2&aԚJýaQ0*8',_Gg7TGƨiQ - Lambda_Free_RPOs6e؄9L*?5 *@ŹLHsGv[$kEW'M?+$U J?{ I:nV05rVYR:*7` d EN ʉX7ā5 ׽JNI巡GkZ2迀OʑW^BAʹWɒ% n|nYt ݥ1GV Hd}2%15^G9&8#m$ߣzTW Զm~9-%JGO^%zف+Kcay#os  ʀwLw W yIlfݜbcZ^ VksE싎Hv: aɞe:gAf@h<@O\.)X4bW+^U6%eM= Ĺ] p v/?|;gQ@o ҡk(_Dg*M&KTk5ڕX{͚?&b r#gͺS1]Å,E*5[j i?`31K/]dsVRr6/;T8~q6RJ3 0&Ȋ @޳kolѤL@gnVjL7UNqr>fD+ɼtZW?= EU= ڶG (Js%zہ@%T@(ct&*S[)7xM Yȝ)g&͸r%`l?nT>pXMT*&VQaU F@^ K h ^lf 0Xu# Li@w/h\QݭycVs4ᨁ@t B B tr@LD.omg4 %)u+cyvxcm( Wi]TĠ`!Fy9Ce ˙PqZSjR?4;V#q>}I*A9ު!o3V'3 :kpmq"{kEy3&HdC6?s̅ e2䳛P9 V[S\kV#6X .\?T%tp:cZ|߰abIz1)\1l;/64'#0](M=N啺AfxK"K㮟9zTSsr N0Ϥ1fp;mR1G3Z24o)gYZ7zXZִF! i;]ŗXi%  <U<:i1%] r>;3$dC2BV!߱2j?'ڲKjJ{?s~Ob[͓bOn/^WǘUTZ8 >wjH!Qy(Cdn?')Qg 'k;Z1Ycbcqr\_U\j|XUX(!^-IItF䵨k%LkΕ{Z{<(Ias?jC*x`B.쫞;_$ߔ:8{ ` L(76t hʁR|6 ?˵GIavr^GhE 8; [karBhg59HzD,2Q߯GsBn xSH،1]=l_\Nst`A^mfu-eCSS=`lv꼐C)Zb.f]Yr(3Pֆe(N6>0/鐻XI8`ldon%% ԥmH$X9z Yr;Z֘n|IH0H*ń@BA oYSMAXkYK2l7'e9Dd1['㰧Dl,l907g&k X~ziUo˱Sԏk)nV> Gy.ZfnϓS_gI¯n2]̚9eL$yI.h^&p;CZ~#MFuOKd:/9m^j!Yj4a⊟ g4'~(U7(سI̊ઁfV ]_o.ρ C1i ~,wyK, 6?RN>ʕ4]Gq S52,H0[ƣ=* "±k|ԯ aU14 P$z7xidgy`W$옽RTr~9/f4Si)zlE4 =45f9ĭ@o\r`Φim120HZ@ᾤ<0|0c=e?({5t4Á:LK%J) `$s6#J8nfگ˥!nZ _c1 3kf!EBb˔薲sבf": "+3<6᪶;z/6PUq/Hܨ`$w?e6dfԝ~Fɜ1Cao*ҔRb1}u LXpcfFgz,cUZ:UI<(xuL)UH]A1jpwf0Gv  ֱgYZ147ef2da4898fd7abebef0d9c6fa4e69cfbbe650 1510cfe471334e7a74320669945e2a75245721df 1fdbedad69e7304f0c14df92e53f8429c47faaa3 20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b 47b7a5fe12e0a6da3789fac4e79561006dcbd253 577af747421743018e6d9c79fbcbec9a1ff2305e 5f5e53ac73873d20e2adbf647127b736406425b2 73ba0ed3ea2540211a0a25d3a33ba20c0b635cce 73c669b52ed7f24685c6fd2706ca64b83cdbb042 b6973840ec5c79bd127f8e42932f3ad3309018bc d8b591c052c85b1671e1d7822571568590dc3e35 fbb41d0aa9e7731b95122619e8a4b9eae61c727a9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef