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 xx) T L ] HOLCF-Tutorial:threads=2elapsed=12.297cpu=16.096gc=0.544factor=1.317zXZִF! "]ŗXf1-qN0L%.u--W^3M,'_{W&|%hOX T_lKzj,Ӓ_ww˶L)P ~كoIvI%"/"&ҴNZr^b зЍCQL5M*P; i/}nLwp"83@]߷:H".<QbAA;w&OlzBgKu>Z!gYZ7zXZִF! }]ŗXiɟ>ӇW2ta'(e9D{?@'~R>Jvnm9b0Am:, @pZn7ڡzu,hW=qc䂮R@͏Ƹ~q\|gYZ7zXZִF! G ]ŗXi%>VR#C]ơ{2HYYX!sE.Ez`߭;2.-"&K9,RtO5k&0!70d17y%th5A#hd8ԟObJ (bU_zsm24DuE *h .]%~[.@Ÿ;V%V1dZٸ-=E2J!<\3O`13֒fXIS rS@0ٌT1kMcP+/.HV9@D׫:\;{cWР_\TedG{ 0>7iYЮT(eXǽq2^l%,J4@WUIg3ךL7WFi,ш_x5  Q횘Ëq2R.X:8o|yg_NQj118D1d =,u=-<#C&;PMZ\kue|K!3* jP0 %h`y)' $[7,Of:]QJT ٌ%ڞL:dړ;$jӚyC#*mS3`+ 7?Ȑ Fmp?`!ߒ}*-hTҰe,D>if#3=ĩCAS6/d@ڞH.Ğkks})dMC5[}W$kcn@@ϼ̍[D?s/%8 [b%[C42^Lx-ܓ]0Ž{ פ$ς V+m(w~ = 7X[Q֬\3GO@||웖;G%m(@/ev(՛K_<_#0s.=Bƒ#>EWxʅ6.9um8