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 ~~c D s/]HOL-Word:threads=2elapsed=18.773cpu=36.504gc=1.428factor=1.947zXZִF! F]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α;}7Wr!Ȣp&J7ĪV+&q#NGhzqU h3(wkZUpa6S8Ol\}DТWZM)aF Sj\<[tʗڥ)~r}2[ߝ%O28sy_T=/Of   HOL-WordEeӲZJFtW>/rr"}C?O.MYāS]C8pRĸ@Žc&+i yVU̥Zk "J_`.I]}"2d16(;O'a_K|Jy.3b,|]Ww+gL0nuh\d|lA~+Ӵ|H.{dME 1;5xvw,|~܀n7 sε%YH6,X:\4,\鿶Ό9ޥBB& |t =_aiK;TEvq370jJ$Z$uL+ZqP:yHSk{x3~eN"{9*RWx&xzuJ\@GaYޜ3Gr4dP߫rrԌxѧ-9:m4b6I.=>2{Jn«>r Z/ P9{l[ѪG;Mq=z`A S mQ:k&U=0D5ng)gQWy4c g$d vVe| h&U5zF'5t$M'.ߛAw"b2T$0Ǜ^aOJXx[t׎]-M9*,na =ג[ya X D,(ѱkJc0冼zK#71RFQ;elXzNuOgz0s`Ew"2SY/r#yxuoN>O^;0{sdr?S~˥jgqܓSZ(u_J+plmo\9|k\mhy}S ߱Ľ@:Dx,*B0 P*?m}A!D]ri4J(P/j+p]{֦Z9/"HC֗ҘowX~ۡ}q HԽosI.eZzjyвuߍp`5wod X o,݊AIY?/A|alHuJIP%̧Ҷ@{X'Y톉(:zuC? 1[<*M8}+9;Hm"D22꠫ԡlZWԒ*\QJI-u&X("C d:δvVn<74IP6o:ʃ8#89ᵀ3 IAe[k4葆).1e~}#-\vSXQ/;3&6T4:R 7R) Cn0Jk¸(\a"-`*Aťg)iՇ$ KpM̟@Q݄&$N fYl qG*n/qj;㡾 *}pI(_5ژЯo/{E&æs?_32sz(=YJ8iqnMQaJ1uN̈Vfu=9%+hI!'T,^ xln<֠VHkC|6i)ފ4h; E~^# &(<6k?7*-'tc/]U 2+AbMKXJgo4@.i;X׸Cц& }i*ſVXWdwxH{Z[ }u)FS8^!!yN)AAR!2ySd )H$*ծЂ1@ɯA5O.g –D AsИu/ pjk:g# o&A 3v9}$nXUV*:-q\]_hO^HJ+ dC dI~ h̎p٣a>)YwE&AC7ƼCBa#Tگtl<>h|8sUneU˦uBfM0n@8% M0㥙BK 't*}ސ(%~׵AM~{ &opԤ °ݨAy6t)!T>S^@EP)KJ DnNPmn}{{X]mwAksJA_r htۨ0 ˹38'CLsZ;7r{Õ㎗ͿF*zGrkvl-kFz-֘Ȕ,y(Rea{1we>uo\ر#,j"4 |+G]@8d:Kw>e9 G4-;^Ibu>!jH1?W!q߁1CkwqMm3J/~13B"9*VvUGFg=R\?Gr~+k\2WL4 &¿YT~O{[D}hZmy HǕgR\dd| L[mȷ4ϓrl2I"~WFIǪ[.*$h$ T#0r*JSP\HPp7؊9۩:<4ZXЬ\?nB@ݓ>9Q}.pEe9XQc)pb\<';6t˯PD3 " :TK3ϣJO}i1e\c5 u z16-KɔpdԢh,MGDKuSއT&C;QO%"Aڇs:7@'oj}-*k+YD>pْAk$y.z.KY_cvssJB3cBh\,v=ݯb\_to޾47UH; Q*/+0(eExg1:|&'m:rҭ%_er7ReW`&.C{ HGk 8oMv2:!x7Z40QK4ũ\fiXAxwP14|"c ڳJ7+?a1JYx W߈hpddH M> ˲̸pC, hݳbW崚<^.:ShtXF"1`/ELʆeͽpQ ?b쿀*:))X.&4%|.z D(*D_%"2'm @dDԷkm g $ >A:<˒%LȨеׇN:bhR ?SZmY L*{QUZ>%ڕYV_q iR@ kӭ/wIvfߪJ.KpRal [W%^1ߍt˳e]M>pbFq_:(u>@_T &x~)]p6@ij%ij]~!ꭎ7\. a,ĵmKy Xt(jSf_?4/ʩ)z:x;WswlGNLFwM|5cQ\^6F ]YǞr!#Q,UO_⹝Ckʫ#`8TWN\ m|a+'vs1O&cT?dC|%<zt#cޒmf/}\epUMjD]WYIw'RܶR jRμY5|@ﺼ[h9QyHFrOnqTR3G|:PSM7|p{$:"8hGg4OP8xJe\AC'Tv81ZM\L܎ 9^{R` S/펳QѪi>