SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ;Dd m HOL-Quickcheck_Examples:threads=6elapsed=66.376cpu=151.196gc=5.340factor=2.28 ; HOL-Quickcheck_Examples7zXZִF! v]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]me@T2vt/I_)&L rJWFR|_zY8@d40 Zi\^Z 88K.ܡ8h_*`nr7B.Hh>ء8jU#+=rڙpSw-gV.K_ _mA[e(L02Pd^[HC'H$6<` |#ggur/.[>0OlaTܷxajY 2$%N=x mΌE||qO%( Lz^gԢCa4u5,PP$3U ɬN59Z9d y-Cv$kpْ(jg nn7/OB׾m//3i,TMB/I[5bGE`虨BS YFd;"XZzn${-=ST.u"FvНͰAXsK {WRsU?@w%xf_$a Lұ<uanG^y?w Rـ\5|-I7Ą+ZI[!=* +s-umFm5VBa8av4d'4Uq@Dtӓ\I/IhOCOv.#Q|\2bFCs05vU*H0~j-z-P4}K8@f[(jHx9,81cKZzɇ=vulͪ&ѺgW | #NWF 2yE3ȆN}%!o7%⍾*Jê 2a\'lP!t*2]0jkďv#E.Fdط8t,n߾RA h\V8xD= c}pV:+3|8"XUm4VM {~g /DNb_td3^|>9"hSfZ| c.yAg1Ϫw s/xItdB7e~ +G <7H|-|J4˞(A$۹Z߉jc?QFP|# 阹e. [Y)sxcM :/ EqE㈺7g ˭'2W!TwVuH E8"'5r75cK5hmqyŽǣIǍ(kM ptBfΪ@VCmA8+Յ-mԣR`_u' ˢcm_=LGfFOW"ݪȤNJXʃ<ߌ1T8 yn{6}.bƏ H9*B1wԀ2D?9"w\n2JG-]Gg8‹oYһm=XNޓѭIVj5 Ž:$ >)ʜ6]J=Ʒ@C#_K:r|ķ,I!~[}:Q s"7Z!*M~wX<[U؆^V"Y:4V!Ա)K2ɥxN 6sP+QPx 3{i,/c SQ_x1n;Mk; ky`Hc(P0JAkniY.2o|~0&ϭ7xͩDnq:[JjO@gܼd(q#bdyxX >  =5W>sŊh3/8 W&)9Bf!$ _(Ӭ0ÃakIQUKWFl0H|^3[#u|O`cyqS3#\jQN>WXǛm56sw<':a8탦궺*ŸDtUxykc5;Q|<\"K6pcĭOH DNz;SOgA[" c48,I÷bpl K[5]bQ cxE([a~}=xI]ŝ {tx M੥J:Gwy th7qNrs&`/굿GV-Н0)0M]}rp@_R*Aγ{)R_Oy/;\xQK{Q^wh@VxGwɸ_H1~ѹ㓚N]8k0t>,ǎUOSh?35]{q"B93"3^SvCG d9Zx?aWszTq8>>0d%e=yA Q5*Ʋ9lQYuo{S0:~{P/{L@6iMW<ބdEw[}#;.zit`PjM7⾚]~'K_WO0;eI9zjشuĪDH~F'P60Irc25QfQ:3m|P'](5[%Frdꐼ-K Um$ }r?2b]t ٿ{0\Lk&;0aylKǐFLa~nH:5{ٯhW*Rs@fQIgu*,ZSwW MB"a;V2t]{XOOrp};2$p.?.:oB**m}Y%]%Z_&\:R!r,OqV 9JE![ɗVb?v`lC˞{v`0wC{&ܽsYY:N)('U[hٰ$q2ZnC1ΘZNTiiLq"BF@\FW"F)WS)Rd B[X\;I~qh~Q uVSC~98,^8V0-gB}8Bߦbp[LdD& 7^VmS[VN1s9DnDZ[ԝfp|=U]ZgC`?H_^e,F(~`FX= ^57dRp+a9|U0,}/_ݔ|0-)Zv#mg 8TN?7/$uh^,)fUpu}rg7[38r όV}&Ӽf"!&R)Vtt嶟"#u>oNЅT>xh vO,?!#Fo{BWS=Dj'蹩"eY䋶k{L\{8Xʓ9y/tV2:|XE儮L[9ѹ_?m?׀} bA/@3ɰ}c7g;*A/V1iir%)9Oj|Xa ]rܮ NŤoiY`%IF yMGbyj*DglfҤPo-niWEZk*i\]<_e.pp|Փ0-'ֽ?+ Ύi;-U 7-݄I@cݳJnW-(-k#.jdnwp³[ŌkoS^=*a"l)Z't"kK0h"wQxN ?@A9&*Hyz~52Cf$@y\.!(H镊Ʌv~U =3 7{04|nز+F)&㠫$Xp( ۧض᭫Zref56ԃu+VXG?6/=xi } ưgYZ1a10ccf87a1631fb70aee9714bcb344bf4ba099c 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 6fd9df3dfedd4d886d1333614a66c3285a8ed17c 794cef3afabb1c309864dab5c04c6c6946381a35 7d4e32e4caa4a33c17dbf2b244497ef95096effd 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a496091493e533435910dabed2385bff382198028d20f 3cccd0f68fabacdae04ee3cacdff69775cc4fcfb e53b3f517ea4cd21a74e6fabf41d60b679d9228c