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  ;tTL ] HOL-Quickcheck_Examples:threads=6elapsed=64.378cpu=137.304gc=5.236factor=2.137zXZִF! `$2]ŗXf1-q恈?X Vd!x{f(ǞV^G-3=5:F*i(aҋlsDV3!HnFW%<$(`rT@xvYĚuwo0!2>vRRFs_~#2KJLFoH nĈ?7iYHgy* >#GbޒII'1GzK $8f'OC aI!VC}f5 $68=Wcd.$R F P՘]ޭUm("2nvYBH([|'7c]Q;w$ mfunTBPtsW$e9aJz8AX2U,'*egyIFIl'/ƑUߐWS{4B{s" ~';k(AäO梸|BB%PO#N'}|q>78_3u`E_Nܹ'2ڙ|X m+߃y~`kmZHE (°8ח""(>m m׋ng.<ccw;w\o騼;Q\˺=CarQמn(xї7ϥԘGЕ}Y9-f-&`Go8SnZ~-O 6W42+9jd(mﱀbT ;uY|WN-OGl6ըTtLPST}9Ma"V\?B+VM=+ 6W"LPo|R?*Rs"rh+KusU;5L^xOxWLY~϶\,<V5` 1}m%ARe)2Xԃk'88ΟvtGFp>9.Igl&DXf+v: 7HR(]^Fm6+!R(l"$a8ƒU`*WC_#\TW,u~]#WciTHt >8͡&FO\?+/l}+qGShnerC{˂ DB7^p\g+Z5{;04NJO9a=fĩ`_k ; HOL-Quickcheck_Examples<~?25 Xkf;f! ã?rVXXH3 ÜG+zj*A% 1V1 XH% vGhsOTȧSuې..gYZ7zXZִF! 0 ]ŗXi%9,z4Lg)Iv ^-gX?EE 07"U8Ql2 /WZ"ς'kuۈƁ:d|0{+{^f`%%FӰ@[:><,V:AK$}'*n\1hi5LeFtZoYMX:/8$ZWWf1ĒUw ƥy|\fb?IJ~wZ'X-Zò%l,:ܸ t}I=+4Yhpzӹ:$8zFCŎHwmb[,ւs`8}D+ybv/45gx\nO$r86+:CFM7Od1^x4? Q nk*(E4 N8)!~R([>ܟhZ2~wf=Khŋ}&b#mNö~ ohv8Kv՗YUUs}r>6At`jasR%]QA:c/~$S*WRc9 ^&la8Xh惌dhbs=9k&+Dݐ?EÄd[QjRi•0/pb"5)6 !(i/ݿ Ɓk!OrJf05l"}:8',4LUx/طAMHX8aIl-.W5dX5-_1^*2jޢ2+Q.dȚ kħՈZkV\]#j蚼a"ŵ &Ѿ+[\#GO9@{)z>'tsu9;%jr}YÃ7BDr"[_okأӑ (%=Ӫ!Fu Q`ehW.wc|"RSLv;rGX ~G?#9_Ii^dC=_q%09s6.F~W P>!XY~Xj>/Y)%2!nz&tyPD1-LyY 9*Omq 3/ ߆@)4^$k @R-ú+?QlOmuhڱUVmGFt*a~xԙ+fL3H,0IWm 8fވX>_-7WJHRdJS! ُ`ɋ5ridPLc[gZ~= /|YN^Y:福Uߗ=D]T*S0M/Ő M)޻OTjI o`'f6F l]@V40J_8w3I~ܤ$؏`'EiB3]29ǣHzi8pr33lOD|RQ@sliI@.w%?v'EC Z&r%ьy 놭_S@zwoO 'tdIFGZt{u^Dr+"Uz|k$jءk(u*+41qT]*'=:FZ#CQonGi`q~fz<9)99P$p+x#Dlu\t ۗ{MupEQR mF>f$̍^S 7nv$/qIzU1f[ÊWP/ݰڿj^o wzj5&4_G/'K]/|=p=d^?LEV @m,u74Α.` lŸԸ[wGf+SUVZ;F٭SV\-~ֵB/^Hn@$ .':øe`ަ63j*慯M LCz &c9Qr Ρac4<ϋM0{[c22c~\4z@:DPcN nj*e;Jy©&GТyO=l ^Ish=p >Tٛ1>("Vp]>WXJh`xD(0>ӐKJb(|F !m̭x64Uĺ