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 s3 |T S/ Impossible_Geometry:threads=2elapsed=12.066cpu=17.836gc=0.476factor=1.487zXZִF! Qw]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQbW*Z-ڙm_-DQ`bzH¥ǠP!pA&/FB_jKGU'ɓ3|HҀ{_%&pDtb,]bo |4wLLTp>A!aGd"6FO mlX`yc!I( ўb +ӟt+мVuq7Pk-= $^hLǣs|vgXoQ➤`_4V6q~gj}gcٵ6@At%nӖfgYZ7zXZִF! C$]ŗXi%6yR@l/?z&9=ch!1<'aȂQx\G,tW_~if텳bQhq00: go`MRG iNט1-g%JؒU—pIYD^_n!(U:X{usj>C8[K2q6aL:;\'2+>SĬO0 UDt8Lٗ>_o؆]1h VBU@`-44;0a2$8[QXӢޓo1=op+x9w 2G$lI@([98O! \s5w: nAVIFGo6v!B!' Oʆ )ŶBTj s&B'@s ٞ=(GS .ׯ6 >)s_Tm>2#B yTU6 -$!K*`ɱ]i'yrO]P|2NS;B}]\#ny$S ~d8뜝/HD/e 7=jm~m<( ]4N@oA0k+&  Sm^Sd l%ki |W>~TivE>D_q팼 pYr*k<Ȫ!ˈ}7+< &D[;R.Yr{iVϥ D*Bh/Ub`-݅oJ"Wԗ3a)CxJ^2'\鳓ќ@%g$s2w8%`D劏͞TƜJ6L̮9½TB1>5$s$-멳zB[6a}RXBUaP?cu_ٹ-a,.Dɳm0*}D$q{FĦcpP2l>t4K6ę})IC70"=fl|/e|O,g~Vj@kskgYZ3367a51e5036112e9f9d7f26561887eb3b01d061 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29e e72eb8dcd6e094f82ae72b2b222799548be40f0ee4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 3 Impossible_Geometry