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  2 2C;,\ ] HOL-Quickcheck_Examples:threads=6elapsed=66.325cpu=142.740gc=5.576factor=2.157zXZִF! _O]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlqS(ʶ=d6JcD;*[ oseJxa뭄|d{Y.N=ʛc^+B'ړWnm61N>C~J4rW?^.&]Y~X5OAKP:g uR Ѝ,Js(;GS6bC$  .Z >ȼfO(ع*'S9- u^J'sJB!9?,}=&w7t$ N9n Ҵ&Kֆ>}wKjE?faxYK6<0oqZ GRXh`/_B/H#1.)bY0 Wz*uV{w:}Ͽp{rR =5 TlL/|M}(v Z؍lIfqTN/~f+'^Wʂ##!^뗻+2qjrdɚ~TC _+km*Jmug]FʬW8a5NkrkTYՌ]צsp]rW CBT|W j"yCtmloM }('TepC`6#AixU Ő%JZy- Q̶ras" #<7N~=_W4&r.enoY3 9O sO<}Sgqbyz Gf,OB, k'P%G&jo_&CqmW#`'OWdƿ4Q';mNu ; HOL-Quickcheck_Examplesu[3xXA\ *Sn Ŀ#TgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW Vhv?Jv2k1KưݗB\@{ScZnv9R3(z- 4aU<͏ٕCli&GbyG 'MhA*zregYZ7zXZִF! : ]ŗXi%90&e*T{(Xiwz=1* #dK=Mh ZۃӢhծ 0 >dH2|oyJsrMTRh*SJMTI#]h0! :`͇n1xPOb4{~IQ ؜ oٰTԬg߮2S\I8ݿy3=:cA4A|w-gdӗ޿Yl!q5QEī^%"ql&g/bnڑAF֟k}3bcHcViQ`oIl<.ʳӼ _RRQI \$8hЈD(.WM=۳hN4'Sv~(bnhY <zD>~Fw2Lg.;txvItܫؐ;`5BqAu⊾L=Y< Kx[ɜ!r%W,XG EwHhdSRA/1 £,ǣaÃhىb;,J. X>n$RR@4c$åf[!% ^)B5+I'ki9Boh s0Z\ N1-r!]8Ki;;"AqCf9E)O4^vAV ##\-οpvSXg1tTNg@릷θCeXkMV/u5M7ؤ7XٰܱMd;-׮μnox@0(O!0Ƿtw>#xJʲ48`ʫ4Eä[(C;0> Uc?!p)7^8<9ßJ>F BAW%μY=)jD?AAU,R]sXn[3XF}652YFA Ռٜ" >q&#f,n27f{ۯaFSey+mՅ9X|GF)h4m{ًr_hǏ@]'y_;YÞrB9K2fz4]I{ieM]:W6C ILn䩸%ΙTȊ9ܚ+d{pnD7Zh#(Z-<0٢nOS xiF o:-{ҬVJ6n3t|'9fRe!GGfl&\J&"jB֥h ԿX}^}I<+xt?a[L 'PEDj [\qS,zT0["ֿً1BiʳY-Ch!35b#yࢪ"^!&“H?Y\҄Z9\IbRVx¦IA?ࡸ'^t)|L e Fy6XD>ְ;J04b{S9U11n`BYrUUhs{C䫬(Dy-*.hO(W&Yg5RDtL &;Ը+5`be܀[eШ]5XtN V~2vMx I֫hab8yWK+9h\6pD>͆"D渭 lR|KdR)FR=?=Fz::Nk}V,"4Hߋ|=g(?$ &q~s$mj % +9oܬUO3Wb놰£m]!kJ<6d'sQM~'ɀ󥉁$Qų볍ZŘȎܷQh14ՠU^Ru~3b ?]D */B֦aŻ,X&lRb*yAd<7^ >ȇZĊc%#\c0\P\4V!6R',8R<^(n`QQCh.K;ա%tOiX 36Qj {/ : Z rF5ޑStZFyxFx_J sau/)tm}DǢp]Ih^ ^_d V$hۈ(&|qS:x/(uSm%夷 _ZU)x dKD4F8 *$t=I.h' Qs [؎J'^QĆb^ w:|Q/UG];Y<>j{[ErxnogV 71u~2]MEnɃGT_ɝ @,0$F7< 9|8`i9!Rٖ4qSX729$j\Po U"H s:)B"4 q-^赘ǖ%|.JN.4o%yH?Mp?=GKaXsG7B@Jx\fv\P0Rq8řVd[jXHjh 0d#>S<tq~8AO~,:G6TRՄ=rr&u"s=ԞtauUeTN=L^T7ht}-BqW^~K<'|RU0X}q@[W,