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  v vwEd ]/]Dependent_SIFUM_Type_Systems:threads=2elapsed=188.290cpu=291.004gc=9.404factor=1.557zXZִF! ༁ <]ŗXf1-/6vRZ᢯0#b_Ma jw Β8>ǖ;qg}`ãNig<) BV0UA~3`l˙55ʁ2. |(l:W.6xE6().I=^>nj27m5PYs̱<`X_X߆'mNr*kaCҋǁ߂M$ }e\ ~HzP}3֙JA(A iߜ 1,4,$oI2Z5P>@kjߒԣfϹ]LC|N[9N7] F/O1.%%~Hh2m?.8;KQO GёPX*Eq0Vvw=PH$Ȑ 7Yiv wBțfnw1* qD:o\?!Cͼ'b,EsFXhB儘X|oG)( ކw{ 0+%?51LodZkm`(8Uke݃ Dyg&Ƿ9eОA.dbӝR>} P2Iu O 4v+)e1PiΡ|pxQ(dD=7R\(xYHEaʄf)a['f8/;"3O&s&y%jFmAS* ̳dHKS >g3o` pWpj\S h'{J_ TɗFI9x`00A .ֺ4,3Ƿ(a/I0(Y *caˣS+> 'Lŗ:\yK9yLO[WhW=)׶q5"FDvcvdLǶkip$)v PX̔>5Kec8NVT>XiCN+њ+qؚ^AWTAZP}kǵO$Y5u9?(V]C={VVf̈́7HZݍ?V`R-K1'ou8Q%6G:.i4k*_$PƆA"+K Ǟ$|A}sZ  .G" #_Ee?Ȕ/yp#{yWU 3ޑ; ꅠ;2J7T4vnV@+RY[\{gktrսjёرgYZ7zXZִF! ~$]ŗXi%6Ģi@cQj ~Lj uPA6+9mN5e/mo;5җf1[|]U~mh3Mn ^@w9kgu)}=lі8ђHB[&x-8\]8Pq7ClR/ơMU$"?D0>φY\W>&OaS7ZB8$jbNwHLRޒtRp (!&|ZO4O:Wľv#40|h{nv%BʕjNXR+pyo?H6HYպ!84z`E,|SE*R+'RD o_%Q̼κ57YVǁ-4]%y{ ~$m_~͋#Զ.nB5zu$ً`9}-,Zo#L<9rSh uc %$qm5s%s|u28G_U<IQB Z?yC MkOVaT EQJ3aqj2-ݴ1(b;%Tvgє>oÃѲ0moTkfжR47yՁn3^tFWOñ=c4>ͼff $ IDKFjP-hi20*qW.YVK uFXWH&7G|BmG:h\o3*Q-&'@M=B61UGA/X~o G gyH8SuڀaD8vcj ;e1sU2:q#:J:q=ozH\Ir :cQ, 21fҗ"Mޯx[EC̣+dކ w%hv4=w!}H66`Eb1pGǕ&2R]~ҔК"4K`x.7K㼞.`aMv<&EF.4DMlhZf8(XspnIؙ( (uťe SP9/LJ1| S+5?濜v*0tgF=,fʑm'q>v]&i|THm8cSCf=oB8ϋkH`;k^&MQ颹I&K2J1^gjCGDZJPcǤUhmNy\/l6d:炧KxcAuFœhNyj}Ms?|v0"Ђ!d珬oDx t:>)w7$[ yS4@C8V<%YnW6qUNJ½"DĞoP9"c _ J'VYՙDz+Ek8{'o@7btY}13,MmdW )ly?zO^$K~@t SէѧQrV9hz1;ͬmH/U ||[YXF_"@@!.n, ]S sM4| `Hk4~ W>c7h7iZCgB:QE5[nmn 4 XM Fy1X]iWʩ BIknn@?=42v{o3KA|{өahLLn{"}FEF wy›Έ h7pܲo(̐}YZ~~V(@xF-u˛!(;Ii$mUS[ۢc|u F`2xnCx XZ퐣 IOAʴo8!RZ(NesiJƭ[.!_ٮa){\܋@3Bn'h يyD653̝C+نn.ChPg: %&'-~\swrS\R-N@{튢#)-/,f,/nP9 -3xV8w(x|>Kz-+IieƝDz{OݺHq᪪kDGێkx\m{jk*]Wi8ɊLD4=$6.[) m d}aV/I'ۉt'B1=J9veF1rmh4zLHc_©).Rj{-҈s$iΨ)V{~ "7@9RL>ps̶;fP0 ?p4bRk}d'*- Y?^XHx9D3J;dBYi]d'aIΚ, Z' 'dzGx "ޖM񿤖 O|V ,ؓU#hY8kr7Z;lS"&¾z& -CΏ:_{DR=_UqdaF|Gqdl 04{2FbXhkgOB~ᆩMxme{mȦE|`^W؁y's 1Z#x]Gxu$-U2mm!"RpE,,X$S=q\X𡘘cppىon#(}zWj o&kE!Ʉηv F^kzm|ohgM܉@Ƈ6cexJ#]44J~fر+'C"jsMWzfeSX15؄>٪HP%|YjM ї.)Z4"p{ywB@ƥ%#-a˫e6E R)kbBk-mgf~5hVz[&A@߃wyqHcR?̯Mּ'j=i9|kA"wc,䷲USǾɪ~)7P$;\+!Pa_|zp<[#`TGQgn)gyOj`*0.<)CIGaJwG4v?&S~-iG%p4Rob!:d9B?e3䫞>dU?RХ8U aYвǺ64 4n^Ry28g+[#\tDlnX{CwxbR( ,Pǃ ~-abIzm9=YMl'.fANH2ʿ[9 e ):Q#.mihłEfqmG^赢p@ r g0u ɮ7i$vw)XA/&Rlveau)tQg^8RCb $Mm'$& :x="rh?|޹SHT(L]V] ciӠU%5u%t<2ݓhHR,46ͫb$lWP]赇f,0yyg^R,Cwn *Rݠ | u ˺ɣTzaV֥-Ba*Zh ضG-֘HA*v]TvY$]wDhxRAm.\+}/^QeW8%W0&J k" aw)d" Q])Al؂AoP]nr5b3cB|b%yU)>*b8*WkZFP|Ȱ l.l՘E3W9u!l)duNǵqm̗Gs>׍PfdY՜BIN`6#H^qc$brT5}8ZO=q-sGfyEjq8p%kcD4Qk~I%zHNsأJφYBV?H!H ǔʤRcerKΪwO4IkhM)x?M`P\& j1Yl"k?G h5+Gy=7cD T5~roba'F5Ҡ/Nѡxm )_;0ZbRMu$/aHʖ AOip7?AHPWG}z_8<4HJe+Q.3nܘ^iLT0@h?h=XMVQᴗHsr7mteVpQ1 wۏR~׉Ô',K8[Sj0֊ +W xȚV7s k6naP`kܬh~Xi+, 3R@g$AX|㲋M32)Yl}M<`o]!}m=^\kVaրՄ=3F椋SęٺC5~$C%gۘUS._ڃ*.ջ縵%&pȤ~@V&)m ${.uX|X/Wp\$J_vhboV Lי/Dv/!G37&}C'kgO.MH6Oخp\q&\`fD9`s:7S"VՔ9#&+N5_mTgZ GjP&27h]ɤsZ%֕B$ \{㜐)Hf' 1/Wx d~jf5,Ю{Elf R͓p]XF4Cϖn:_q~u۾J&b~az=v~Wjk^[)VO^4m1B-hvFb <(KwM&k5T5d$2 B)̠܁_NGn-{I:J``1CJ55s5&9()oI9A|HLTK*Mk jȞش 9iۉQ<YpmThEx64cD_8~IXNuoT xѢ 0Rj[\!+UHlmln\|/La;:| Y!O-oΚv?n*˛')֎ڈ,fã\J(1iHt+h|(ȑGds,TMS:ZR0`˵bUnԽ/#h^FPA'4rAȻ}xm9O>Wۻ~7&IP"J㸺;t!M.&,⬇ͱ~)wW㿟H:bڣC$,Rrg o RƾR!~0yuX)'N3u (ԓ%7 pϵl*J%A)fmע߃#UwDfW