SQLite format 3@ . BBh77otableisabelle_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  z z{;lTD ] HOL-Quickcheck_Examples:threads=6elapsed=64.939cpu=140.960gc=5.864factor=2.177zXZִF! _F0]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm%dKLFaO\·֗f3IBKދ1r0K?M@kuvᵌhzXWei}0c3J|EG><io<|Rՠ)l0g;zQ59p`XUfTia6(H;kw5~Q鰓di=JÓڦ: ](qO4EM?<ҙFj0!4ݔߞUnwl F (< J${8',7{nP-MCW6bXlj5^䶉#2Oz7S D(Ƒ2ك/fcb <|!ؖ<%kH [zk 3ȝ$[R#9&9$c3.LۉY3u+UT@ 5t?ɂM!*Q:}MAûa.ϋ Dg" &Dv (ҕ#)”Low$l[k/ N'D*5='Oi7E+#oy&Pg ǫ"9{ ; HOL-Quickcheck_Examplest 8]$JRȶ,[3kHهCZx-01RseufH. Ǿ]gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2a'9FZ1^Qe) Mi.5n6X`"eAW*8Y/t p%+ۢ,v5{QoxN xE0խ#@h/y)ve{07|R19.t)T#e>zkTgi8ljv5E]SG)BWN:c3#G"ka5GI"|xvoU'z+У~j '  B|i{@6`9tYV#B`z53oxQC,F"Z?gLFD a%[ n̷@f2$F&&2%{ 8t>$G*ThCgIMZқ(ox˕2&Tͅ>IX>Z|[/ Wd͑JK98(wo ͎@CRq$6d;UߜY1~H (5mB߸G"Cz CZevDG_l3wEqtbW%ϠQj1wb+al [ ~)|Ej_8.-5+!&a~_Q |ͷ0)QzsKa5[|ӫgn Ps؆ fT xZ+bQ0_kI\Q=aÎ A~8X媽fMS %J)z| Nܖ7Ő y]l`1:Kʲ*o$YW/H;xۡA0WxrI ZFIn_r h_wFEFARԐv+3|N%2 "]H^INiV,MZr:o*XIUІ܃/%q?Zq:Ԙ`80If.I'lQ|F_Lr >"5 6.ybң.CuWHs@υ4b‹[ʝ]+}{ӶےJDTVQ +swnɑԘmob$EĭUmMA 9ޮ{ X!pL2mNs:֍q8TιWs%w'9 tQ0ɤPtM(!>`+ ^̷uuʪ" 2[Qa)ڑU)F)+eFv&%z^cԕ"|`m]d n :Hzrh\F4UxIe-$ETzANp չd>; ? ؝.bL`jC$yE9s]y OL6у_ޡ+AKXnֈ.HeQ Xf ]B_^vDfepk[b6bQՈVgYZ81e3d2bce198afb87894eee0f2335784b82740bac02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 b56428d245432f5f15b93df17818e6c844dce2dc