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 33 dl S/ Impossible_Geometry:threads=2elapsed=11.611cpu=17.328gc=0.368factor=1.497zXZִF! ui]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQ@X)oN;os}y2^}Ol~.cnZ -F3#1 |z'D>ax߂1 :-%܉o}hp > S\FUjuPu4HTaرn0VU1ΐWnbJ`% Tg'XD|G6>$V h/9TB_ԧk_7v`ip~lpbPx#Kv+}Cc}fJE'G wD4xgYZ7zXZִF! A]ŗXi%}AևJʔ+{: G'[$4НeV!,^Gc[Qix׫wvV#u0cb28Yt~HiikaEsvەC%[CY ȰKd*[8w6I'b q`O_rJko͑G7(sew=ByYtw:-O/>KcƎ ~(oF)4'C}< oQHnǶ*S>ͷ#V/xbmhQ *s06 XxmfS oFsZp0Ay/ #f _nNbܩ`\&kҩMfZ)#CL;9% JI'3hh~Y ǻyn'.f oQxp)W/@oih%kω "5̺Rk9` 'F yǽt;'qkViO4]f|ZH(MB=:*;bߧ?| V&vZ/4Z\SMàO`5_$W99}-v1r]" SziD`-\?d;bĎO |Hy}:̷ub%卷CV>նh@uӲpRC&'ZLyqI=wHmLp 6Yf])UYB#tpw^%wg ocدF!i1+ >u-gEl([y! p,1k?ܜ_hNIA8Y0mv}iۗ$+"Ͷ;žZR n.,\K~lk;cNDaZ+̼|EgT9b,©M㜥-LxEZ'ܱgYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0e0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 3 Impossible_Geometry