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 a?<, ]]HOL-Computational_Algebra:threads=6elapsed=33.836cpu=103.024gc=4.264factor=3.047zXZִF! *z]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AdN &>-ZnUwl?8?>Kb7ewgcXI99cNV9m9f"#acqB:.0q1eJZu,˖H)~ÁCBrpbZB'@9lRP,`N-g Қ:;G fRpRUb."_a`zJHvAxf v=k ? HOL-Computational_AlgebrajB@]pj5ۛS W/"IW%k JG; ߎ:Fwؾ/u԰qh y!_Sc+”L.y\o ?Y*\غD)>DyX {uQ>тtCj2zbt'-ZM/ä"ܾ}j<3O fsg"? (c&y""SbH7&:Lr,/}ВC˝we̢zKO z?|Rs#OŘfį"=͛Be9!`D Â7 m`j:>v}Cb9>njZq3 8kNրf]t5m6#X",#.kp.iS2vt_*8d^ ȓzb-.JxN:n:J+Hb*8zN/?r-LN!$vxKȾdsٌ k7sD2 fծW=y+p"VSyv}oiOBq4]6;/E' 풃R⅟wc|c7;.@?"/I &[CNaDũNk*Q{H\m1=N9$"+7r`[_x'i>-u(h :KSg6sqvs|πw'44b.ɋeV[7UUGoGnE1):qd,l}:4>=  TgYZ7zXZִF! ]ŗXiɟ1lն W*tUA5Yp֏uȞɛ#w-~|G6Iug(_5ʣ@&M9KŞZoW4ba_TZP+\OU49 \MBXpϯub~=U66ƓTǙ%֜R<XVMnv(9޽ytke1xCPTV$vcϿGC!Si{JHo>xF%w.]ϗp^8k Zsd2 D"I~"£?}6 zgYZ7zXZִF! ]ŗXi%7JJK$dLJ<҂Y=ktAbaiEEv6k=?y)&\GskYN>d[㙤;&cTLr{S bĠ7]0 /51U)cɶȓ'>dhE4 s+k;38=bA61qKhY0&Aq"HҨd=;4G]s{/>I|)%u Q4ںgUJ(!t)L.rGr!hc+;5̰8\1 ;pX/V-4~PW/w.}S;} r%94e)Jak8X t>0z9ęcl"6>ReލAۆCZUe.[顮T~DZ6ƍAT`r̤zs\V:"@Ջb}>gqrj}ıʩc\HS5,l-jI@p{hךW?!LĵAF.g $%i1+"~;LL!п+)DX%).=[YI^C-@y8=2vi}=V|rbO옹tz#?Ц,l*,Utnky J;$*xv^p)b,ȤEdvK[Zccu|NOyel)̷W6.Ġ27F̔853s|1P-BEx-(oPDJPJn'8lpV ɎKP0K N߻t9|}U$kOĤ]|rlKB9t Zџa.6>0=G>`t&5vU*QzHoɣs8rD/X`LTI*8A&F{ cg&SPjiжvوuF ۤ4?g񹒻V,IB9z+#ϐbie#~ŭzڱl@lעi3+.qx##}\B?W;C.ԘoJ|9@ W˕Ϣ\FI?eZ>h}G"Z|Nͨ-|HIG*,PdKDŦ[M  DXE~>qg7\4&8 8[ ,HY*8Zɽ@gYZ3cd0f8f161e62fdc24fde857f9a176eb8b3295418f0f23b1ee8368666f183b49cf0e04597c11b03b 51aaedb747ba6214463c72ede31cf3271ddeb463 d78ba66e93e890729f45436e57b003a4582e2c4b71a75d989f301506057bf54a322c0503cb92477b