SQLite format 3@ .  YYQ77Atableisabelle_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, "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  #7 T$ / WHATandWHERE_Security:threads=2elapsed=49.915cpu=87.448gc=2.484factor=1.757zXZִF! +!]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸ŒCꛉ7My,ٔ{҄A)Ox$}͸aX5h?qo@?o[ɒW>$.7-n)PP-RY&NMʤ˚,wZ@;x`1TJ9(Ez0I^ljb. LM\QϧGB7Ѣ#t*?XSԹo_ C]$ ko%V.TmcCI,#9S2&Cīݟlj}|E+·#ESzӦ i6t*.nʃ, )f=]1mL~{w هCzK1 ͭ ֯Ng(56븁OӞUY`HDPr ~yp 8C>o~቟7WC FY`'7bǑ|C<H*3a} '嬦_ox bDǧR⥱~U%#'7IO^6ـve(/ UE? ߫Q9^K7ʾ3U]-Q? T 7 WHATandWHERE_Security32{yσ Av _o)jY19\z|VtYZ l;>ejgLnjqØ 5 n_N)DkG.&v,e Apw릦ְoUXM$ƶ*}ҧ9(Pܪ k_s\q>/qy}Hݸ<ݘ)͚5Ȅ T7+j? xZ!C L@d2%2Q֞Mc*Ap?Ņ7[n>OBג 5ȃ]Ȭ]'\80%$HXx3[ ;^EC g:V(snί t3c7+rB/aĥ64"ϝWV9ogYZ7zXZִF! ]ŗXi%6R:efcy.ڵД+=rG&HTaֆSpxw4YAE&fr[Bb)፵Q,6E !^q#pR?чE3/s=ewA¶#w|>;{l˫kiY\|!!bӗ޷A5>]!x*zljM6a+RUt5L3x:teGo-$R+;+$؞#g;JnĪZs"gZ R>金)@eѣY8i!.Xbt{~{&]Wʞa:(zuFߨ_Wlk& *4F [tZ3ĠhsG Lnufת@+4B#7~iOSctHz㫹ZHLYH5j4|MEy jX7sJV%Lid`+܋e6'F5s 96+Ӌm}_?XhͬsγU2Y?Q pI@nL d=`*Os]o37wmyDRA X)nr!CRǎZ `=pRxUٔj8*/wߧ>M)lng'k.Z¥l'\l^ I¿5hY.!},QE?=+֣S'3v'3#!k{O L BƫMT$Luh/[ՍYkD9)d퉕{C~>D&EΫK`SŦGm}7V#255#=n=jfPb%A> yyL1Jj2|ҰCғPH7ܟW>pa4ڛ57G*-1@9,D. /m H.{aH uC8rblPR_M_!;OEPv{h$# ؽф|e\VU2?\ΥF:-+S} ԉE~9YA^:ʣh홪|h"n›gB_[ׁL)s}0gp<,!*&H|07m'h 1a: Zޘ.Ew y{ޘa3;G+z2w"}"khw9[\)D 3rs]lzU sX-p=[=iy?C `YI49e{ulNl\'wO,1 θ'85ƩN{$Fq45Q3Ab(t_aU͌<^5Dz`&^/fX496溿)xJEDg_\Q.gR}3(gVͦv2i0[xRi iRaXVȥ0-Ic1!)ZV\S&s`,sB?bu$4jg_ <dFIC AyuzWwgei6e{bk2u-L3}{"xJCuL>֟dqK]`RG&7 J2mt@0!0)B=x1EHFW"rLg{E],g%1+uiT=f &5|}lh2D(gc$Tq3zR.T]kcOu(TZ=Dd5s`|@r3М(ӭp!,iQ u7& #թ3gYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 562e093c46a90f0b21601ac6c7b755f8b7e2a500 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee eb74f23254781395870bf911109bc107105c8b50b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36