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 3+ $ m/ SenSocialChoice:threads=2elapsed=19.031cpu=37.512gc=0.732factor=1.977zXZִF! Zm]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR EUVۙ#389ۭ* w$YIZ_#Âm,.{ht?mQ=<+Qb 0ze~?X$݄&&Ӣ%r{(`1 5 &!0,E]d~id̒a~2sJ+;-*[}{Dɉc <vIM$Yj wz Od7~N:t$L>?>;$ݾ9CLﷂʋoYN ',Lm.L=]T չx!D:Z >Pر[?oA06ϫ XDaRޞyصhDyu?\YLUEV\׮DQHI׏t-,1Y|U3d{V LN y>9N?^Wn e&$=yu_06pnJ[#BnMkܳ{Mdz]@:%1ROoþm1Ձ"׸1 [;x:?b8( 7I!#`}_d5,zd\&G0%$i"ciI擇]ر֌Y%! }c Œ@n=4~hemdz+"AE#Yt룆ZEK/ѷV8OurR#L_G+ǿXtfY";P!8L%CU,}f]V \dTirL֧v?N+0}(l{MPk%s2 %B6K >gU,rm`V.I_^"8{/ %A4ԋ E!*he0f =uU7 G@_Ec1( Ul ?jl]ڧ)4Ҏ֢CC 5j a(B6iZ/|cr@z`'sqP~.m73݂I[LBB-mMوp46@&J5Z^{+3^ O>sr]zq J<#Y;G%|mt{@F^ I!fHM J2ts`xU iA#4pUJu`yMFi;L9i!쎀.o\$7ȼAxY hϺ6;3ME."XhD׭$ݮ=Z987^~lB2J]ITd^ 3k,lr|hKoj19Y V2<  P6g=lw[}>Ag UdO3w Y9d1Y;6KD_UmeYx@/F#VK"/y,Dk xbU-V_ÕBt1_\\:l]s̲jD@P$]L7b)``¦^a? Wg ?a,ߞ M<45fK}@1-`iTIR0e K ߋ]űgYZ7zXZִF! gx]ŗXi%B׆1. RdF\t"*E]*H[bLA.5v n/lE5)b;]'n?BUX|c3yw3UkX`7XmS${"\={1#EhcĢѨkd*f|50c7WEXub~v6]g| 'a{sx"qۧY(h-< FK*ͿBOqR?,ݩĮ \Ś#P !A7J32Ub:7B GݞD >5Pt8HO˳GzAIZSN&!t.cUҌ2ceM⥣Jlƾ@'$a ]1|Z.9&}HE't"'~$neȀwe`(߈SFi/epX@m^T5 *=.Ed Mh#U;~gQ]mqV3ԖZXr U&#bW:Q J@R/Dn7Fv܉t]Er^LNH{#ӲzBm,H8}?M6 TqŽ ~y8:d+d1!EJ$iN6z5Eώ6ΈU&%qpcՍ/L#SAe dVn(YnLA`'Qxnýf fe {h JE)L{ sxOu2zH@SߤKVSfωiv7 *3;b>bܹD-lָЮ e;5/p Q@Kvݭ{juu42" ^Plh_[SfGjUU(x;.`,jyM,uL5J)-qZ4U֍MӁ%% K|AՓK(ٸ"$J]͉ctx:CbT4^}ѿ`+\i"Ujz+m;|Qy $OEKL~Hǿ:RIDXljBfP&ڼ *dłԗjBy-hDWRtYs7&/?%ezY9y%aQHc\(6r;#8Re9Oa͸LWAW`e&`UF9o{HyH͚16ompEj@tϓ7 -Rsp-!ywۥX{/Ry| #~Hk/n> 2(ps8y~`0s2tBW 1ln* 6@ g i8gYZ05a06f3ddef7b225269b834a7be4c0c2069565fb 10b1972a0c90bd8bbf55a586c53ec664a27022a0 2028f07189c74e1fedb96a09f47f629122e10add 3e8366e49c7f38f9c28d271592b022632e6a9555 451f33ba83231717536c8ad5edab9d27e21f34c4 6861795d2a3ffc5f9e0482235068f61634116440 6cf8469af468f73785f7d3a24c68536b67bbf316 bbd45405d1239113edc34d91cd09ee42fc664e2d fc8b365e685b24bdf1f0714a47f7443575e6b6b8d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295