SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  M M0 T ]/ CofGroups:threads=2elapsed=1.362cpu=2.388gc=0.000factor=1.757zXZִF! c]ŗXiɟ1˦r~KunύNN{vd#x,䇦#Z&)'gYE; 6r&B5nmp:Z Phlgf#\% a&q] 6NO:1d,7%ڛ1!X: KC@\ZGr~jQD$FY |2?¡C%2rܲ]G k`|u_h4X Ƃ&'; yumE \[JgY(Aَ7'Bߋ'̟S+: KC2p`幷En_%~/8PY5A" [,, >=EB[BE=cU&>1m?*1zvwG2aY]vSp@j!KjqU燀cEWVlJcèAnJn^FZ1cf;Ho04>ȔFDPvy ͼ\?pã|\ɞP!}|VC"NGl˱-d-agYZf970a6252b0c25ac868295cb1df61ed51790a533d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615   CofGroups