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  q q 9 DD w Card_Number_Partitions:threads=2elapsed=6.176cpu=11.212gc=0.200factor=1.827zXZִF! ]ŗXf1-/6vRZy_İ<&9sY^ق 2wp\OS;1Q]}VICS K7r -sv R~+ŬķA 'X-$ƚm1ZG;+af)9m)(.6Tؕ ,G, )WFu*?cxOShD9}BeJ2u^"7 _V0>4]2ed1]MOH%EggYZ7zXZִF! ']ŗXi%6yῚק*Ŋ̔H/4La-bO%:C>N+8n_هiDGgsFDAvoeӷ/$smN.F!>|M¤cazpMj©ٜWNqVΤL5H_q A p`emFɘ M0>v+{WS}3Ŗ2YpD!xDq rX9D9߬,i?gvqCOO^/ vtfTB/2pZ.*v,$lc\\<ʥcNkJsÊ~N 4@j1|h>Wh 8.?! w2gÇsSWh̀BAsYHvwU}xYPa4ɏ&Mcۗ71jy!u^(OY~lK X^uvjbOfԅgYZ352fcd7b2fd91fb8f087b863fba8c3715e90f859 60b521d4a49442848d2f203cdf6ba7990c1b8af2 be04bd4097d198048a83936accc0a0b3bb132513 c383796357edabddc47c7627b5fc5d4e2c910a46 d40af53e7a90ebc82ead3f10dd760be13a2f9dc3 db53f23c149dbea6f96962be995a01549beadaef238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 9 Card_Number_Partitions