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 ;5uV DgRK'z x9PpYxe- JE_\+"$a=yxG&o_RU4"JyDgz%<-VW@=%:$=;~_N;vuRXceӌ:Ǒ o?'l2+: Z\PU9[Q(SR6O"FЩ>Χ4XQ̧NūpLX-˂B=- lYWS*x`uI2q\VYOh٧K=k?s!\[7c _-(6:`Ld Ԛw* n/^s$Ѕ+ݮg&C)^Yʹ v7Ż=qb3IdhsV~hӫiog_3Q`El, 5ؒ.J ņk>Vـ"Y`CAh+rk[~@6t&b3|-r&ړ.nUHj>8CW͕$|5Rf'X[oې+LR6{1 ;0fь.o jD<]lVp>㜺 <{^Q0~$ͰJwSߦ0d1O%O}R?t8\|DB[aXCFK͍1埃R+)KJ:^6%k(rBc@E=j{ѧWetu`M7{L2R2k\ΛU:|yh.;XqgYZ7zXZִF! 9 j]ŗXi%yL4v՚嫟3z6"~+RBU"b!?EJE4>|.t sh2)R;3TuY_63_:QϾru3X%O;4q&Nt"]bN2~=\dB:7avP>nE%% $f01&u׶i!Br6ՄhSn0) f}aa7aGf=Ln:$޼|g\ G)}Pc3Z]nMaUšDqx`68T8>G@e%e@jцY 'TDj# svZnք^*$մn{z^ê*SrZ\XL.% yEðIH !F,P(ComwN|x#DDD_'̊Mll̃9'I'w+V5\݈_E11xy~$# ~NiԀ'ީzt . .o9 /g-kVvQZ/XLf٩ՉJ^v2a RC acaGP0Uj5$U30TFBbj@)LV.ϖu`Oc> I3s{OVS%gDqoc)z$S篖)wJg>K6LC;BV'^:b L"|h5)oȬ}FZCN_5Zq &[ 'Ǭe$R3NYd/`L؋EavNJNFh)p6n(n鍙+ !^II=u,!+M+T!kړmyѪzxô[tdaP,w'AylŇ*8$˳ Z_5B>%}Xooג U1ʰ"O,oC RHAjȁKd?:['Ni"LĉM&E0:;oh~w h{/g9پ/2ev;"Lxғ?y==>". Ϸ]&v (ZpLKmmiY #v5c4H[nk q.p#QȘ)/Qwp}}nvT5ZαgZ@xx[S>yO'?Jɡ|9zNǪw "{qTN~Y/g8vz:$I-V5o?"cU?+~.*;Ur^U@GNX&l'tv[.%J_:T'aEa~lT*[A)̄d΀^GJRP2P8}r ~)qR9J^QsA72~SZBI·֔b,֛hY-#$mVX4 Bݳ)XeH'x .=fX_33)}-d;IÇy$4?Rg լ4UktU,VwUh 4{A띐] V[ NZbb%i) !1F_mM:,bwbMEAP0+RWvȵN}َ}ɤes!n=ԕ; QI O貄p”ͭIat5F_= o] 0̦zOe>6 mMsZq>.Y ȟxHDJ+7ZW{P`i.Le3ymO%xFWf9Y޻VP^_k=q*K8,tftt GQ;A)4h! QҜZXsPn[' Ǩ]a=RMn:Y}r,4r}\2u9jOzL(Z۹ڡ8tOhlwHU+\۩(`^eܯVh#rJ)"#80ƌ@K1ܟ˱ud)4T܌O ܽ4ՈZ \h1䤏OEEWu+`%ԓN!(q{qnc#qc=yu-)E?jX"ղ'Ɇ\'XuH*g"&hNUUU?52-'hZgдČVQ5H+[bސ>x9W1MLs^-/HS၈4hr"rGBY]VB{JڶkV(SzRߕӴP& I71lb0$l-M /qߪc:c @Pƭzj"~i8~͘WP :b88XdjbMs|k=\1خJå*Qq:Xʯx2huc4mbb&1oQU W U;] Sn#!$?)^8N,@[WE急^#*ED]{;fķ@OwGmY76;T,51cftn_,b:x0K ZZexcYP 7_OPu #ʵ)vŖQ\@4-0Z"rVժen<P)8ak GMc!< {AY+s^,`Ip#†3JQ$$d#6oVɰbwBNM4\E *JJC7 +s@$^f$\X4GOo6EgYZ1a10ccf87a1631fb70aee9714bcb344bf4ba099c 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 6fd9df3dfedd4d886d1333614a66c3285a8ed17c 794cef3afabb1c309864dab5c04c6c6946381a35 7d4e32e4caa4a33c17dbf2b244497ef95096effd 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a49602bdf9273d7d39c435cb32b273036f958d29aa326 388f58efdacd435a5b62ebf415af599de2340ebe b17df0d6ddb032add7a5fcc12292d4d9a6d35472