SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 e?\$ ]]HOL-Computational_Algebra:threads=6elapsed=34.789cpu=106.600gc=4.368factor=3.067zXZִF! +l]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(I ]R;j2I{U)% yPV)v7Gb]4tM/Z|wƁ*7KlKkMz6) UgKshZ®u9~!g0368tPIR٥c!C~UVaGP;`O}'TզN1W"Oz[mX9 QTyx4&4UΊ.$z-'pkbX# ? HOL-Computational_Algebra@|-a":=mB'BAt#xGG';,a.-™A7# w4 AdS G ֖!ٵZI Ɵ{kaHX*B!x%x[KIBf`]+tme4w1Wcv&fUN3*'gҏqPUmƙulMR8+:h~{HLiXcʹ^ۗ{ޖr48ꦏ: +A$VgUI{7px އ:S`ԃ4^aBRv PS%Qbʀ:c<I+<6mxbG#ub(Ŀ l|{n),ll*X3YpekSb{2`:ɕ:N,X$(N:l< ЙԪ%"cpbrH7r.FV_ىsrś1D;xQKV>k2c81DBaǢ!90$߼3g:XF :h8ry#{eg6Hq|jS&tٮY0#֥]s2>ٲ`Rk "'EE`v*e$^8m $ۍhZ )`/ߵki1s>ρ5c'0v'n^Œ4SNCdLF`yW:rQLf VAޱgYZ7zXZִF! ]ŗXiɟ1Yk2c&V:.PyNLaM:'h0a˺&g!OE&0ya8'4.pӎnኡ VܟάlT@ZC RFUGWc< 缢]s@ Yڇ1v|%+|2ccATDE.N}D {WPb\͐` 'm\= &#d (d\Ix=2Ւԕ1М PBV9'k)11YlE"vd]+=P2tD >cr4ι?1u;Qh&cD88>շ~;ZhsZ1Ф-$Qb( 5 a~w[ ޗ=#%Ms¨ KAF[KpMN[FK0%cs5Γr#V轸Ɩ=a(O??+N7,+{q-j:.z{xDŽ1o0Zx<ؘc0 ,\M ur +)U%o ؓs @Uٸ1D%n˖  1Vw|Ц-llBl $aM7%P(RZ߾%H:*JR@[MN-$rqfB$7S$B0,$#PfL "a4ûzv[ f:HVyE[.Abc#03< '@K\e1柟1T%Pox ~ո:8X3LqIj*|s0(֤ B܅,=}ykM)%B,6Du̖z`;#/{٥E{聮3 Y*]pnCF$gaC{C.kBZB[KoGAUE|@Ŋ#Bx*B"*lu$ȉF7r\P |ɀaN#a4G zPfgȲPòkà4LeK.-O%LF:iYe{: +B&ቨyHΝ:[P)c8q|%…Mn.;UM[<YBk%g4:lL+~Lps~*'UG8 U;lg{7&m])#gr8zD+ xAUsЂg}/"]gYHK-![}AOz נ5nc!?<-nd6 <9&lawz YwaԜ_ !e)#s  -\.i=!-aQ"Gz/1;f*l0޷+@I<)ʴ@_oK"޳AZin8%> 2QgYZ5b7218087ba3c23bc772f3944bd786c3cda11e2ae0e98f91eaf585f03a7abae8b79b7a2007cafdf6 d1246451ba418ca1d195718ae40514cd22ca9d6d ef3004184019dba9ec559832850c397aa1dbfdc3851d52f249d4e6748fca0ffad58fad420f8b2e38