SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 P3 d ]/ Impossible_Geometry:threads=2elapsed=9.640cpu=15.780gc=0.416factor=1.647zXZִF! >]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jh69yLb &n:ohͼ)H`MM('J6~VBJi; '"IOXOUNg\Uh}YZ7zXZִF! @,]ŗXi%;w70PX,v%^dAvĘ%ŰEݰOa4ʩ&ک>pT8{"X<ҜIh4 43y=,xbZa?uXBLpԱB/rk Hc7~>y>'$ZqfV[%Ht}}1M<ҨgĐxqiMX"줬f`b#fpx (YyZk75ܣz2T|lͦ w7|dhge}Ry^$F !tߣY_=C]>Տ0ug+]eT#0qg=QS2taQC?{3O:"B2 >wpլCNkƘi05}oϵJOY{0x},5&"lN7 !YYЗ.jt cgć6sBE.(>Kt3Gsw!JAo2,MMbS:qsXzd:<t'7I|G ֩+%4+htT7( > A!Qr[f![R;LToQ$.hpIP.r*F̗Ȅ2j(Ku,Mkc=wTH:(TVjJ/1/?YC `ş6EɊ BR昻esYC5?a`J/C ":ثD1(u)[u{GCWvA>ԭ \/ůgYZbc64c464790379716daecefa5a1269fab1e38bba9667212091580fa4c30a7b10e6591774082fff36 af6044d1ba548f70bd68d24705f8ed6fb4aba65c 3 Impossible_Geometry