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  & &W+l SS Card_Partitions:threads=2elapsed=5.418cpu=8.200gc=0.104factor=1.517zXZִF! %]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bEO# 1Wfeю}٤N!r܆Ap#jL!ef8H 3c/>qin +XNk{Y~ JjoÐY>MTw`)b#V xgYZ7zXZִF! #]ŗXi%cx/HvOty_@[U?.Ƃh "PGzX$u;84ϴ>umR?mv?&gޮ)nӤ\n7ؗe Xg깟V8Ipˡ 6ol4yVT9}-.O+{TX':Й?{:"U8#qa*RxN?{GZ7ܑm]5q_&jPE",y$Ej;SwH%pJ䓸Cwp /ɺQҵ9+~?jNv,ۊK"$C$XUǃ/Gs.C眚ZB) ExYSōmrT@VS5:6Qo:V kn%f몒sAZD0@ YD)1Wj 1.못(; {ۖGS5q#Di۹9& >cfGVuSuõ1a׉~deۈ*i͏Spae\ 1q!Onj{vET /#p5r=}eI1y.K6J8|u6t6c&XVt+rTllZ:kEÀ,AWfz}ʮ>@'9£)NI V&@ ZjwgNYFBgYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c b3a4e52b308c1891fcabfd74c001324d923b0483735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 2efc0dccc56cc34050cb52218a49885e291cfcd7 + Card_Partitions