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 &- d< ]/ ZF-Constructible:threads=2elapsed=16.190cpu=30.720gc=5.640factor=1.907zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}όcr15@43jVQ|͇  M.tiNhQᅫ>4E~ -3gAKr^}6Vtfti\]/`^=}LeH׃Wn{M@|ƷU_TzItࠥkrIEœd){Չf˩%F6K=.f4^srd5‰}%^)ח\>V5^]Eͮ{u3ֳ͑\2U~ժQ^Y nWh2? 6(LH ԭxc㼁1 IOq(Ah }K>كlooD–T gYZ7zXZִF! ^uV]ŗXi%97B|]@2u(;P&:)=mԭTs,Hk֚ =ВΛ['_τ)'`nMXi3˻7%]<yH#ey+(iIC`|Ʊ<<Ku3a>6 5il5(NB4/%r7D`5~6 EN߁"~aJza  ruO\,)Z9z2|wf1?[[ Ǒ q?%0߇ϧWM'mz{ZR;;!B$zqCb JY}wA  #v6we2oGNyH4Co|Ӝ{Y(MnמV.8!iipAx`zHZrv/Ed|6W>,5)X̎\m\ΜB@U\ye]Jv` VN)9bm ('4L0@p@z4^u\OY7emdYGM .6erK.4m5\QG\y. ]ӭUl =- -鶜c bbih"lbx"MtS\wE,3Kb9bx*YL0ض=lgrK*ez̅!_dj~fK6Rs&U+ غH W2is1ĘQX  gYZ379060f2914cfd5fd825eaab97e5fba6d196db1e98dd477b080148668828b0f67c6e8a1d9708b3f3 2bd24ce6076c349b4ed706e0100c71124252a530 - ZF-Constructible