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 SS* LtL ]/]CRDT:threads=2elapsed=23.075cpu=42.780gc=2.388factor=1.857zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uwk.ʧV[ڈlF 3Ԁ&q@w۟HVoQ3GցKJ@>d֔ *@PcH?(YU[yAdE:S&*a%S;ߢ ( >=ڳQYĢGLB0mAka+kF9.q #SPdH2|X{LQw6?#$ {$1 VBum-peVQ.ͩR'zz+8ftP(CDPU"sQ`@y9fID|jlFd$(y .5rngYZ7zXZִF! }]ŗXi%>gj#%Z!L k^03ؽ]]J '"@只ܮG)ѹ ]qo6..AvWW=ρC,\@n}9ixw q^ԣH.G8N Y!'wVk,(@r{w.LK\tiςlʸXe[% srPϨ@z\AݬGRv{p2vW+FHcAjC$t6:MݿړEṯL͘zw  Q,R)>& CWgE 85OR챪}Xr/l܋ΡxQu`'ALDBoAxYM5KԼ{Q?Y-ZM7溃WuEM +:l b!3X͕X~0@PWzdhP9eMsdsٷZiu.)leqohp)Tlp:d=Y<Ǥ')վhficLON9o:s{U0` elI4?vV+HAn9ĸuҊBwMۦ>\"73G1aGVZ):h-oa;Ҳ зbeDQ9Y>mN/ 0! UkI0 ㎓@/G||GIyChzր0s!sslLHŀį4JJjO{f?QvIpWz4ehnw2,.ȫ&tt$v{  =ܒ zf=DV#ko /"u/^/WyNݘ ' UەsrDnQFÊIVLEx\6Y rnx1CIG`&¦ $$''q\E' ;ǥ`sL(œ3KJ9|ؿ @=\eJ;C^3\'YJ aF?BwXlv"r %k,B2ݡXJeDj{ŋބuUOQ15R #$2?u4:V0- g\h.gVL-n;;Q{ }5-1gGӬEW~Ĭ x;xQ^=6sS֝)CHp9airP܇r6r9CC.W{sRB*ٟ/G>HІа$JJ% dnDq).t3@b r80`~Mpq.ƒ`*Q^$0+RuYg^#^50kxBԠGdof'aYRא48:.6pi([6VKG{K ږr1 3c-GX'f&ER2tR3:.9.X]xE LK"jooZ e fWHMZҏכWW'SD&F=9(zI"%zHv@)i@E۞ pCxދ@oR`nv&퍺)@~Am<)}.P2Xh}م ^;9Ga"w^B cPK)if/ znUdǭvC;K3|ժ U`gYZd10354f3217e849d7fe3cd5730fbf85187c3222f0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509fa351cabd68026cfac0e1f1ee5e4ddad3a43a495f  CRDT