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 ;;B3 t| S/ Impossible_Geometry:threads=2elapsed=9.692cpu=17.180gc=0.488factor=1.777zXZִF! Q1]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQAߑd_,:Z@(G8r<ƆiqƬf? 8vT_:Kd6LR2ixJ-P ¹e~ޠrB%zgDXg4%ElϗەE å`TIU0lL? 'en?&K`уTz'syBanr'ᇐO9<_<<鑇"Su;ga8>ÚXG\*^_B`Qvu(fH/jmz;dfH>2?݇PnΞ OzW,bN[C%؈]5bjL-V~\$ޕF}!z7/Ğ4<+eGxG{{ҳsy1TA'MT#9(g'цZ.؛1HҲQ00%7H2&"6zPa+)V")*ܓ~9XJփ⥔-w=?`wZ#;SWiI|"\~|FQ) 8A[aڌJK?ݾoRoU}keݗ!0Xm`VC]o+~Gd[>w@/۽U[iKBdkul2b}_#3"Wj`I?ު0;vKEuUĠ_?fw8r>[M"XߙVdF )Ot+0 Zz _;hl Ļ`b%gm*RE񤑸4D!U Y|E6OOTy7ǦH߷U:!'lAt0 V(drX+Jy/#"K~J`Bo pf7*؍91|#]HEs2X$( I&Z [lTuL?I"L&N!m_H I'@ 5@yŜ8x%XzW )\)J9nvK3(~}0væ&̞fZ)s::b<&L(d%b1=кj9J+?+.}^UQ!\!#H JGCԚ# 2A U@~k:a@Osgc/Hzh/1ƔKFNQNuO~xRhDk1JE:Y{p(NK=n锂5"i&zR5-eKQܩY9p"\ rlt0J0%:۲YǹLJT X/!zیݮbd?U:a܃zScqw‰"] U;}UoPn@zoMoEאd:Z GX@f;G(sg:B&O[Sfq8K>WOjYbY%Vkp4C|gYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0e9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 3 Impossible_Geometry