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  $ $Y) D4 ]S Dynamic_Tables:threads=2elapsed=6.698cpu=13.004gc=0.380factor=1.947zXZִF! ?]ŗXf1-/6vRZaK Zf 0kߵDڞӯl.t>PV6 j:|lFu.|(7W ެ?j@,=l&b$ [k-*kñf;͚KLDyKX`goT( WCF շQ]Mdž /|E6o7Ce,,bw冸ۻ`#~ԗBcZeݎΖ s2u2ݼCv2?d*SrJV*/]_ijŤ< ~]a:* BŽ6 %gܕ@1w&8bQFݡ!w|,}}sZ(e0:$j=A jrc(NI83EcD`@Ye.ӭNtecZgFTsaKs^1wpwM.dMo*.z4,5)u}[s>eL0{ x{y38ך3x{ I/d'W\ 4ǟq'Zt?EPTDEY6`LIeb}$uwI/bRw  ;P[EMO 0É˖]M7%e9M pNmOv$h  ]4 AgYZ51e9739486fb709e0089cb115a26f0db8aad083ad6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e 6382875742cb16fbf2e0f6ae83f777e5f7116fdf ) Dynamic_Tables