SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info o+ dL % Card_Partitions:threads=2elapsed=6.138cpu=10.852gc=0.156factor=1.777zXZ + Card_PartitionsF! ]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB h\_=iҹG%Z[PlX̵& ɥ+2k_7I0eΧWXd+V~^ǓdoET䥰)mMkvKIo~ o4(!D23JX 8ɧ *e{ƫ{E&BQ1~AxvC3~Q7/M˄B|GLM8x#l}K1hcA&9bߙFYS<} 2ca,B=E7rjw^[PBZwܺ]=kq=w!`UfBKқIu*uBqn!Go?Z? d_ h}kY|SN[%^%Q]备V\=^gYZ7zXZִF! ']ŗXi% Ɂ(FM,6. EP 4su6wm_<:7 JP33QુJO5y4B HAk`k:PoX|Uw"?X#VM~꨽ƒYt%Zl2xe2"X*~xfØM) ^%lX*o'ZyxJo\I͍a2d+0gEb\?t:&F ,RUtOEb*ض,N6h I cu]B(a=s-,Ig]YReVAQWt՘L -shl8ǞNE{KDҁrPhUs'S˖"ʦ~b #0!C*LiK@Wz \$y>YYӋ5}/0*[ N8 9"B&juLu[: @~إc-gW7%j`*j8YYl~lC|C2q>My>8ݩ}ߥd 'qpKodI|*N-uVJ`@ҝ^Rf49Z3WhB[JQOQ7gYZ0d04586b7a1c225adf79348f11102727a77409c3 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c 96065b30c9db112cf55bcbe78af20aeee6033380 b3a4e52b308c1891fcabfd74c001324d923b04833b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd a9cd0062621fe801510f55c58d0a2dc9ca763718