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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ` ` Ix| ]/ HOL-Predicate_Compile_Examples:threads=6elapsed=50.707cpu=206.628gc=15.5087zXZ ִF ! s|] ŗXiɟH)0!h]?W߹ĭ˱_E~0EZfC`o+1v&N,v^yRw['U3kۉ+ 1%2,0HׯXxK|"Y l-f-uY.:|L^ދ,7)H{{37.u[.v."qh,Y=cLlZl[{N41' \ `%i }hŦ:Ef;g P[4P(ڀ}m)/(u p%d/tYw/b:J3ۄJhPkQ=xLټa;H;$8pb7Kmx|A\10?ybPAkgߚ `fj3]闟 +ɮGʀBr#ŠY0Kj.WRC$,}` avN\VAB\S';_Z*qTUaK(op[_F/onn6k1})W"x9MuwoIcI,pt%U3 AWlN՞wZ wۭyB
^N@)Y4v_i3]{rٗT>Nkw\+vMtEn<{P$k̳IڸË0]*@2hr]GH1Tn䊎.B9OՆD C cM oC߂"Plȿ#2|!&5aNmȒUxs%.Nq Vԕ#݆ٯqq֮x b(/tYQ [Ykʽ]J.-e1(4n*X.+3(g:7ׇ8٤>? l˓p3HC>t2H+Ǡ2zp9ZQ/рrMTHkºvHً0r_i]">.I2DluB0g0iE[h"b 625':"^ӂߚ,ųu/JlO\f \l[S- e-AfZv< wIG/Gx/F &m<9&8W_enav7}baA6Xt5_&g,CdF/^2G5%7\t^}#z)^p IN<JvZ^5x&]_ƚ_dngi(onߔX6D `aJuo0;# Ebp!Wjh/_zҬAYJuL|]EWǔf;P([X^e{ yѯ8Rc{>KoUH2]dxwܩ٤J z?w3[%h($t5DчM }f=kFͬ92iPEo;bԨ:oB3z%<"o0nZm5rY(E>:/VL +[:.sB[Y;j> ,a$7] ͜- ªɟ %{M`fr ]l'cr#?L;*]|)` zG2#=R8pѬҔzLKk+rܐl(b]bfj*`p6*S>ʭ8EzJL([T} UĈ*X l1T|+*@F.$aEUҒR(-\N(ےژ#;>*2\~Z8ĶWGrʅ{IPDDJ4H|/;MNsChFT{ZT GvсVf=-N M[r "Ĝg YZ7zXZ ִF ! ] ŗXiɟ1˦r*ǚ㤆~s3Aڕ/"kf8vE^䷷>i3"tiqAޙ>+B%EVYW^㔣/Ѝ .Զ*v"g^AakKBJit/ Ȟ+ZZ`w9]q,щwr(+PtkڿCM)nXttb![ {,=7/ӃG(J4x.qs