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 ^^1 \ld ]/ RefinementReactive:threads=4elapsed=7.906cpu=20.472gc=0.420factor=2.597zXZִF! ]ŗXf[&&?8,718J&ZyKx$:vݪLK) 3/SO/P (T?M7+y'V\FܣN.!R 3v'ը9Ldަ L~㠜 $/ o]/p..g~.CEWbK9]$R^Z 4pCF* @s@bd 41^7Q:฿9y߭_(Uj\Ol1OA56qdQG\.ӣHerx'b] 779wx9` '^4zC E)6=zz8< |G̿7dG: IDUw+BqRwъ̮]1M+yUիd ;gYZ7zXZִF! n]ŗXiɟi%3wJ3Oуq;pv7؍|%O'nڂ> fp؅qY!K$C`ڍ vZQ^` ަ~lgYZ7zXZִF! B]ŗXi%I o7!6hH*ҝ崕պ\45 ZeÕ)5DgM `uUs*}Jt SfMs[~$Vy\gܹdK&D>^ʂyPS- SuCB[,?\>T Rmvj?* s5aa]]]D>/ٴ1ƭ0 gD+iK0$FrP#K4R8DD.V-ؔ$/A䣤6`ZC[k1(vHuKsh;59(pqzطe٪cB,+FC0~7ީ~fܤH},uM%u⹶Ϝɡoୀzm o/tgYZ9de5cf67b832c08d333021bab96b107ffd2a9b0c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 1 RefinementReactive