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  91 T, ] HOL-Metis_Examples:threads=2elapsed=36.525cpu=53.312gc=3.264factor=1.467zXZִF! Y]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+Gˣm\5_4 Ɋ@ gu/ڙsvr9e>MXp0Z t3?KAdqt-i̤u oNEy,LrIڌ*T<>]ƪZuW3,dhe^Fo&,65ZsRVtnr>oA= `]'OxzAǣqL|4ZW_[k@důBk#γiƐo=jcuiB`{SK0ކ[AĚlB=5\Q샌7|%T^V2J$76?S9DgUPZaްt pigd 1 HOL-Metis_Examples0^ >3Wb ANos:Roe? M</ụAH&AVAzXyD_g\&y$iNAZᅭM0EFD023NolM %.s&O3Yw,rϵB%j 2(~)^c%y0!vF&}2u;,z]S5W@ o2[K9}ݑE(,gӏjF3:j JgJCd&!avb=eCS"n$hAIͩ6 ^WMbF&|SZsk) |+'CZs adF00>J8P. *16q=m׉r'LGk »2cy)COmGOFzǢu=Nff]Bm_!`.%~>fx*x ڶy,XGnV7YPqD柷+MHُoαg\xVWey,P!k}4O  bULaQI!dB@l`U5~2 =Kݷ>#OLUIYqɓ)J  BҢcs<)Keǜ 5\oiyZxiJ v0ę%K{;.TA*&+(1gH$_Y> |"MA/߿5D^lݽrP q@\ _ZX:OQ?ס7R~> v*y9XF}^ xmqp[huU$6 =Ye <ٮT%GeubҬUɪظ/6Xg,&1-֏!O|Eqص\嬟 `M9,ДʐnLxv:>5N.zN.iމ[8̏}DYXXq w@xi8b*҄L 4+=,1J0z1?w7"0}VNyqRp:\]r M(q3MW,OȗrE+Pn8}Kf/è@aēHnkķNX ;b_Bp6U:wb8D|B bX#o17_{hU` ٳq;ɱgYZ7zXZִF! #]ŗXiɟ1$Cܨ }X 6^vWn p^k8hs W1\JȤfl_%2؂Җ{ {s_$;m+K֊FEI OzH[dBFFfY̔s,srrDžLؒ۰y`yvɃc♋ػ!L'of`B,UTW;Q1,1ۙ;%]Xw̘ HKrqCn=za@]'gyrUztgYZ7zXZִF! y]ŗXi%;c"&FϴBқ/_kIbU|M@ä)A/i{i/r wsn׍~Ϩjǽ/I#=,O2+%>O/DxǁlVq!6Ge%SD. , xX:1Uj*0T%o,~oɪUӸ#( wFMi~*SdXLM\J>.%G+A(2{#&&c9Jv5?Ad"R Be6OTʌ޶#y"RVl<ȹPpP*}z%cپJ3YF@8 l 4֧m4fP:z"Ϝ4_=sN,Ķwj!zTP,%Ţ\t̿&%7ۙ(OiPSH%]rc]J)/SȘEСIBZo.kV?Q!x$’84`\(/N`0 >p˄ +oA?r!w3E\v}ꭣum?Ŀ=T{LzT;{ASX]1+Aq!T ; MGdp0@Be?EQormD(ʋ Mƒ[vM uGBҒaeV蛆A S{q:kyO9/lgtQe* 7a5ZIcL'^DEI>ϑE$rh'ze bn#e %rنݼC"󳱭U#5wOк wO\n~N@>iOtYAUSO(CZͫ#N=7oO>+ӣY>O|+EX f %{Alwc@,s),;UqSeY]]Πܕo>t*_+Z< &Q)m yO|'@bSJvA)VZO^J]tzC$,3 I r@S+ʔW֠?yWMD d4g8cL闄k|ZCΎ8X޺'alLȁm]Z_3R~du }e;Āא[tGA"é9 el\\XD-<#ӷS哜Ldgu MIg(?kY (XifU`w{dysJVȡ76 /8B+K`*ƨ{j@qkC% a% `%-Mb0ֆwS%Xֺ pCTK/U1ڿ>d,9BJx0D?J~Nš-T"M4ݼ wniʟ) RԚ,eY^0Jj֛phd1n0t9ޞZ pOH^jsFk`,y%!7bxԒ+ s1`?;+?ZZwCX