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   W;4d$ ] HOL-Quickcheck_Examples:threads=6elapsed=67.766cpu=149.848gc=7.736factor=2.217zXZִF! `*S]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlzM'Y8IwKٟ -U9&1r 'Μz =A aܵs_GaEJ_lMo]XzwB Qi~Φ ] g># GM*["k<5||m7aːW^j+tPeRElKӲH" | & ϒ$/3&#٨O[J^K~Y62|MˡoNM'X[`q4I Α%\=j&kzrLĮ\q!j|Z-z<Ҷkl?_ @hj/in rϱR4ML\<)6xpyfqzEoG=HV`O3OS*Jh/rg/s6a}:[k⏏xb3ð̹~54G 7 ^Qc`GҨ9k Gj)[y ݠ$C^}}ͤL\7ݪ@ro oH|҈~&oq8)zL,Hȴ'n߿3E9H7xhr>JL:ۘxY躓uQԕuwM-?!Av,>c9;V? .rP92 {ݥoz]y.0Dvk ŶXb 5nċqԫhׇK&]2ھlc{^چ{fkВGQ [c$vR഼xn)%_B臈DUuȷ ; HOL-Quickcheck_Examples  -  igYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW M~c&;y|['DHǡLO@2\?> `%f(B"+#>%?u˵cLuH Η3[FK΅.*9phx iYS?"^7 | y_.kzkHb55!Zn2YGɟW }BgYZ7zXZִF! C ]ŗXi%>j>G3՞|X**̆J6+u"hug*-o\p`[iK:\}DIۑ 0e1Y ZN]tG "MfX@ɺ4GT_D+ ^Z[޸ Ix t*SnLϦvu|kw޾:K7Ic#vRzW'Kd&–=/*ɊM1.՗ӹl3B$h8_EWq+Ca<|pqx_7T#~T+4la ڊrRKꠍR5 hi7`\"-8໾NeY2)1.?HvIFLmҼn2+p*~u-[~MArZ,gf%n _*hvla(&X<+M!;۠C^§H\CIx)!3_a:Bx4? '`mpjKA00h4sK;z3q4*l 8tt4͌xR).2qp[>~`hlOgu=x#)h:$qǢpiRȾGEt yrXR!xg2B/ '&gN\NNK?Gרv7ո7״#jc&+=ffAF~^[vrZ|O_qZn}:*o41"'ߕ;ڨ/|2> =ϋI;q] -%[;E6mb+53dSS+Kfϋ ZQ[#X׭lu۔o!)iiWF\mXBw/.L"WE=cncXD. 7< qhq=t(4 v`aP&x-=5Togtܟψ5f7(XGmuNDg)UEi~cU1WVFk|mn0! ypۮxd4QG5gT;.B'K&"!!dm;8x~Kd3ˑW $Rׄ{LŕNyJxϴs“&Gmvzg| hY8lFLN o%ZhێoS-HmQl>CM|Hn^v2yàrUO(+MxB9@x? ǨS>rv& ؑu5d.d|8"C1'?6+d'Ai3煝^4K_í-k{cC4†rM(6RwNxIfܽ2BZl6Zy²h+QA ݛ_ocbׄt- rKJ3>h<DglPpWYw,>@%@^t5m XdޟǍYrbI|(YF n[^A<U@RxQVC ÕS Ff} f`^ݷ Ƨ'ʻ/zfFi8;kgFXH]끻'V9 ,D݇jIQE sgU*|dr+p ?Sa2@t&BGD̹ $gzS>/