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   {+4 SS Card_Partitions:threads=2elapsed=5.340cpu=8.080gc=0.080factor=1.517zXZִF! $]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bE x~D'75zw*zi@zU܏܏Q`:X =C|beJ2[ aJ~ XLםtۥ }ev{XUÕ7 v?jgYZ7zXZִF! %F]ŗXi%6ב 76j( Ҋ!ԿrBYzi?`*_0I@CՄ0n:iZ[iE@{:TE/kq1ܙoc(͕^'DY.FW1SÆho8җW`SgAJ SFXU@=BJAU"lED[q'ߍnDlkGaQг.<ƷE3/ jt}$z#WuP93l/x;>5"XOHͭeUJVŽ$ȬHIM10o18杄Ͼm5;OܑOAu6EVV8%4Q p 3!ˆbC @eBX [0R9Qw4Cn>Y*;qF t_~ %")&9yvzsWne kMO=SW޶`-͔8>R֗`^JgYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 562d636d00a59805c5124949c105325f55960d9c 78ac49fdf85c3de0e4ab96373bea0400a0ec45ef b3a4e52b308c1891fcabfd74c001324d923b0483238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 77e42f3fed58759ab29c9c616df9f8a777f8197c + Card_Partitions