SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 H' lD ] ConcurrentIMP:threads=4elapsed=20.472cpu=47.080gc=2.128factor=2.307zXZִF! n]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#Ǧt1U_v >UJ UzD5N!}7/W /^U+.8p~.(]'7c(p'Z}:9ؒ<>IxX23vIy .LU6\U-8IcJBȐVpprs,rhZ^ hYCkA‡_Ɇ^J61c<^%hv*3Xg$V [FKhk#F4Ņvggp(WdB$AeiZ3q߈"V rP̱ M m); G@,7ϸێl@p9:!c 9'd"D1 H:D\& gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w V0K拰#zRs0{G^vj?E}"N٘ݳvi ܞW04aeЦUs-)gggԗ8ҡD@#ߑ$F?S-%- @ PYiNOPm:œMz|RK3ƱgYZ7zXZִF! x[]ŗXi%L SXbè ;l["%=vj;Gǟo1xÒdzU.XA#񺬘hcpBO%N!j4e't%bQ\A.1Ԇ=PEg0&Ǝn҂p2܇V>ǣϬsvxcI8 ͬ)yL13#lG@P^rek `nMʟW{p'T?g )1ڻöUJl뫮f ]1t~3<()_A[vPT1N*JMVcp@yT8:q[Gbs.~ %Aœ/G3As)qS ?LN&'svwzfe:iDcU1+vLgP{cM8Ûx*mE/hcez_ 1ݼT{q3n MoANj.vH$_!^B+.|NKRhҥ|-EDNKh7c3L)^cz 0Rr?0H`cYn"GZο;qxJp~FDāYj~0RcKnQyQEHc2G=g\cv_YyjnR.~ 0k.AG[^}@BMAaySlЩG)v[ oxztݕ19P^@ѯpp- j mCw6K&R\e?ĐiLߪ$_B=8֝屭$=@[Li(G'