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 aa9 DD ]/ PSemigroupsConvolution:threads=2elapsed=19.448cpu=37.344gc=1.840factor=1.927zXZִF! "]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2ZŰspg ;zJsF:mCTYGUCÔo[u0%m}k묔J■yJn5ߘLxOd%8Dy>A^ e{y޳*qW1n2ݬVwnD;FF/l߱Ӷm~̻MrwG鶴N㐗flEez‡ ~-] ˇnX>a^2bL;Hd^Ϛ:|Q|pE9MEQ'xL6ʈ/k?r7ӽ^=gΜQ &sVu|'t\1=ǜgq6U~W/ſFe#XM/*s}Ҵ׈48 D[r9ppih\\r7>=.d4$qݒcl ͗1ߧ=:4G%)p E= ܍nՕZJۃe?wO%)*ҙNѢ>͋7eh|I[םC;Ch4ʏ0'ڌ(%7(aT3o+j# fs-F H ^}RØ׵k.O6=̓N@GnlE"4۱gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PERgQG "eu*q'`B)~8_eiTDus]o,P[Y~J"oTI dr~&f? b+x_";:dZ195٪:W>N gYZ7zXZִF! o ]ŗXi%;4bGhܙU"E>J9R,3G7hzxLSv]eNF5Ktb_x_ =p; cc^d~d; z/S`V7V̹o;kY)GsX1in֖3%ZA^~6|F',o< e[N$ٟa#@ |>`[#bO /m nF~2moU;s6%:ASj_`/L{v,~:n_v%@O{}X~N])Kc3d^(PŠ&GUY$H@(O8Ci$ FH(EKuN O h@*ΟK婑S>h^>*ـ ru 386$h@b[_5ifUHr’"LCvߪQ|5íT/Odؿ{ni t=5V: bydn^/zƸl+a/|Ӗ/oudH" Tʶ7l4z*.v/yv5D ?""ybBdۻ71eSؚMA`&&fUU¥)FDG~B#2Ct>/_:Ōp Kd2.k^siJ :m;C{`Z%V@?;,FJR \90)^= VCe0Lbb}}0!1 lӧ&|T$4a_p#1`_NtOlVƼ^m"sXY7ѵ@?3e=lZ!sp%/ߥxx2/+XA(4$y