SQLite format 3@ .  YYQ77Atableisabelle_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, "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 C1 4 + HOL-Metis_Examples:threads=6elapsed=13.830cpu=62.596gc=3.800factor=4.537zXZִF! \]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Y1)LDֈiA%SZ:jyh| Yg0l8:1,愛.6]脣2gXG.'""KKaC%fu+gI}Wc2s9fU+$&6^npX5]uaWhƀ0^.:Y: U*k>QJ–-~o=Xì%7Ƀ ږ^rai nj\H}>qkfU M9NaH 1 HOL-Metis_Examples DD1"gk獱\_ 5RudEےvbԁjs3LcAQ6J;9Z1\URS"rywX[F#Sp8G^<( :ҽ,}Zk ͼY掭|^8#ǔdKQpZeg': gv }hr:ympj%S  U,pzdD%y/Mt< 56ؠ޻kX1Kۥ?+.n5_,-C?S~ͷ=@ "<ғ-u/a*J&&x~Ω J]Wߣ<[eH\6L|j^jFU؞#_THm^d;ߠȪ /?K[{ !"vzB*"B߮wK*(puaȍڹ^zܣ**i쩤K˯cg{>&p8JpUF/W9=3{R{ klUn|b t_vs.n<5*rޮ\hbK:`r8Boa;C ᾸAP7@G\Y d8_z=FL8QIBd{pZcyj5F;3 Č呜B2v=1£biaK_zZLp&5u3iKt'aTpN3bnbxmS'Etjnq1&Tk#M#ii.OQRKsk.w>g 45]kP-@qK_qZb^mskm㹯Yq{E37np"tt/+궪p4%܎~2jb,Σrɱ1΅6?Rd@4C4\pW33T4|uH0 ӴDNfdfWQeZǞ]몄^zH ^{=/F2zX4i_Ԍ0 M ΚwL2/D