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  ;\D ] HOL-Quickcheck_Examples:threads=6elapsed=64.830cpu=139.760gc=5.252factor=2.167zXZִF! _C]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlѶF"V,b'49P^u+X浥K P3Fp]v.1q xё tSS ]Vew:йekvi=oz-ݰ9`YG 5]Оp3]ĴM'J)J dGsF:G- )}!< >6\$`0NaPґhnxNx>? `!QdPH 8b6Y?hrfa[!iq}UzQ5DA4 b՝áD =/zSɉ& <6UhnDE槳 G;quF lNʋɭQjhuvbz $>åp߽s7棢CJ'K,T-eJg>ڑeKC'NZR'^2-*M(/,֦W!%҈l@;lehlѺxߖJPŬ&M @%,pC6c=!&QGM'rH,Q =;4M<wr0` 5I j f'"ĉ+vVOV6[AYAvZk ٯq^  |q`gYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 2;Z8=^ϙ*-t w=M}N:/%lg~[PR $OFA3̈i\Uk^٢>C3=A@_Xx\+-h&6)pMЏAmG'0r,(^N{8C`\qzregYZ7zXZִF! 3 ]ŗXi%9#щ-u~DAnryedV]:[ y[Wty1y&Jca`YT6 ϡ`Y|Kns43R]#5ld} ^jC ~Bvi v]KH92і?ܳdoŪ0p_9g;d ;>C] գLDt\Cڣ7HO.UT,DIgdܰ侺̮9 />Sg.X0wa4׺&;)uBEKiDI.2kzDdjD3't,y۾tuAQ:2*~(c ?;>ݱ=قU T "5'yL^@lTrLB̤,p3O[_moȂV9ywgbc g \~H|Pj1XyUŅ翟, MP#Tڱg+XW:xN~>5fWM&Ͳ =ȏӫl< .&);}0a_&!Pm<7oȘ"ov&O:s KN{ʈ`2 ߪRV>ٗ,yDžZ@\ސDGU9]n Ͽ48N)ݮsuhRN,D6ʴϴљ&7܅:H<ڭ BqMa^*~8vEg7ȻCcZmӠdaWڰEb2g~H&5?)V 2L ߯MgWW!`д4`焦*l*ŪzM)CW2kk"f4{ޯ%̫ʉI8Q yVu1Ŭı& tTWw|AB] N%9~y5坣=wX.hT e[ 3XpT˧f[DeSVJ_jӻFR3MI <d{^\dJDy2A]7 krd:C.TmJ-:"1¥a2oϷYQ8@ޯ#|@Tjʝ~!s5$H3?#N4HB>$37єTk~y֮+@4 ld;@a|cleaetcPQniNkyumf9.*R nK>ՒW/H,un0EPwt݉2WO/du\7NmԟZ%X517вͱP`iuPS $~gV`܊+̀FΟ2y,Fl6W0ȜgrHݐ/6{ӯG?*:(hH ~I:VVݥ5H  :Sȁ|zX%ALztq%Q ?*KuOd H|~R3 Lßa=MAd $~y>i#zU tl<7ڛdsDD#iW2r6QӃN();C CXVAOLuXEV9c,)Et,n!{b 2e >4JdFqF+ky19[z][G#S5H?u/ %RQf~◵laU| tB=IM EMoZêH XGDuTGfzQ@4Ǫ5Xϔ^XӆQlX'ރr/kOs&S5=qs^q}FW=-~3qӥIhë^H0 OZuAa NU۝5K!ci3@@\~}<,:: Nr1NU5 w)|h29`A(AE8ؖҳkXܐb ⣆X]C Y19< 7K7ϰ^!i?Cp.;g!PbW0 QsW!O] Z-u&#BSUP.Iԩ|Z꓎^ŝ;ڃJ.݀cEmd@k`c%Ҵ4s>x}- 6۴گuH6M;+ϗ^F6;{p;`êTn֛8U6Dy3F a:5kr:tSLÆ~Ul2dprKu=ḑ}&81~$z*gW*EJ>r)a yycUŌGHs7y<Ͳ}޹ax@{ ʚK%AASsvɄ oTPC/Zk9W-)lƠPQ䂖+Y-{(_Թ(yv8t@{"˭4͐)RhWޏ_h吞`@" c8Uԓ/(MS?c[m R;:l>i.ULڒ;Ī{ep~Chq!rɖ^E;ϸ&(MR`R/!`"؏ $Ư2Gv )MBJNAZFgYZe819ec292f3236c3739c4a50fa13c4515908c6e19d98e7572661a1502ccca3e0adfad8c7205ee347 9212820f8b5da3e03e0e4c4edff6a3ef6f7425f5 bc7285075f2b3f8608f2e33435f62562007e562a