SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info S+ r%I {'( ZmUU 6e> FĊ_DBgXSf`/.I}Jf*zv"UЖxC .QTG1H]{hVT\Y'X:_ĂG?SYPkRʺ1$1k3ϺB 33[b_qFs͓E D TkuPne>!5Oq Մ N]NWJ>0*|}]G`1e4z9lK ,߿ 1Gy,8TOkƜr्OINVH&rr !8W)yk?#zk0Ǝ=a%bO9#Xۺ'7 i8F*7<sT겂|53ECfW58[~Kgdq!ʋ8c:sd y[1"FLzT5YHi阸a !|!؎}8cG_; eޢRzrxLqk-<`_>Żhͳ1n ~јMЅ WY{6Xʳm;Be%OR"kw}'Ķ W4~E*mыf-Î抮wj&_/vsw÷ 4αv4nD @<̠Uф b9^SQu:/Z˺Ih~!ʶ:dBIi1t:wyXםUȋ>bDu=cÙhKS2z~rJ-iF;r̋la/zĝ^>^欔=~&zL8rtF.qѱgYZ7zXZִF! z][]ŗXi%R k:c}bak(>7]‾FܵFb7f"s3IU=VO5,]$gmkx-W6H!C #F4/5Azְ,إ_!9&b6* nHɱF< OV/$K6F^|MB K=fc?f˥Sn َx5⋰g8xUo-'Ϙp,)7 ɂİaH])Q%MgϏ5ݼ _41!r1@Hw9Ӻ }|p*o`̝6-3NvYoeaIzu(*FjxS7VPF5虠uah354Rw uoO ,q5 3ϫ/Õ3Qc6eyV)8W{l(Q, J-ՠvbP+d_kSYpm0fswd?yCLe_!> )*b.7&Dߡ"a yO!2zlo!FBZzsA dO緫{zTRM6:mfz¹['>$/T<wdܟ02P\pn)֢q0ClM6|f:VMcmx|*tGr F[jYsx~o_uB.2('I6A-xZ~Q̄V,lBSi~޾PAwn&)a\h3qI> &ީ5 սN`ZD,܃$U'Hqu_nh;s! *jGW#k,ٝA=-|Kܝ_.;NPț*UOP nb2ai0)