SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   Z;4t m HOL-Quickcheck_Examples:threads=6elapsed=64.070cpu=137.428gc=4.560factor=2.147zXZִF! _F]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋl|ICY37F&SC&2vЖ [֦y.\#sl4EY@@쒓<Q!ӗlSd3ә􀴀wJ5 `xԢѿ\"r}ZPD havF"-G){u5oa `\oq`ރTp  Ǘ5$@aaɾX%C&_Po*?L]0]n|Yhͱ heY/?s -NX aHذQ)QT5)Q#>Nja 9wQH Eb-y|$Zs3XvopF}uYV>V)_7)$z?VӰ?ʘ<339Axg=$}G^|DKi$K_x~p= gip0  {{tN0 B;z5%x7(1 .b0C<5pKM|n^%/X=Ui4>wt_a2LF#p- H`)jGNlx"Pwg|eWh܁%&:8^[ J&&\48y^B-`Yw@-DU鮏/e f7Rq2q%^GtrƇ_E ffvU,ZKQ`XgAdJuvD Jk'~+yރ<^lVa"6J~E&%'I}ur?UGscv{B؁4#<̉ẹhX܉~ήWMɣ`cT*PН:v"ւ왘 =^mDDk'rQj<˺m&;OUqC:㝝i13P;'v!+Xi 24`L/0bkGWύY4Gނ՞Gu2̅ PQ=uJY&hd],CZ6Э9blM4HbShZ%ʬАJ$N`9VGd+45ޖxd&P5\c=t[ ; HOL-Quickcheck_ExamplesCա@ TO}|쫧"-*bb{!c/ I5L:N1S0c)zaat89NhvKRt /R[=~S5#G@cH%I!pK%!Zyr댎 ޚ{S͚ Ǿ}gYZ7zXZִF! -* ]ŗXi%64b|%51'N  )r~?N'[o@g\Wn%RˀQ{S^GƸ}R_5 `6v/Mw&xu*"SkV_& v+ GIbBVbڪ.[_%ރ ylP?0 ԕ6X~ PW.{کH8RN ifg-H5kwٰa< WLC9ΓUPP&(p\n@8>^:6? C#cs{4qxWi;tgC҂&-Ҏ'4 .X/uҡIa}>&/^&8o=eڴeHvIZMsVJMׯ6CG= E-R1PdGQ2]Emö,1ve#u.5Ie Am,ѱɨ]~}W|T͏j @o}HX2wأg-yc/1^#)OB+V;!q1$B+lS'$Os[a<ڲ-F^vLfi=[Mf3|CuwXcC$\نdT *^Tp<܊c(W!˓Gx՞`*RxJ3VD>] ,eC39MptpU:oؒ0s Zr)0zGK=I%q*qlP$5>LK_ST MrL9?sS q2~{!-raE/Saۑi1 P`m@l[c '39#6fqK'ɋ-l$׷cpqN.6mv/ȍe xgYZ01ade8d609655e791b8b418d641e0d6520225e99 1a10ccf87a1631fb70aee9714bcb344bf4ba099c 29a769ffebf1a71c6aabe0057994d89146c5ddd0 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 794cef3afabb1c309864dab5c04c6c6946381a35 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a4960a24c219d933e494e1a6d3b65fc2b3b5f617ef5dc e0509b6b5154f01bfbf9ba0bafa70119dbc01568 ddc4e850e6d209171523f5055a5ee5c04e8ff275