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  _ !&O$ XE~vq[)jsvpcUOUeR+gYZ7zXZִF! ]ŗXiɟHR,~OG_lϼⶥxo)ԝ4Xy*ꗗp2"Nx˼OǴ :p<hauVOΉxUMFAyg8^) uKnFi6sz:ò>>:\8A(]Ĭ",6R[ׅؔ?)gYZ7zXZִF! 3]ŗXi%96UE 5jdUū\*i^_wׁ\3g0k^$ ξIQz+G|1$7 sr;1놹~n`=A 1Rkj}} F`ԶzMrtwZ̡X ׳{+$;bй?EЏ=I9V N'Uf15U4W!\LnFf=,Ū552i_#c)ur>%-rS@7mm 7Yٴ;\t9|XAE}e^|xH Q`K}0Za| ),}-SZ wn ?;3(wd ]P ?,RNf2JB#GL #cVS6@dA"UX4$302n)Y[~l~;_iDTc-ׇ";l=2 籚-D;p֡Ej/ípGJgF3]ևnY)]3