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   m5\$< ]/ HOL-Record_Benchmark:threads=6elapsed=101.342cpu=182.548gc=12.968factor=1.807zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2w@Gp=n2J4ІMnCgg;xgYZ7zXZִF! ]P]ŗXiɟ1_sB2 ( |Kln/h0!C✑D^lFXI6Uï9Dl #u /l^se}YZ7zXZִF! ]ŗXi%>tUEPӳ;Və:&0b3:'-@a ~Gp6Jdut<>\|Ԫƶz )RaIŞfei+Uesuf5l 1~/V0[[q`Ksja=cv s6í׶1KeGȔĦ$`SPQqA畋 >%@'!=g6gJI{\`9h5NkXt3c,%$-"^奄?LX 5 HOL-Record_Benchmark  snd9}ͭQʊWvD9ӎCX0Cb k!3q`126` ?fEr}L&榚Rf)4?f(Ți[hʪUyQlILt} [9۟Tsalzxf.Z+i#`oyjR+w/g)ˬ j?#ma%ؓ!u=BYE#cO{+z%S(k_4i\R5P691qئI<·w>Q T$#[T,>XQTMiMBԺEnu[ iieu6?ه߸uyES-ЖA~svK900j2p;Cェdr9r5W˳ p>I. \꯶E"{($6U9%S41G([zԂRGg?Js1.Y(&,x񨠋7bJrB2dPAU̻p3ݕ-G><`ꐂM3$Oz1E%?GB{6L")eg,H ˱>6zjUj(K3E!z ݆2*kQryZ~1j" yC69wr\GuvzAT:\u+=G n6S8\;QȐQ 7% Ucc 1>E:89'{ <.OQܒ&ccI S+B)uKC Q-Unnst ٶfiNxvn^\JNЂS_0aDKԉ,+;}[ӄ1I8S,˿ҁPt+UDu.8'Su.t8,>ɼxœZʬ[<:YV[\c駲m { g[q)~ Xq)rόvx Ai+z'RGT 5A-b*.,s@9)T)L!Em4FGT@ O/h4[nh Iap kaڮ\R'㲗Od$ed2h-pQ#PigoRJlk,SJQ8 E$ڪebM3_] /s 'C')f=Z.MK̸0ӈ ,ʻ :H󖕷`ƥk3NǽCh/o2d1ˁlicW/ӗzຽ1JnWQCv+緗 c"Tڸ~@ 6RbAa_gR8;@UJF0ɼ n>:[L:SzVW}ŇNCΪq'Tqii{ jSf*:;⓪a ߐן`^=3rlR'ơ^?J,֌k5 05ٻ@g+ddr [#:BUoSX_4!<4 fUdMyr#2tcbHF&Aw۔zoQ)0LK. "4N?{L&?З;VC.Rm>ʐ?󔎬9E6aDc56ѝ}aTmg<9HQ 6: }\<5J8tly [wNm?ro>m ̺{)h$gS1NA( z<$!͚+QBJeу\7'~eGr҅m&"Iqf+Nl|A2Y ]Zn}?c^ v"1byt1Ka>MX3JaO7vP#2Sf1'‹'k`6;?HO4 Pi]? t2޷m>lķ'0 _DPoQqh1;|NWfwN%|SKئҼ^1fuyg,1oz5IW$@?*iXlU5F 3[TUTw?7)KkܹX؇1)f'ڃPh?z|wW!^8G׍?m s6K&##=% `\R)k"NQrPh\F,ޗS,_t{W"mNmz0 B&a_Wqh[ AivN@qɑxԀ6xz`9>:u4+yD91^v}(Ii&gmZuU v'+\qN:J/WAyG"緷c[E̾b þ{p%i󗷹%Ox^ZEtcN;[Osx8J`̒Y{ߖ6\]|qYK8E㊆666^CBR}no- y-˷ ?)t$)`uX~:SzoЬ: r5 k[+HĔPޣpI|ffWY\Kl)6 m=08#&Ɔ$BZZDEB/EVs)&x7ϯ}E>depze !!gYZ84983f55cd072e13b549af6e8b016dd0e3ee0b1edbc373532a8de37e9abb2d2b3f29c7d794abd157 76f1b6b9c5508daaae4efe96776d5917ec90f735