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 [[" L m HyperCTL:threads=2elapsed=16.277cpu=28.528gc=1.524factor=1.757zXZִF! ]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJI M!óc X@:Ϳa\e9AٞE(F1Ec85G2z8F;mi|ɝe{R.! AU[D8@A-@z?W8W~2/`\={y7}'R .TɱgYZ7zXZִF! T]ŗXi%6˻hԔ4hG+it:~+Cك~~} Ò6Ih*5 bhJꁥk3l,|6@-߰+({]Lh3"-)P*G-quח׳>@ڞװtGDۧ6! ϯ&bdA!wwjզ _q5lE*+!L釰͔uNΙ0w#1̨ci9W yT0,S3,5ܑuLӯyw+WV3m3B]mshPt=3M[*VQ*xlW4biQ1h" Um"Q5E]@Z!@ZWpd'A+U2EVxGCt@s!`1 l"gYZ085a79689514cae4b54ff7d38af148e3f9998070 24930768d36bc0a331697257252ae34202f81f2a 383f905173f174089090ecd177669a4776a25676 3a789a05a2dc9933bd074691cbf66c0acacbbdf5 55cf8cb8aaf918014eb60dc38d9879f43b9a808b 6ec780e2b27c1c30f138f7aa5809b0d84a535011 b3041b9d145e1bf75cafc18ad7ababb2b2798630 c27a7b0460c005f5daac95cf8a605b2342071d57 d45b2185175f77027946daa706988c766cbc243a554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67   HyperCTL