SQLite format 3@ .0:  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 c1 4 |gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduqR(9rqXD0xSEϠ_aWiP n맟Se"&Wn]gCJ@P07ArOzK8B[-KxUg,E:E5E0&gYZ7zXZִF! :Z]ŗXi%GЛ{7P A"@=, 4t N]ʊ(W5$U`ij$wђ^O9 وm?WKgl , jUKAvvqI?d(PPBwUHjCM2`:P]; h-p3rg,#Tb5ờ4 n4ZQ[&E #+63d r{JoǐhZBͱ {O+oQQ`tKpc%S{qoNv9C;w{z׮#؃ t v*$,[;͢:9"\hBnW}}G~1Y VJ7LPK҆,{K[GEf ̕x)N/&Gȁ t=FN#9@w0wi* GZ@њʬ e$yZ/qf@5_t7 čt1VDX!k+'G &Y1mzY=" M,~Z%捈Ro# :.6d8[E"uOѴ ecj.ì~T+Iq^YrxzE)|4vP 5}ĥ05(xK ̵ E~ gEKO6T&Јjʖ=lOgye7=~3gZQuR{!T` vXM%S?o \T_^F9Gɂ9| Cj<:=ٍr(-"݅ :Pܵߜ:1TK@s$MLg1 ~n G`fj~Bq+G]26;+̆Lޤ.Ϣrɳזp&$ 7 0O jHPxPpoaa KH \e4Q9.3 `gfl!5.Ӝs6d|ܦ( + =lp͊S1%w-tsR|Lz.s][ tи{gYZbc5c9a88da2327becb3d00ae65e674221a97a9f3a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540 913957767197f7ae8858d375e22f8b0e424144a3 1 Concurrent_Ref_Alg