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   c;<\< ] HOL-Quickcheck_Examples:threads=6elapsed=67.166cpu=147.260gc=7.200factor=2.197zXZִF! _V]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl7mT;UfA˥d+htJkT;mSY}R~{yD+`_T8y#Q";= Qڽdj(2cB]!s! cGܥ"D .ӊ#Ddž23^Œbm?ɽZ7InȦ(O6%LVme;vl/"ǟl;mG ]Ab]Wɸ LwS*M c9_=^A XpwjX%F ng#mٰ.ɼDGjɯX"ˉDa &ZyqA ._Gޅ-% ¬N]A`)ӡs$jӢ(Sj4z p[y;թ\wi q qﵒ:{n3,M1 X ]vlk\|a e⋺EK! |T߄6/Fؤ6#RR.+o6 8qq;|F4} f+KI?󬔱!5Q *%hB_tG )<4manLRhƴ~1,2|Qėc(O)>F7&5uĻrzw4=Đ$8ESV fB *Dl, Fҋğ?+ =̩ZZxpXDz`X␏Y/IlxУpx\P+*i1:HڱnlQ~ħ;^z9jWCPۿk&짌? M:EީoO%M~<*W7ٜPM8vPIESEK`P$NoJGd2.S'9-&%B?`[Suq+rdWN94XQaȻA@BƘ$Ffm[6.$P\Bqd5޽EA<4O@;\:_.]t쓐0{*kc~B YAAZ#4]Kɐ = Xht{Z|d*4޶[w$χZB\X,[ *jJsKEge)(GowUBziB/Pr2a:Ir⢁ltQ-p[d;DzQaM99gLU~[hf)ɔs IDoBpYAA5A}/: Y]^ ; HOL-Quickcheck_Examples  = ĿppgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW Éw5J+ Ŝb d e^ +yWcwQF#3UE}Bp]viOcLbA#O"kik}|r6.Xedgsש I:3$K p3/IQh="7DId.xvG~([S3irţkAq9o_$9GMZ-h(dz8j(jm)CA1Ī9HKulkiA)H]v pd'Љ8!qzly=rr,7G+@k0с;Prcu!@ $}/*|SGE0y~/SI1yt*{-KW {\9}/~dv$FiwU^.T{+niABsU (b \,;N,Ua'Rh_W AfpՌأ\ao==;-`҇} J&<:/cp* >3& 8(=p93 nf*%OCλYv;)`7RmFX[PZz9 8x^JC$e<3}2nɒB$S֋v9Ҟ3OܯBlPnUF`NH{"xe!QE?*3/l@W=i>R̞ )Q-d|53][ TO+%qrAg Ŕ=+\Vw,,k gbWB aY]\ *,D)WH"\(۩v$KYt0]^Gm8p3\w 7:SLJ+CUҘ#8a0frxEF2ww[vSn=ƓY'Bl) iJd#)B)X?]ĢBXRd3ʊ3UJ-ǹڼ-bgX|;=ܨBb__u H/D$i6wZO|P2!8\RF`%W] 'B$n3)Tu:sN\]^17$Ky;`q_q4Vh^Cb(k@J,V;k4GRƤ )J1ZWmcЃLi}Irf+߼<2:fO !.]z-mMe3lt ܕyϗ*V I\%ȆAw;r&yT\hR!ξLcNxSSOǩ/lGɲ&_oxk@N$I5}av͑7U3IdX$+5p^m%GTK)nH8fOkXȩl*쏒@ zPHh:R23y`Op=3.9Xh$Ce [.'LqBC;eƈ0\GQϧ8P_~}|mb?I ߪL82[] 䐂ZQZ}ċl&i;/b?+:BbAwyD Pxi|U$ );#0Pp4rYk^щeȶ ,d>Mho|<'bO :F2~6*:h3/%(BhRۨ]&SN9[p"."nv2<[b,CTLOz@FX.m3T?~بCDU- ?'w8k܇)cb>*&J! \mJؤWtOd4Qe/ZV:efei'sro(" &fΝq'5.zSXeuz ?.zeJiUC 6y>r'^SQL ?I6-Io);՝!Nr\HvM"r4q-PӃΕє[ Q" `Kco'99d4Zwٜ {`#q*kP$ 7p_1Լڡ@T+ڨWTDXnv-)#F }\jNoV\M F