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 |+ |d ]/ Card_Partitions:threads=2elapsed=9.340cpu=17.512gc=0.452factor=1.877zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^IЊo$5,B0FY_I U،~Vud5xSL\##DŸYg5CquUy¿4-tXFGXw;ί5RNPs6KLk]ŦV9I+1kj ~b[<*W>-q:K W2^@g rVzV%oU%ܵE㣞R2'}㗶?R78t=>=~8.jو1Q?{:N'۞@yc ZtB]g|l+#o!)/)ԶMm$D >80dwB6=HAA yQث햝jCHnTV7.%Tls3gҙrd?˞K*uu(fSC*~aUfin|aNd^qy 8 z_c 3ޱgYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML/Cb@e0~M4]JQЉ5癷2, k}U.\|^H"pܼ|L`0ߛ|o@"ۙH+M +۵$mp`(YdՏ`ܯbpTyB]xC`0}H⿴Z|r5SV%6bXva x,i8 ~i:gYZ7zXZִF! <]ŗXi%;Ÿv D7 Y2P荙Y]fNàQ/^y=F,\0#Q{ Ly#"$aʍ0pwљces #m˷%҄ tߓ{Q .u,Nuٺ䃅K3;CmTPW)Ne y.9jFa7;e"Yg{\XlqU.zY$6%ѩhĄcC,e{jjRW iV^%Z<] )&-ҿ7K "'b_݁N8W# l[/FVu|Qcn_VU'}!D/ Ӕ|Jcŋs2a,B$EM*}dHN[Hg[liֆݳadά38b\md(I jШIRɐ?˄ɿ +#}H1' 9v$6[`m"ِ݂d9iaIoNOשP/b46Ze]a*QC'9~=/5ة^v$ީQ%>^ :|Q#6=5 TDHDd:yK- $y*LgYZd7c7ac6c2b8f9fe7b8ae2db18b26889370ee9b9f79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f + Card_Partitions