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  S;DT ] HOL-Quickcheck_Examples:threads=6elapsed=64.986cpu=138.992gc=5.280factor=2.147zXZִF! `*Z]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏm@3=Yu W'O5[q%xB(84Tք!ɗօ/QG}}3W1Ôn9fpt:ᇗ4Пz0*/6[40WT%,U|F`qEp/ 2&3xrNؘ2yt ; HOL-Quickcheck_ExamplesyN }J3z׹;veď|58e:l'JuW6>|a?޷Фf0_?+P^2/ )P[H@B>qD5V<c ױgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW aw5WR>BXle QJ'E<p _j!Ɏi0&.2k:P  $,k2rb|˙r`B2Nv3|ƣO ]ҥVq=F"WiKT?/Ȁ+H!Mf\!gYZ7zXZִF! 3/ G]ŗXi%90zwA61H`tzki0.4n)}/q=)Qr1sWZidiϱvR <0ďO-[f"!#(,i!ٰe ? rX1Ӟv |d yȌ)ՍAo0?9O\#,LDJ.fe g+Y$g`=_rAJDg#)!5e ;F7ư_w@oSEJZN_FjD]AGd" ]3PFnrTT,_L!u@tqH/b,,5'aGz,] ;L9;:ѫ@ ``~ pP9fDKfprx-˖݌惠s}`G\ X`Lf! xL7pTrR> hrJD#_d.[녂KqDjn$~V c?Ey]נ{k`Jj  U~+"ț]YZ DR2gfA1?o]nA7J$T=F+#F840pj ~/Jgʧ6g,`z&xػAMK⪠:+2W Lq[ , x>|Isg~JT_ۺ%"D8U N0BAn}GȚ"@H&躛Q%ܡ~  #J8NpΕ9)Ow:7sta_]?yU%Y5-6 /lqvI>CMJFށPq')GEyR Jr)_TXkEܠD"x^.kXq_\M=72N/o:Ql%j 9vG`#}ڐnWzEa3nrø˅;4ƻΜ{Mlb9prZYýjv:aVQ4|Fi< KHW" NsXt̀Ocbl#=bn1tUo;cO`})FF[pT6Hx'`˗)W;5޵,*t~jRyΜ êr80YXyiӌwiBE-[ӧ!SYicd; E)~pxPN}Cv[@HO e\sFz T 9 "aA}} C%אV +< sbjphjAX qu/;&6de3Y Gv25z"F#1Ӷa(3o; q{I/ eu0jM_LQ<Nir|$*֌Kߧc#U,]у[@X:|p.j£Pg0xuI|r;o5昉PCRh% 7Fլ`L1gx gGKѩb'fTKHUTuDZ4<+&dWmvX%"Sw!DV~N 9xrqš0|6zXNAuE{Bv*gk$xXrAnճ0%bz5'ʐlB2wpC3h"23 kMWfmDʍȟRꓥzɊkfFp9o{gb"'9Gs 爐2Tf݇K;b|dAf|A k!aZt%(5gO 51Q,`@?b~b (_մb۵>_\=J϶W<,jU-z^FT0fox6D'aܷ Ӭܲ!~݈T +ϡbJq3|hHM 30.R4a .R;|0蠄UkZMGvdK+SNk%K)uOVHQ.$I^rN`Ʈd_ͮ_ x"a=;ſq|t 666DVxrN?1\62OP*M|HͮY\bXMxZqJG^ m~$`Ic5 p40L Hg'V;!pNnWKn[¸le+GX3LRӟJN$^@_Sa M %N,e-,^ مḩqjC3y:e`叓@^:cz Fꃥs$3vl>'