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 ;;<\l ] HOL-Quickcheck_Examples:threads=6elapsed=70.709cpu=151.676gc=7.524factor=2.157zXZִF! _U]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏ kyGp_k!ԾLS_Pv=vS*R7zݙ7gp ֤tI7:'bOr5 Ƞ5J)H<R0##Ukμ `SZhԺW;2e[& ;722>B*\Ғ3Q;Pշ*V̗V*zC0Uc=>;Ho7_xEVVhbD%|۹.D44볭ӳ{{W,O 9\J,LL+A?H 6r8ەGlax@mw{pa㸤08d!z6G1f͙ Cn3(M|p nɹIh}S]HpAi(_Pz.i|}oK;_Mjh1՛-BFq\(gYZ7zXZִF! T.]ŗXi%@`g ܠG)=M^R]$k=9_bѥ^RI>ڐ>SJTQ;)_ $+ 59KY^bc'XO*΢pZ~V_ϝ,.34^c.}W%:GGpVo|`eS I$FDNju(`<T r o5@Qeւxc-r{>#:<]xy-1g[:-`6CcYԢc-;7ܼэ:й/ ؛&4valK^`NJvJ5m?raX9QLb YOߋ"Mk`d>GAPT0m*B!ȸE=Yq5~H=4rW<1@1ng@G搗Sgyǿ= z6Cl=UgESZRƖXneP 43tE7yGWͿ IzXn!M0|]㡰I3s6I'9ڊ5?aor׶2)0T{{emO?K ObFCBlW-avi T@Ŧ}XW+ڲO)+WGjBaީ)҂zc 9H%f; *A<} ()(v_@x'TX='i$Qd;S6v/(UِtI$ 9Z]-w,d07CA8W5'oc,V)-dE~538 Y$T&זħDRڞ2Kښ1=ӿf'f'S|fl1XשVTw<M*FYx wӱVdfEd|g[CnB]GB%w m~7*Mqc*bX?m+oSb0H!JEt!cr5d QL=D#:`@OVX%,^ѓ; di…ZVnr/%fo6ҔޭjٚXLl}Az+vxw9=plS{Tz>& Fp)!kjcu搞/%字6Jfт-_*+;u (=)9c:hv[*"2PKy(CܰU m tۆӴiDʁGɑ,YA*dƔ%1t /t.,/DԦu_le4'K!yp'.ʮ^ 2ܕ(gԂܕM)#_enY;B H)8!xH .yT_jðiQ풴iZL:ͨEFYa#ߎŌ~]R=ۼ_ikXp0lRKlVn.wYlR6Ր' nQ4z ގNT5'f!Yb8TfLfay|2jpL %4b=Y,b_4FA[ N? ,vⅅޯwJ%iZY%֖&ȋ0A yeM&vޗb؉Jv#75E״]7'p}R:VCn}jr C1o:ACGq؅y@ e:xJ'T\I!Ef3wkڽ-l[~w% jmm0 Q6t3 h`Sm,B74%Uf,4w>ix0E{Sm \hMaT{alոGw$UԲ# RM 9y$C 5k]&=oA[=pO'qE[ȵ9<{Zjtt(vx}0g*˝w&dj6-OO|4`S,#`-Abji\lp-uULp\ 3/ޡGe2F(?4gD;Emb۞2R\3i2 :&bS5+ 5 T leydmZs:ś=h}:eo-(vU15Ma 9/NP?E*h)23% M* L^^y ؗ˜=Ww,CS_݇*vvdK^m zMa@PF#mTI\ܢO"kv0zJG2_8 ^d2+{RmEP