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 ^3 $ S/ Impossible_Geometry:threads=2elapsed=9.542cpu=16.740gc=0.480factor=1.757zXZִF! Q:]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ๕gq c5NG6pRQjc]na䁐&dPn"hgGA4b Lݨp?4oW Frx'x@슮5^R 9 9Vh`)/;L7oWTx!9(_T2@ m׳;5to/ek(+{zkA/X B*1ћn:2AXKdc,ӑZ ϧw-vE82[WR犔RV sLJy~~#;ן1, .C,ry}9W'ϯ#;r%--_BOW?lTbѧSqT?QBkqS#`ptˡN+'g]rg3@7n+IC+/ t+l_zv'>{b2E-*k]Nu4\Zf_b4p%ۓz :Mg d t =e}>QmPM)|ۆ}t$hLGe%U IX}ADH݁Xr n͂˺Eq1|'W3tAf"xCo06?FQ; PP5TVa;@:W'Ah-_ZCil9pZI=ǟj~n򳑻SP,H5SI!,c 6{nք;t"8u>rygScJ * M (okI [2 Tӏ:?Ɠsˈ:S0J8syi;h)Jx޹i h֯¯*݉#dKSn5|Sjm7;E&92xSC6MbL\H|1~jHPNO,4׵Mq}y'?}x|CݼJ r㮾hqg>QOx˷5+V, &Y4Ua1TȠ~hQ?@g{Q4h.(ƷĐoGH:hڢyg2,FߵEF5PNh\ ׁ|h]ʂmf+޷ځhGP3B*`fa=Ԟ3,(;ykW餘7!P,W zFkgYZ7zXZִF! 8]ŗXi%gv>,^T hi0CWx{2N3ǘ,Ev ۢt,3KJ0U}Y=|Ɩ)@;.4̃c{j4z}?bdzͼ TL|I:Cb4c{`> A5Pt}R9*j&EO"pŒprw?x$^)UV7~ѧ)Ppfm]{,jTY*+3c@=̢_ɋhoj\2u+ڇFbR:%TSOg <]ӆAvRim-u;sH )5(vXP>OԱ/Ze.{6 3s|`hrǵ8gR۽ؐ\92) CsE)i̳I1fDƴn`Yۄ6NQe44S,58JMRuVQm'߆g/l|ǴPuh#r0qG{C 6Ve%*{M( XeEPZ2"hDCau 6'K݁;S,4Y/Oͬ)T`7tu_aSeG'92;6hb,'~-Q(s=ho@ggA4AyIOwΉ-PK~>cX@҆l}[(iJ̸y͑)/  j=JO %@#]h3}nxNY cY9pDEgYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0e572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb 3 Impossible_Geometry