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   q) lD ]]Kleene_Algebra:threads=2elapsed=49.094cpu=82.236gc=3.916factor=1.687zXZִF! > ]ŗXf1-/6vRZcm#kƣOw C/팪¼;o{'&:&mAx_׊OUx <yz]V~tniyV 9\ʩDȚҵz HD*m6o. ԛF-I~, {$[|JDM$9dhyYf/&)upEhjvuIv’%1 0 3d/51F!8!S܂fe:y+bic.:]:)}:qODwk~/S7r~3AJY)XIF?S,>Z~#%!No>R37Kd"f^Qy]s2ż\nc/xOˑ"\<'nYF?+RJh${ҍ/jZl:z-MU׋τEwmNCV&dhpL#}R2Z`˓=XVǿq}-=|fwJ Qlxao77*wiq_D 6L}}%sřSlՆ:W sh `a G I߭ajqFŐ4Vx֮[J[f~\PzByGZ pyNkqKAʡSYr`d0 ) Kleene_Algebra j6>H 6RD<$կ,Rs}U 8_cX2&dK^XDo56H<9lk{qoEZIEd-vM["lh' EJp=&7e&M'3HqCj&W,P]M1F{V"$DqCˮ D\MP~kq@>zlh*,+ w 6z`d00tvW%|R>R{J]&_}Jֽ2%N,<.8)ekԠ-Bn<mzr d#HK;^YƔN`'>Aqp]}mtq5`Q Pe\z!d=Eg<$Zw Hsj0˄ !(î-0.fw,m(!W"0u¾N=~X~s3]ɡTYWNn&{MU/zsQ0iJiQ4pdq1ӎ& Yp mNXL{  UeT 1:>wH6eO{k^l)7f~0[.4ȉwF2(ܩ+r38's/-LU( Ym mH|; :pX}'@)ƴ*Kf͵e%Nz^g|lfJTko"Htu" 16Y?oxρl* JTS*P}zዎޕq1̿6-ZUǚB^E!XYVmitobq*YWT\ir(x:JPZ5q`>Wɞ8I6etʣJe|Z"8Syv&$|MT8nA~'׹uFSrqq܁t]i mQAka[7;w.h:?d[F Q'?[<ݼMT .􇬼h bt-.{BM|'gG|moG3`ZU2Wq"zMӥv|+¹S8waW1uD\vmJe2qG>]D5k i# 聓a]Zfg9r|QߖÓ1!A-ا'iM^G@Vv%u: ЭSmւ!thނ{fM+