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 p9 ld w Card_Number_Partitions:threads=2elapsed=5.748cpu=11.140gc=0.196factor=1.947zXZִF! X*@ۓZZxON]&SFshVI:)S,hY-\S眇S}fyT`1A[RADȬgATĠ3Po\X?)%uit_X0ttVZզD\+ތq6,qu]տ+MV4_V{ )Q} YD-D" n/Y qI!JEG~IىKMKbGfP$mOV$fBd; }Qb1 ?́^̝h|!PuԢNnZм"|cC-KϽ~cF5Ɔ&N)rH#z1X YaMq1A| :{3P漍kn(U$_ _ ?Jz&Qojn0G\d֡[Knx"[c)!Q]hYw;VaaCR;Qr=ܗӤv Vc*=*tBޒ"+zF#p=m퀕緂]X<Zϸ_x|-agYZ7zXZִF! %,]ŗXi%gwG3>)쯸URΙT5K&7yF伃'rW&%C#"TsTMxg*|?}L(b ʴt'@ㅦ]ژM썝Il:bQf{柙KXCbr#??zqK^b%1ۢ?w͙uH4ibW!~3Ŀ|=Jt͏hƦp[imD7ڛbTf܍a=Z,_ e t}vhZL 2 1q ?*o 2:WVZ;;vNɡGxP9%6 /Xީ_FSn |2OdEJU5XՇ Ya`(OYF~.YR0NFs/l99_M4og%@:7=.+epljT A0$[@EU墖Ft6`줍%R3TUi5!JRKd+Gs>L&jD0ej?88g ?)DWڿz_f6c pxmڍ$(KLj* 󚖤90:'ػ:B c>Z&:ԔmC!$I#A33hU~u{ ;^ƣ֍uOX"˾6m9<._6cfoV49i@w9%%=~ ]2 +rq:aq/\Ap2A4g=Ea]r\$NRKQAgYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 7062f6bc3330331442ee719da0d76412d11266f3 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 db53f23c149dbea6f96962be995a01549beadaef572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 9 Card_Number_Partitions