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  ~ ~w;\ ] HOL-Quickcheck_Examples:threads=6elapsed=64.966cpu=140.156gc=5.200factor=2.167zXZִF! _<]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlѴF*Jytx$!'w*y"̅/Wmd*mu.LrP_g1L`:\{-0G3&z_,QjwO_Jy&aiC69]v> #cFMLsLLK_5C̳6hΖukRԎu͕3\HJ5lQ!Y|L5*bcy!+)>en^A\˰&dӔ/$-{G Ҭ+t܌Ԗ*w(p8]oǺT9-fxmJ-cL$D8r9(2WE( b%"r 7;**;%eU6d6DjS_L݈QUo[]&ҧG'eL呑)ȋsoJPD5jg<Ŷ D tf #YLX[+ln4|#$殗Its T'fSܡW(|l[=%: y#8rrQ9Kh z3zبK/'Jf')YC$sE~Jʍsi&Mzn?qNzPkfY._%TDOmؚ)n–RNG]~euo\*e/=vfףM~ .wE*\aY-9#S/ɾJO.W r+@})g9\'lFaVTmh8@Eǘn-^ō[V_^j'5|5Fs֩DWިl)I4H}7%5}kx" ˂֍^5! ; HOL-Quickcheck_Examples])Pg<Ȇ@R#/[ā,lk7'JtYP9etӸe,\x տ+}iq7.cց03 ĿVֱgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW 湝$0%:&OΧ>rJ ?sI:8 eAq!^iWzh:~./:NZ*ԯꇉ8{l"^XQFd0G'?g3#\j/v"L|ֱE>p̳'ohrzregYZ7zXZִF! 5 ]ŗXi%W"9iC\!ஜs/ "u45X7"xF*fH*٥Uf%f %-r׎klh-{Uؖ&[1Ä&+ꉉ:=%NZMtkJLQd! _馅s%wߺd+'@pF*)wainD"s=!0SX~m="M (q ч:ɪanG֦#.j-vkitHQvT T0% >x6M|=Y czݫaVҢ.L;pc7ڀ %Q5܀=/lɊ#xDFލ[ϪAss~Xq}e{nDlc[lfRX `/CA %K"śU8Ҭ%@,1<]v3a3gqQ&!W F% [)9X)A6w@R}D#2dBѮLs7ܭF h92D8Ac!PisgԔ1ETvA>Qo,?C/H^j2VբcTVO: MIJ7UW撢 &qq;0q ΒVGR.`]X+1Oj\F;3T. qr9ZMi~[J/}Ij~X[O=Cqʒ,l_9i4i";.C2" n,L;-]z$nSdoickF7V@h! omhx0d!^O~Fo 5Rˁ2 "\b” D^—u@3yi &jLkCSJ+Zq1$(%uN%jt<^xj;q/~G ţ!1I)sgrӝRYL}wbcn<Eha Ҝ* >П2 CǖY:kUbë@0mϿ5CzQ \yLF0ZaRx]& %F<3/r{ 53-Cm7M-9!%n >%ݱ) [vv~ybpnI?%Eӂ4lϜl5"$Q \( KߧqPe =n+P5].h [l5jr/lT 1\4?QWB'tQF_ hw! _ܔ>-€6݂,YX< gL:@#̙Qژ8r ³Q$" P!9$zIM%ڍ"B`#$apАu 59J 2d~GCuVaJ\퍭&{0G.N~Ox_86;aE>X!q\=ќ}Pp hP27BJ-ctlgwo>vh$*>zOfܡ;D&[GX-,gûGCiQul9 n5 4۴pĔDAб ^G "2??$46[;xA攉@ _VP)r>7) nLWÿFKC+uLSXQ5w@)e!u>_qcҫXmN*_ j,) lYH߾nmUfXs;%okB鹋`ҦX%egQ42kX!L#Id71E MRI7u @\r90ǣeudm} iR<RAh;eBu9 u5 ./j_` PAگ gu-_σA"M#!V16P>z#f̺:NM)⟷) 3<=:[[k|}햽9aM y_^ ѾvyE5gcҒ6`D n.b7PJ&anZ >w],KojvfڶL߶or4Ql!8k"y"aPUUtlzFz|tr͂mwt /7a~^x Dy*^gfr+ıcӻ,y-IW0j<}m#g&=+$P":Qh$ z· 3r/7YĜ4KʤN,]41~'htE$l L*^qDl/&{ =4.? CMv|𳨢m<r㝎PBZU^D67~W6}7%oun!Ѭ~uT>[z@oyA9ʝ!:X ; JAi0Q?0ܙ:N\/ke ټmۿ~kSm*LE2VJ-bO>?Llujd~Wg$wg  0-)Lϕwq=l\ATEHI6caG?Wrm ґLyVrʭ׎^X)f?N >M[fG*k K_R"΁#Db@O+Y%Gѭ8,