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  Dd ] IOA:threads=6elapsed=7.827cpu=33.196gc=1.396factor=4.247zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K 7]!Ȃޮ^k 堮@BfT۝obGA(nYG(ԴM!޲tFswS{7 ҩO ’.o 7Z9q@ a%ѽ '+z(΁¸gYZ7zXZִF! `]ŗXiɟdN'LvH۹$H@ ~HDUA&#])R:iϟktŧ0^6u|0|@5l}뷉,`h c -ŋYbj朱ʹ[* B(qc.8Djԇw"AzN|x ,mofevT qx&l%(K){鷨/}͔C\;Yd^Mac$]om=.79=ytO`8U^DO_cm&w^:yt7 ~I3\Rqa6EdBEU q ۸? cugYZ7zXZִF! &]ŗXi%> 爻tV7^]+(7/^h{yk`Ddp\5*qԹ!{BY/pP ]|f˜xRڔS\ᥒt73Z>720I*H6Rzg  {S/~T} J^+̩b^ti sȺ 8kS%RQ97 >2*}?-J7&AVκA A 퓼+¶B"4UF'^PQ k$ HXE[h10-VTcZ ˴@:PZ q3o$ 9qk=~bbov`zNÙ3cWyx'stC;qCWkF|Q>O lト&/רI eX= XV~b\b0MHLrUjՉOm1LM'U:&z1qLq h2O$L=}䒵XZq݈DϺ~`p5/%G*JWTLp5o xgP|y;(P"iH '^¢EU79y"1/a U٘i~kQHmpDCMGq&gYZbfa22ab9d166f98aab41e004097bcab9c40dfe3671694b1f2d25d2d9aeaca0f1ab390c835916ace2 24112e61b571a2bcd40de8683c354fe7120c1068 d3094641eb7d8f332c3944f194a4ff9a453bffd7  IOA