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 ##Z3  S/ Impossible_Geometry:threads=2elapsed=9.714cpu=16.956gc=0.504factor=1.757zXZִF! QC]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ+Fƙy38KE!YgC[ mZq&!MlHxJaӛՂoind^ z]"Mt,Q^%g6hVTMFMم})F<%aQjSO2g)~\.1vphgqgz*>{Q7J8wZf)U+0,"%ZutYp:-.Rνbg<ZP𫨺+<8}BNCkep&6Z6Q@ʷ~9IB )K3{V4,mA B&GA;ŖQ>~a3ƝڣUSr(KZk);1{6 ;y$x2p ;1t2 y%B ^gy/0+vM$BU.IOܲ{n`2r6C _=s(|I P&,YMV  VX$OTǼ1M P)_\u1u}$/y3x)[V4㚓N3yށi_ |'nG0D.s(_*P!c2k_vx6.. `R(AE'm00B~i~%g:ʈ>;\5b'/n ]SvD#5/3o45ӵKT>Ϊ*ez̺ &?r(fR 훼eRş20(hJaNC3Xb=-JCahCXZH/zyc}tM5*qn ]9BgTw\L̐ݶGSynuR?qs$Y pz:-l>im@Pߛ`'2cx. 40j+Ѳzd8,/em=uc gN}Goc,=Bc=0$ʺB2WMܖw k\iQmV0Ջ~K%(5ٗxpA? /rgYZ7zXZִF! 8@]ŗXi%s / A6iCv9(e \wo$ɗOb(c[aЯ˜%X(k$2Q1jꆯP ҝ pʪf>Fc N|HtP 9?"uFV8ŪP^o.+Mхw+ U UR<eqtX?,fL mwМAjM&Kާؽ/U>C Nl0k'x߼Jʄo”Q_&JXbt 0R)dd #pa|.}t7."cN!dž_LsBdmWu/`/ yxB8I@'3 & av[y{}i&YlK;fQ58v& ~5s4;K 1Axmիnq;L5ѻ*Ԛ }~Td|ٟ'3L$WT׿,jO8hE.lo'XUC:RY-Ά#isE%rxtt&d2q>#[Ռ EŁ@Zx_*ʺ%a,Jltnۄfƙq36=xB02Y3lȑ]AA>v4Cυ.xO/1-7.Zese1FKj ȇٍs-r9yi&㻘KޤC?!02]~!y6nd.Y/vʼn1Y,P7)ډ!Ȯyz<`/W2̟:_0{mE^ & *δ ,* ͒ǰƺk'V ڠ'{Ig`,x'p5gYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0e9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 3 Impossible_Geometry