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 MM1 d ES HOL-SPARK-Examples:threads=2elapsed=20.296cpu=33.716gc=0.800factor=1.667zXZִF! +]ŗXf1-q恈׍ V$*(7e91z=%D㫝^ZŨᒓlo1=w@ Ǝ!CEס) ~:<XQ52Ywpf+䚹slǬb]HP܃6l@Yu;^IGm,u{͎W 0KW؈6{j8FJ]DP X_0P=Lr#6Wl8 !mN%}4, 1 HOL-SPARK-ExamplesL@EU,DcMR]:` wzJUF#Xr#~|@zY#,2SH^Iq0W?slF DZ%0{Kr]_bG#yV+:I=)l4z(O쪪/ e& {-P\@.w`PH佟{f*D0AJ'䝓w|?. ?12e-m+'''#Q(7/DR%P#eLkͅdV/B,X mÛTUZg]uV ˪$ZِnQMm-eYEbd7ondmb/ԯv-Y:4n֩M5BHYߖEW]<.WK&Di*ٛ ]Q8BQ'qW?[odc 3MtWo]VX0,Nuv];C Lv M$8<~@ZBTz/Ir%A^G%Tud~nfd֍x!vC}8G?@a'^D@3䞫mCI/)L`%EzEdqB3 V|L?~,/4k-vc#=E=ys~0񪊙'r >‡ r^46SGNVECq2&}Yl)^)*Q+{,+X@3e׫{ᢍ;|743U&]v#YCKc Ws R{C  {9#ڪ)5YV~<ѭB.'%*nHkyKfo"%x+lwNl.ad0lC}/WA-m3a7?3(T_{j/—lKzMZw0gրPXˡM2E2n)n>ð_\LLru6Ԍf,iоc.{ WI[nýaqEG[soLHqpzs8sZU}w.A+}Wh2>j1cP*L$^CFg-t7A.Ovp, tTByy$)bO1ϴ]=_9'T8z#CwgjT@f <ۘO2Pp)T Ȣɭ)D"P<&Ȁj|+%%(1mq&JQ޳Ԏ]W\`귪^??i~߈ݓ#Kr҄Sl|nu wJBXMaUD< /<َ[>2nYO v3~f\;+w*br utOӈ>*:fkޠ`N3@H>e4ݰnNyii#784@Ȇ0M&JytTwh q5:dtD)Ty\/~0[x|ǵa^~Jtxt4Bzx; J:q)ybSgRWY^<6QZBu$S~ %ZBdgmJ&"|NF b&Fc>_ZШ3+X;2^ބug!L(PO?#8dY.[w5l$CEp-,Tc >tz;yn{Ou_ 3l>C'fV4Pu"3xƸp_:є@g2Q Cͥ.pocmNB0L:ePw ȑ37 G@y}\rwS _+$.?Y.|tحͦ6S^^KUϿP?J.(>۳{DacxCXtiIP-o˳ ne,*6yEMf集2rtH@y f-2_\CI5R> 4қk,A&/&N@ń~{ 9\Q1̈́4O QEwF:W&1K.pO=M^OT/@ck@f^˭"8Y,d@$3i>~~%) Jzo8&y䄰/̟P?=5̤m&9څVI6&ql-t;m_E?=M;s~ua5:%Q/^)&8t^I m%}$BƴN3vﬨ~څp$E܊< /fw4e5H' >(M D<*5 "τrrX8£EՏU`V ?살:|h0s{LׅlA=t] ޮ[\cs{wn?#Xn`HiQ' dsRmqehCC*3]ר;҂