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 ' ltl ]/ PropResPI:threads=4elapsed=16.271cpu=33.608gc=1.116factor=2.077zXZִF! ]ŗXf[&Yux6n8Zvk{CW\ ^Z̡Kk {"K!`jw=n.9DzIبs}ټx@4RtNHd fLR8syen?q \kWZ 9a)4>L fQ k>vJ1nt܈rinJxhr`jq:j7oƠ K1}>$,gYZ7zXZִF! r]ŗXiɟ˕A|tYnUzݪ7PE |JT2<7ؗfipԵd"d B]CP{fݍ}tZ^O& /?@:cj?<^N gYZ7zXZִF! t0]ŗXi%L 267A̺:/f#9sz[͊h+Ibp.5Z$c;I2bR!5A|{A#~> gfʰl[mnl|)5WrO,ih"&gLZn &뵫D ,J-c@z?O}qdUt`&WFjCQ[ W4Qܚ]U*߷TpOv"1DeD0Url ݆ #sIoX4 z9 8@41Z#Hp9O|EaJ:[m W֍&Je߻b:olfDKWB6?9p!f^dn\,!˱+eW{"JSd:Tm'Օ8o-,?e~Uu"Q-Mn3 vHrf9D{@\<{gxV(z!Vy<7T}k!.}w#F !rrЋѺwU* blczz{D&]0@ɲXcNX8 qs`]ԣ-< qp~تwcKiF zy\gb+aDp:2tp}-^:x-@Kх9㺬.:Dcz&Zp -1["8Žɞ\!tr{Z,ZQK8X ^交@#(o# ~|x3 Qg! Tr[$}Nl}WZF|I+T秼HKX4⏰:9TwS1e3(~ Qyz _>v>XYH <\޾# $W%]Y]q-հw)xO-).xxAY\@vicё. #e-9X]0NqR2UIe߂K8Zl*}hmj4r_y;PvŤVTAe?Q6YyoGyZ+ e:|ZE,?O k4WHq#["eDq)DDKfȾ60%el7Nle$ʍf)9Bti *Os v=-, cEZ_u]=W^:OUYND yl7̢^njgG@s 6M,ߵHrSB d--]F$\`bί]rd^E#\$3N'3f 7lg$XSFd(l2Cʑ@˒J˩퇔}@]B**xAS+15`li!,