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 HH-)D ww MFMC_Countable:threads=2elapsed=65.216cpu=113.412gc=4.372factor=1.747zXZִF! J]ŗXf1-/6vR[랺 }GNν7h1|nZL.{0m7j%2޵n,ԏ3AJ^m2Bo C).vxIufv}5_aTк 7AG`te4X#|ƃAp>|X${a=bU/ Y1V =OFez(`6)/B;kf%Ӳ/E#iI 6Yl%'$FPlыϳҎj=Ec$!DӞΕfuw)w-lЌHq.BпuUv%1`2A?3CѤ2Z8%^}.ht01H-i1έEsAJ3l?3)AmKZVm>):ˍ_.F||\pI6 gc~9. c]hvBGߓ nKY9I1aC91*8bxEE3E=VC_lLrTܞkq[ܽ*uTʃKFtDyEs.!Q8- RXy1b vqbѨFCW~>`iBr{BS9:y[ע}=w=gιev5B⓵HMܻBD5ҭC'$~wX:w 20.[[` & r` [1 Ȭqn^Qvd%hYl šAq^X? ;Z)1j:`o"¾k4N46}ݍKNL2."e/-IDHuhIF5^rCwN|0׺Ls[l(:Kj`\/K2d^\6lua}^(* f+X7rοtw"2nzG [Oao]W[׶hFapɋwp>$2eW5 3JdfI fvЋ6_#:-GyFTJQYUO!qCEGXߡANrڪBl&CH/"\.(.KXΆc?Rw~iş.ߢFKD? JKت8 4fǍKwYiӑ q+hVc-Nb=':gf6|F2 9.t|y'i5<׾ϝFV$ |A ) MFMC_Countable!D]MNv@u_nЕvp)RgZ&>ZB-tY.H p'dXט0OtƜ:@:qx30Aڂ'[%6yh#Uܺ$??d:Y'Y-FbRA /5Yln6e.4y&1<'҃#LiBـIgQ9Vѩ]ٗ@ 5w%3$Noq?us95uYLsZ\ 'U|wl[gCtPjש>Hd腩j(ЛߟfK6CU~B=`xeՒ4d pߣbXUas=kYW<٩=ѥQ]7`KүVxu' bJ\HC T˪1I(o7֐>$OGn>>sŰs8pV~aE;QB>鏔wnWhzyXpЎ{jxo m!yt\]g 'Lyһj>>2Ipp0_?n1ꚣ-`<yΖd)P*r^3e5-9A`]? bu~G%ٛÖ:Hz~9P 6gPh'!>ws` ;B_B˛ۜ}*pJUilVgk(hsز`N.YRs=H=Wc0 L2Y 4}2,1KDvB%: 1v cqR+ۼvgnMwhђg|iœ.K~l%lN`Qq礁uwx?daymWd#7!6Y :L;.d&[\C3j+n%^(ТmTxjQۚq@[h* fK@T~ ]%m`&d`#]䪵j&ոZ(+oz8>zԧ%S^bNUHmX4v0YQJ"`xif6xd(S-ܾ<}rcZ"s>[cE4{.>F^M5躰w~j:JW^`R/B/HK*f1I"diy [}.NUG-z <{%!MVB6Q?#͵YON|V:\􋗳!+m$`&cO9Yqy#Z(!q71vԳCZo SΜ]MĞ25 -ҦdFjk~ht[AɒZj'On/}I?w4%S &/bJq1!Y1>3qpdQS5$*aԑ Ě_Uh;U)g}(偙BDx+'Lڸ`RK\k+yH=HL{;Ǧ#KR*NmTkk#N,$A 8M;eA;N5OiDLg =Dg`+ɏCX#v[Oji]{G_Hd&]b0HKa׭'jM.^_?]j{)W~nEo|0|6|Lkeq5 ?K'e־P\ΟЍMiҼ pΥj$SJU3#F9_kLq~[ѕ%Nx>qnFҒ!alZT6<+I߸ur!p=uLP%CX$0h*'P*.FWlH4ldFmߔz2 \i<mYF|Wx!>bMy~LV3Q;ǝQ[c0)2x .X5x%@ڀ[.;vVznMAdd!tĻۇ(ě|2گS=vk;[a[]N1b`P$d%&7-Z /',b+ 4xC}TG=,_KraKs '>D,XׂG:\v6Ҥs ~a/`Kc.]WXא_Z~FWbAZ)1^o.!!C(4?:˚QfV# UQ SK0g_u]ښHE&0:|e.ibV<."k /+]rʤ212MWH+'].p"woZ*\".):XY>e˂6U\0%~rL!mG,<0T'4{"vFљ~)k<7T_t.FjtB:bL#UiBdh"}Vth Mf6S ivbA`H*KOYFˀZ:_gYZ346146238c66aa3e706857a5da86223bedd0d725 5e2886080de1faa06657d403497f877b8013669e 68868f13b448aa6ef9d76ca42418b89ab30a2176 727a3bc73d01adf44a32e16a42e3681b2739013d 8f298abcadb3bba8f71b6470a1d7621e1385a5a8 afd761f8cc3d6e32c1731867d5a823768c7d35b30ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 84ded59b1a2f7fa0bbce80ace6919f0a164bbf83 b4ce797bfaf359b108536b3de39fc4d8d85eecc4