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 bb{  s/]HOL-Word:threads=2elapsed=22.459cpu=41.000gc=1.536factor=1.837zXZִF! bz]ŗXf1-q恈eO/   HOL-WordO4Eh~$&} _ruUΦ`뺬\MXi{}å5*gJ}" I0{m&"?v,_VvTP*WjD\#i8$@ahoHdGA]&Ez:hٝ8B UYٽd;F/ۋi q(۶݅v@=wf#",dK7F^UdEOI$iߕwkWǾNUGYOHU^\bD+HX ޙߒ. X3xc{(g)v*k2=xhlWLI[3&KOJd; dsth6/>RwE:vS_ȭY6JGϰ+GOLrs ی,d6%Y515Ȝy7j-,&O& c#TKf>*flv4g>C%dZvJыARVUX?Tg%eg)K$9 wa" \G"9wLRDKy$Lj0ĜgSi$դ4Janj}/YKBsN'3k&LJW`,ѹv>7+B3ΪU &OGa&4xg@\jMsH((qMx}8W~5kFFF(%=w?f yMؿ55:\$_WSKֱĻi_TҞQ$14$Hl~ݘ9i.QYV10vt~y5bmx/n0Eh AkMSyZi&t|t1P#׫~Zbl(We(MRSG 86c@`o 8bC kпxOXA^&,ړ$k3b|ʿG($WF97i%01&о?.X@rGp8"|NŴ֝i y:IQdEm2w$K$ &"1RA\LC4 7[SA=w)sQ# ')G,䕌5pLc {€ O%NNKYMM\]~U? Q2b/hXۉ(׼Xt?rhGX* ΍VUꕛj6GRK\VδP-ٱmJƛsmϘ:a83GOBM!Pv+KotD m`z;F|(s鷦)X]Xkjo0P堚UhD"A؃疝LΜ^t,lї7%l>y|=èx"[!:v=G|zepɦ48ޯ2BPѯ>xxAd˾tA";|[fI곉KG!<9pZDSi[6v /,Uq?ޛIPv(l `"&~ϴAtCLܙ$_%BEiH>i̡s@yކXQ ǥ }χ>nojrA ,8>R̖+G6дd`UweϢȪ?ZP&a`O:bţ(@67שo.ڷ]g~F Ǘ{2'ox]I?})gUKꆃ7>vuź|7k!hv GJ&wnuNopm=)C[";Ɯ;Dp%l>us5Ih.+704M?1cDsdd_GL3n#q(Ą5:ZDExgmWfʇOM= D1A~L#]^ =tՙc#De2X ,(ޗp s޳A/w X<՝52Ŕ#&\x; Winu:ZS"Ŧ/ !%H8M>P6ݹ5 B (9ϏtI*LaBCRr)Im!Wܛx{Br PKzf#ݐY?}Rn/AJ|}՞X/op`(Zzf^y7Ɵ0{!HUx(3 bQxVdSEE`L5߽HJ \E DWXQv8; %<oFqZ9(Qa$J@:2fʩ4qB&pr d2JLT;-XN)d*"*&OafS:4TCL:*,}_WQZt{ *8Jء@9߱.g*($+뢐F>]*(vL"yU`$U*.'{ПJ>zLY0 %10o>$ªOtf+ᶝաW.yv]NB/GЄ׿m _dp&$]q2NaYՎ]T(O)PzPfK=#fgYZ7zXZִF! zGy]ŗXi%:Q53J 5_GsE؉/RZ?ǣ{p0Aخrrr* CGt̮$&95)9jXUZ=%y^iRY$3LrII,MzH+8s%i~8iYڣ ]V0G^ 3 n)4Ш3hShۈȺpVEJJbbBI[>uahZ{g؟o4fcIp$Lq{ĤWXkKe1g_uV!3Lj\d ld! 1 A,iXGzR3HRzxR\NF8gv>-b5?NȰZtfLmm*?*{dp@ b%d~@T$ξ$)Jo]p _S G P9C0o#%5r4 ;QdpGEMvlnxw)d4sAeb'F̱gϓU'+$?Am ߗ9/ jSR^S4("Ylx%Fd<]yIfzӳL}og6/QMc7ogʖuR=NjcTMEp(ÓA-.9gGi)+cР]cv!G1;0  O=yL<U^?6I/ʼnr rfD˪P.g9ψPcAOنXW T-Hu( 钄0R+](`XjC,`H=-e!`%!0Z?)R Et8ʕI9EVYAx8xUKϳ{COHu_@[s|}E.PA5yYEI,ld< +D9)%ܦ8iD/e)g`[PupL2 ;[ 8AngYZ1d2823f6eafe595cb247e1c2779789a21fa81343 1e751a0ab7d878d8758f0a5a39d62ee9166fea28 26637486fa16c4a6c402ed96447722311bae3e03 30cd8da94f5f34145b9da7fb3289d009455833da 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 54a89e2b6281de8b26bb6f890f59db0c431e3c7f 54bc02edd20109ec5df1f897881ac82269c23e46 7bdc86c0ab88ed1a1003581f54f0e2dccf7e177d 8ebd2a5a70614ce4e9229427fb522b89f8c795be 977f3bc872f2fb41026333970ce3a27464ea90af 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 c37876be52d86327aefea334e036dbb1ae3042ed da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dcc916cd327a9b789361b9ba14c3a69c848a9faa dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 e23824c3449cb1ef1350bf95f566d829ae0845c8878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b28424578e8c3514e2bac7ec00f1b025bc573ee5fa1233c9