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  R R=|,D ]]Datatype_Order_Generator:threads=2elapsed=205.313cpu=385.204gc=57.408factor=1.887zXZִF! *]ŗXf1-/6vRZiPj/7mRp!p\TD'nnD ±qR||IYN$ Q.x]^_zc-ڠ뼴`j|0YA. u -_'viaȂWk0 M.2>U 'l> DpaaS 7Xa,0S!jo'fApWՅǪU17n,׽%69jӤy[diWϵ!UJ-ę\ h(;9lr378sbF{]g ƎrpX떔ڒ{ ɇc|o^,:c 7'RD=tV-*r = Datatype_Order_Generator ei.R(\: Wq͂}n|cM:W5RB\/iH P9AMN=y.T\1eBY+.;N*Xp,YƎY xkɄr9MlV:2g9)./}߶ U7LŪ:ǒ#rsCK)܏6& $ s^ik#oxwqߏ'8[Ŷ9{Unw]0dh +H ωƴu.6S۰!ǡ; cq;R㳛\:N90Aayeq"VɅٲ85Unpu 1`r.TCkYN|d5?ZW:zk|P |fmGn+f% ۶}jC[8H񸧆2*qH2䂲eRT/C(la`ŬY+.gV-tIWѧWd2'j&VLF723Rӏ,# M0Js "½1oO*cGm6ԇ CF ER?k~~<}.|\=2qsI9蹞z@LjaRsG`>+WgzL ` 0^Nq̺UUUeH TXKgYZ7zXZִF! s]ŗXiɟ|E\Ât+.*aphG)%uG:kPC@?cbڷI[ɮFpLNuSV}%M+]h=f G8,#2رtg7t {:X -\28k3~ݴ,{<|3fO@9 &x9!nUɭ󑦑 Q;A=kL GB@ ON>mgW=ia`-GB/s疂2K;Ft *gL1~]Fç2xgA8YRsMᢁ֨'BCqS!}L >OᴖP /L9UcMo0 m P(4RdZSf?{O={٪ W8Bթ."w mwSpj2¦K377ZkiףS-nᙈnq/uM>ٽS{sԐGgn4,GO$/ P=N< ?)A "R!7ug51D7}1,~]~) יu&@ώh֖=XK402`BC8HEHr4?!hv=uD@T/[5ylS`_ŧ{KbE8;NHvT\z-;!WƱ܋[R[2P^G"Uv;Aqd+6QNr;躯yl# SDUV乹 S4N`;-xHl81޾xf ^)u]s= abd0/ _&7f]7LI䬰!Q{-031]O~בi , A}4Q?X/IH+_I^S%!ȧLd#1Ò5]!.{;D(Tnzu2[o8y"esy5AjDC=Y?cחOYR vhJA22'*\ < 4Ҋ"f_w؆[ތn-`,?T-adP$iEؿhpYx YyCVhbss4,N 01O?zzw`[3H̞Y_15ҕ@ж4uKPҧctM^u_dJ[<ЕCJ2а\ENV\|AD+G /`j$wn{;藥q@JwuY4ie ȱY R;zVK|SG W7/!z3 (=ːͮ YPS}pQ19RbAK_ɥMU-G)y:x {KsLźY][N~3ϸʀ@.N-]I1E&%Yp9tJX}#FaELX`sZӯW Az.Л As!ʅ]Sɧy4fpm) I$ωB U?Ԡ.\a2d-\o?KFGpNfJfٵi9?ZJ˯XjWvdQ !VϜZBδ!>;Ґ\eHV1E ? op8[R j>Lr,\ӈ8)ȅԗ}VΉ(4XUVb`M?GV_Pj❟Vj=*52E AS^qƎWzZJ[ :Ͳ@jmp\P m?b] I>m g;ON2!Ql!M(R@C.FKC,)cw`CUCz!P\et-*'kz-s[*Y:t$QR$ ޑ;Y,ye#Pp3n3Vdd +nu(?qlDP'npc^7d_>Ԍh,S*&|OQG7\%y'jΕYrzcRsl(k#zg]u4\J>FhW4 Y?cy2pukR~T#Fi-B)IGاdx%MspmH{fһ;TJߔ+76 :I\z ﰫ)1XQ7 S9EWZ:_11XFXQ(iV~EC ;%w vb@ҀDԘ0䶑-'߾Y!U&kug&pu਒7t6go\IF9r ڙe"*\ƾkW 6ZKOȘgHa rN:cÇ)OU y0SA(w{xL؇<<}h>ACָiSyP d8Maϡ6ҧc!❣p d` ;]c:e[YTC282g ٳ.HrH)Fx;XVgU8JkҫK s09#rb!C**pI~L~x8 ZX_ext Q'w}N# 9vQk/[J]9([1*HMwBX{{Boj~']Bu}m%dݱ55k0UEenD-Zdz,Rxk۶ϻ37 e703xt?(;&cDV<^QiJf.O;u܀Dgv0|k V$JhςNNlhϰPbچ#TcF\^T^Qp+M8V9pB%8TY{p01f9kD5΂h$Kk?١F$Dyll h_!eN76 J'S+d"~IUbJ9p4]1Gl% HJ%7sݟ^5S[OOpiT5=;}nL5a 'ן]ʜ8,Vrauq(eU\krꈔ,%C E ʛ,Z%Kx.eXeDcV/y(T00-AHyr{pJY׉KړYNe|$ot" Ρ˕f=}%>tOsLjg#^B`X]CzR.C!ț1460 v/ZaМ7̱ї /`g,Cf!w ǤM)!1IM0eTYU96lƆ V(id8fU,O!Wm1zBXpYx1 <>@)ĈEHvDH۴,/[#smˍ+h/.[~ԁ_Xr80KmVYQgyUC43XO-ZxWmȇweBYB0"[ù'>H]CcHMl?S::y3 _%eAJF4t'%SAG:d>)odž5ch,\haƁGQ / h1+7r]5Xw&U2w @hU~1n.s@of[;媺NbMȂ$d<; U6>]^s2;3ML0d$嘦i,O_52x[}-23 rD8C<2}[|@{bl>.PaPBOu! aCȃAmq*#+e&W\_ʕk /l>swtZj; ['$gGac" 3;w %9-~kS |WѱgYZ584a07f447bf2672ce4179491a40b3ebc5b47b122722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af9204d284abee5546c17d852522a3a150af938e2d