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 ""SIl$ ] HOL-Predicate_Compile_Examples:threads=6elapsed=47.143cpu=194.616gc=13.804factor=4.137zXZִF! qD]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}V1/4U Xg~ ł٤| QQÃ˃x@Mh327ߵ#}.v. B ]qpst{]d#oLƩhY-U3|}Ѿٿ.f1L8bf$;I`nǺ5kTm)})Bo6*H (q\ƀ d}p|dӨS:pk8  lmyv}!qYb!M5[w'4*M ٢m~/ɻn>oBO(~y5HxF 7Jci6~$Y wCId8ˮD׵Ջ-Pc^5{X!mE҈y݌[p>$Q |.fl3-0'Kesz,,Ƹ4 ߽C?'1Y,Qşk{Fs~GM模}.9ވX!,Xuـ(W9 ')IiC k?f1ʕXsdk-d$꺲|sl*Z!gUWQyਪlgԞK4_ ^n7A8V3ڇOnr2Wq^FwJWp8c'JNgd⢝t}t z:KK_gwM,A(;#i'!!c#G H{8 jkk3 s-R:ubI<*+uHT:q\[?۔pEDW̽3Fۛz+-GQ{:Hΐ`*ܣ>_ύ%@uH70ȷxE7str*N\HYSp8를ک\CpKSd dBwvgYZ7zXZִF! p]ŗXiɟ11"7l>_5N: [J[6څ*) ۯCt [`5Nۖ NH[]tPgN@ b+˄QX2Mgn!Μ)8+D`#I6voluQy2aFIx\ +o"sUiKj* !I HOL-Predicate_Compile_Examples  ,,(u{'su ڨM T#a(w Ǭ `t 4oap˃/^>t~=' Hɯ0_^gZչdKd/VL߅iIݮ&˙K4i:ܡ1#,IO0CTM3H%\wC wԭ7gYZ7zXZִF! ݴL]ŗXi%>mFv4^ R{Xݧ琷'eTTDei  .@>=pxlZd[.m[N}I1# 6:=D)ˀ7rꥆa]zٶvggX4~ FÆ2HXy)w ȯ$u䏶NgNLhOL($%@ŕH^?I5(`qrhlpKd@[<"ɊIZKt$ޜvS1Yj ɴyӺN g#FH=/EzTi\t7͓NK31j=퉙j@ ֣1>bDUƪ3t׆&h[t[J8^t2v/jZAkr&Ⱥ Tnn"h!i'{{pۮ0)ZbǖQʏa]Y<2_l.~>:. /N*$unb&3CX+_BF:OD .#?>iTu ֗/:x=\;G8@@Y%5yq>2XyG\ }{q @_@蕮U\d3adz7{ROF1+b{*yVe[6DGy UBX@ IuTW[Pn# Ѭu'^J_룊j-yl ƅ6aHE̖"8G|YȕNNjإKۡڎن]׋ࢱJz 3%/ ?2*B4pl\}%r n&=S,4ttsX0sH$u!a*^oՄ <5$kMv KdiR`'U}\vcɸ#oѓ;)kl0!Bw"^qwjVmx5gө\R+n[ՅV :j > WU%MyTq5 o}7 R_^؆F4K{1eMQҚ(^ki&heN/Fcg?zfϤ1M4""q_ x+mˤ̂ V_RN؆یFB}~^ofGCT܃ ˶f) o0|VV Eqp7'k+}HwN~*-XgFVZ>ZR6a$w%KI0(GQZnu++TgYZ4f417c3bb0a30066505d47cfd77dd0655d56cdfaf446f03595bcdb30e30624659ca93892e4038ac3 d314e9ddc2049cadadddb9589ed87cff70c95a7e cfeb17add6dda1e3feaa2447e359cdac203451c8