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  #  ]% VectorSpace:threads=2elapsed=58.590cpu=97.148gc=4.580factor=1.667zXZִF! LD]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nRb)bY[>78eqCac.JMFjp.ŎS_f?#U s.D¢ )ᐓhy4e6C!gFZNch8M4՞X-ǬAų&Gi%(`0G}g{ABWT5~mn= SN~zd1Y9Yq /$^ʌo_->XxZ8)bs+|{PmW*3 .6wp_EgAWw ^. !lZB4̠jv7$X oz+0bxz-{)☝T}/$$>3 vKsg6 :"e7 4azR汀.H:S;W4CTqCt /yA f2 K)q,K.YCsǗEK5PhRAD4ɵZcm&Ƅ=qW9f>Q%AݦkKN/< +dY!v "C]u4;*":ELO|}[3WHi&Fw5Y$xrU)'Q8Td7R?4 |RuI%&+SAJQ%-v*g _:I?Ϣ6<{F 70 $4 `,Zl9AD lZgF$2ɿoK?%ۄ3]ಫj3ßT;9n H>j|OP4H覱4ԿQ8ygdT`}9>Gzp}D=ڊkWwij J݈  Ɓ5Sp`Pb יmϕaQlcr&| %9MO{΄,SL#Ih js^nZ w$ZI~(fRg]π[=:<ﻛ;["TqbG/Et/lHR #ٹv8YY[=5Qo}njm  ^a.*; f%(FŪ|4 |'33 # VectorSpacea#M gQdiKa5q~愺mQFal_hqubjz#xW /o'A 7I*i;j큼M-Om .RA yoH䣖1:ӟ`oCjڥrga@#iҺU&Qs@+N;}>$Ɩӈ{hud8fו`s4^d;&k zjE=ͫQ_?\5 Z QcM/b OHE 6CA} .'|L~Ϲ'W)H}[]wR"^T4&WۜNŅe~dΛH'Zexhu%|:x0( z7"I*X1d J^ C{gYZ7zXZִF! N ]ŗXi%6m3X•}G,Zf|V%>: %WSX]k&ttKy<_9*bAthOi-yEsn(1+aan|ˢx*M0uwRFǒׁsjwTGǷp!Gܚ%Xd `i$yb; br]l`0F,x&ƠR:ݧHQ]O707MFM¡bz +' ܡR{m1Dџ䉲}yko&?/^ KίH.^KBe^fvgG%` q-\+g6޵wLm[L4Y{~,?d 1<0&c_9Uݾj7R(/Q4?ŢklWö_D^zOsֆOd)4c+z|l hvyو?0q cC*&4wy]&G6^I,%+rR69 F7ʴ>fry(ܘԢ6.bHއDΊޣcBەF{%|ˌ%*f0fm]Q&29G+g>Ma"p%f$>O/6ᚕ7.aS˰-$* ;̜}CB ?E>_}|~RSԭEL}Ri~ G&&aD9Dp8~qU~4{ˑȖ^}dx!.B*p$eoF:d|ň"Q HC.:r)?VlEv\h+{jPXĜt,_wn)}ytSzA_&$Wz)Rkh5|#3ɧb!z734!uۀ؇E/h,~3.>qo(ٵq "gOzFtq+ߕKﺠ0V_Fr ɏDgӽe -@ζ̣6J[S anZm(l8r+b{ '7rR9#C*\G+ q‡]sx,;f9\G[ ܩ#< aWa1^9յmQ ^>cV[%Ͳ}a4,q+3+W2HeWkGp87]ߦ=xԃ>ʼn@Ij_NDC PvSqBQ PK΅inz@pK3:gmsH"dq!o$..S+zzK=J̩,hᣍDq G͟H{㊵c:&[ym>V)-Pg3,4Ewy;r7geવy(p y"K%W0{sVwĈ1 Hm2$&uMꂝ˶"EUw"O]:Q}MUvN5'-CP/ij|i#N4Fk}?-mҾ#>''Mo 4Ϻp78X=퇂YA1\Itv6.?]Yy8g&Tg_Agn}Cy)|m@ۼI58Rhĩ|UA!+эd432uPH USnĖHX!0[g-By3WGG|4 ̩/;H'?Dh'1[]!MD(q7F'1WĽ|p\iVMB _7oC 'f0CyrMձ=J%l 9 A*\hجдe&dFm~m+p٤zeItFgLo rG/ƖԛX>e>[ RfM86dC:h ,皸Wh x7fޓK JQOwo3j |y_YB= >V{)j5 hfDkEC -F)=etvK߭aFy[}1vCo1QÚ@9W0s(84m}_ \^XU&8 $PvieFwri,hN2XiQv<W5bKq[j,]2ٗ=ڡ Q@ӴT -פd ׆b2JT9,mE}Tu4T._0aט#hϰB͔gYZ22c7cd8944325778f99ab337ff284eb04e7815bf72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 8e5e5d5cfa70858ff1895eb50ef8214eb9d9ec28 799e17e0602b8a57e51c22711081aa85bbe0ad29 26957b508b4baf71538764af93c1fb38ff3317af