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   g+ SS Card_Partitions:threads=2elapsed=5.466cpu=8.252gc=0.120factor=1.517zXZִF! %]ŗXf1-/6vRZy_ĹXXVm^ dh۷n)_u`Eitw|&bE :(~D'I?JwGS˰U ΈCO>kZ- GE m){s% a(b+=w !yIDLڼQ)^|ĝ_ BO xgYZ7zXZִF! #]ŗXi%6˻hG1w* dО4fhK #۫L1kK a7Gkf cbє476hNZr)ytV#1,f"LiB)'x>A>cbUq/sH@)F7E8ԙT~Eukr#;<}eg?l%?#C!~]#ͬ$F )Eqgi&iAmr e}8Iptrw-MDEpP7A܂#iLQno^)TYϹuqcl\|He e[-6z]M+l"Ciz ۇ +u _Vȹ@'ݥkl1"W@Y{Àlr% `o0LD ~ 4u?"yutqoHpbP)L:#٥V'oF+q[2+#?ۧ>OJGlw=] 6k#?WCI9\}Qy JDUs -wQ 3xwfsO%S)~O~`Gɴ-b1䒦T<כ+@MaL3|qPEn9R #:Se] ӋF>W=hJV+\> )fn.,N1!DXgFt4ѱgYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c b3a4e52b308c1891fcabfd74c001324d923b0483554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 ab2b7dec1640100380f3627485d934333cba5c51 + Card_Partitions