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   i# L T ]]HOL-Nominal:threads=6elapsed=5.831cpu=13.936gc=0.684factor=2.397zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯.+h MGv7eڜsI$TF>Ʊ)&3r+I>i] (\vίL G>QU?a"^׏6>I]C-2ֻc.z#!? ¸,)ۇ/Tz4 X$gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎZP[uLj"@Y_`I'{J}YZ7zXZִF! 4]ŗXi%> z)vZYGJ48l.-ow~g'x͜&:&0CHp$rU~wiu]uji?=]h֮ =B[َpYkyXi_ q^s.7eԽ|KƑGP=FT=FG-u>}'<̳FBβ]Sr>S xuY_O bh<@XKD& $g]ilZr۬ cy6$vgn3ptP,OhʥUY,J6z5;ayBs;g7MړPzU!s6/"4t'8Z{ު)T0RQeN,X"#/{N6nH11w\ C5cߏYVpj?BHD+a*hq1Sx!|G-! ts _>c%y>cV? Z&F-uW?vL'2L ayB8 ?Jl?:JnȘ0$KJCLkKzJB$[B a%&S,Dpd= g Q>W xۊŶ?:'vYFZ;Nփܔ{ 2hB聅_xo8m{n~z*BW}3+ܬ')ynJh"@Ҽ>Ut gYZ42bbaa3867cde15c2a26b52fc264d22211795244266222d5d4fd615b66222b5c76e21b7ffca335d8 e3f2349d70353a17cdf47ae04ea2d2766e07c9b0 6d94daffd5ba40562150265e594ec713fe72320bab61927e19dc3f1953de6b5424e3f8620e8032c8 # HOL-Nominal