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 a;tD m HOL-Quickcheck_Examples:threads=6elapsed=66.025cpu=151.648gc=5.152factor=2.307zXZִF! ; HOL-Quickcheck_Examples w]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]me@T2vt/I_)& @lyX&{[cO'\m!ߊ_GGK5F(/O0*:}sĔ4ϴ$0Ir_ ^ϯ9T`-AGSNՌʶa,9 qLIQO>(!峊iMEڏί9ĊLF%ɍm*MFtCǻΉBWnS nu\Т>-7, j@2rP]3{ \*3R ~a`?wQd JKH܇Iۊg9Xp:YT )U_0TY-$-YaDkMu(ąܛXNi9lբT7TAmㅸ{aL2(\ԉyپ ;\4w}nZF ڽVPmΆ v"I댗NS+gJ⛄ypbã/;O mVAөZ$_d;!b$ ) a/[YKG{d R{@ŝ0tMN_K\WEf6>emIt;:RU$0?Fc/=DzB}n Gx~.',/v]E4]WkmJK)!kٍLLYJi1R)oo iYFshQIdEW~=l̷! M9? ld"q34ڭ6irA,{UKV*#kJͫ,Y28!Ӧt܌Zw!8V$uSC2ŒxyBʽ^Ϝ#SB z|Hǵu~™ں= <=S@ iH`ZMi"m}uc\m}b`DYS0" IR7CμSjapr?}܍yvvR!‰='$euLzu(0sv&_|EX# 6bf*_dE)6`giЧcjf@2 tҊcg('U%1uu@n3=jou#גac9l##VkQ}DH}onW]\,ߤ CL[9fM1sx.c.{R0J#Po~VB,%tܘSՙGO= 6+g$Rh6JZ; Y8~LQH-jbɌ@y}x[)w ^u |3a˕9|2|OL%iQKƣAґZyG>G0d:]T]J]*GAOxϼ. h ,!*x3P绯& %{<"'4 c&0<%yRhqc:YCZAa.rp\s.KUڴ_AÚK'c݉ rj77Ë+|le>'Sޓ5X v.%!$%}r.0>}5Tj]v)pJLj-8˾GC3A.;KX"z "0^:f^Ypk08|άq\氨*RxM amۼ{SdӨyƸӃ_ V^ejYëa,^3iTU'\]œ&!>,pZvܿ;{e@Ok\z ww5kbx6 uhgYZ7zXZִF! 9 ]ŗXi%K. WDl>Ȕh+oƅm@82gD[ˆvJ?Xg(0,p/HIp0'+UCnAj]u2ș6{"Kwl%!ޓg[(Rfڏc`:x!]e\&Ìfr :#Jk|}gJ~ ae-I16'~2Tgh8~'u*i݇䓁 ]z${Z!^xL%͉uʇs$"CLn*9Co3wR27]us=BO&2(a0tQONv~XׇRzZT?t-XOs=[#hYx ?10 MJ<^1ԣeh&PWk8.-_>mF3'Lh::Y[^鳔>X!x>kG|J]Wʼn9I!ոO(}%P{5OXhڊi7_65H?>#}fI3*3#n&mxLD*uwfN\䌶r #d9=x ދ<0v¸r]s[}|[cBiq"gJELgZsf' + t aXP8g祲eڝ6k9q Dc2A0Tq* vĒ\ߌ-?s RYd4 {}$)& _ MWxy/. 9n!VJI޵,5J*9Ү/kGe=ĥel>ٮkg$[ C!u^nDίC~'Qb)ѧU.eù ֺZ>qOl ډfJ`qX%Aq#\7ƌ,1b-AoSM@[GSZtJɃܳ! u/*6v »̭YHN&TT3 =x=r|J$X|3j&1k:?2"(U2?R(TWTmQdXh*`_#T)g.[?nə5W⥈K+G3 $K h\G,%Hs Nv{[ZAm̛^jzg7cfHuVcљ ԲFiـK2fhߏv^\C6! 3NWb Ԉ.ˠ!4hP9CLD|СdQ߿W">g (TH^I}TФaO~T&x>*OUXamMm`Ց00u:Y!H=볮='Uyx.tP\1r6]&,^E8prpU \FKo,\&hnGPd]Q8Zy,˿!Dɭ!i=q98 $.'m)P 1t;-hQub?FO^i{_5N50Xu+=WuMsAV #/j1>t^ ^5eߖڴ̫&#׬/|,Z[Kd懬k sys|>G2W?<0:%ōP?x21 Z_nA!B m{=2\dsm\A;., Φ[2,36X6m#J[ _~!7{5L.w FbqiYgUqb-!ϣ|ir|*%Ahо~ x ܖlR-RqH'#v[A֦{GyE'f /NE|_ N Tf(O5 iv?3RL,0ʇ}Qȉ5W=[徲[cE|A~n,ynpژolvNO?*߲'Ga ǻM+| éD6&·JšS9pr:r,PU!^$p DVbJt7hUʘ{w7a@i5q\kP'G:~E]dY)