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 ") Td S/ FunWithTilings:threads=2elapsed=22.526cpu=43.036gc=0.240factor=1.917zXZִF! ]ŗXf1-/6vRZ#q$-RR s(|CdGe%-?FZDBuM;p䢿.j?3-Ŀ˽!q4qE]՗fz"c@9X} & qIȓTfDJ=NZeأ%B*U9$2[hCypȵ+TK-gv,w_V00yZRÏeto'W!%j/N}7K$S^ &Jdo>͆H E'(uptg #zPi)t<RG=|JLR{3 /e4w(+oMx]ښ2W8ސi?eb,T^J=QHMJRx"9+c;l~] FƼ3+)._mYy(`NGVPnV0ls5q F;e*qCm0u%C``Ɩumʔ^#O$^C( ,/#fӀ&&4(BJj+7uրq,5Y%B$gٹO8|`[dk}_ZxgSXXLīb*B1k8v;(G_Vv6˝q1fQ$6M4pF{*6"h8iq: ́ Ǯ4HVb R@+']cU~a[ ;vgYZ65384518925f4821a3bac1385e15208197b717b8 92998bf5fbe9a3a928a920a635dbd205dde49b3a 929a6bf413193ab3ba47df98e4fa1c70b35c8ed0 a59109d2ca341d125311a74e38b48df10164a052c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 ) FunWithTilings