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  _ _ T4d ]/]ZF-Induct:threads=6elapsed=3.423cpu=11.932gc=0.416factor=3.497zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ n6Xhh<^͵Ƴh0`ySa ΖF닯Z= /%RuɌp+2|.,gn8&RXm\\xa`]v/UvA۵n;UmJZ۫Nn<0+t-A}A]r w@[=gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzm7@# 8x,x@::T(48(f7{t~ag|VJ~ FD3޼RN[~ϻzg >L<>x^*9d߫k>Y9ѳèFlq.&:fǐˆ8* NSC{(ܟV)Ygp^xĔH"0,9x, qm.*B:gYZ7zXZִF! 2]ŗXi%J#G=`C$ ]nأC\BuF'q,^OB-0-X.@f&M,ACGEi(:UB,lLN R1 XN?re].m|E o#l[,|23#>9Ju)1"j LEQِ5K/#;6撟'' .ѰSVjۤƧ2m]8 )C}fjǑ0] TFp 8_1(;~5yF.;x? h0(} d6qڹ|@ 3Db< Ąf`?^`'PRVþ90.v ٱ=չ1hc䙼Iasbeu!R6/Ȫ@m plg+dȳpq]"H>f Jq%|23bb͍E4nn߃cK">JXNWDڑ(Kt#+OD4iob3G" yy>lAw`8_5]p|6՜4.AQ>ݹlAkO萼I5$QRo4uz :#~ ׼Dr72,