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 |+ T !%]Simple_Firewall:threads=2elapsed=37.219cpu=72.864gc=3.712factor=1.967zXZִF! []ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*$c\c|`suӱ]TƐ*~4@i? '7XjD)k,F ݢޢSz {/.\ahTYp]]yJ͡MB{ j;iRSb9wеKJ+3Cն!]k:dxR tSSxtY\3=ޝ֍j3u$Y#RU4qЂ"5Nܷ86уmp>@NցBl2IJ9SKE1OZ y biF`uLhqD>e?~I Q)׉k~NC\R50U¯&qVu~^Ӓ?3cPceAB8`(iy{1N +g$[RK^P6=FPPu ߯KG]JÇ.C .Kұlݺ/I;ʠt.xE!0 nPYa8o/YOVmM?hi6-$mťK 1r$x24q[Y zHzy )f=/:!**ȈMRgYDSu:L%jэHҾeI@g_FY!*xpOO$'7v$`qjH36uf봮MbuSs?\(]u5peϾw)]iCIߑw V?ɚhԜA$®3|LpĆhA"%0jpzxtxj&4UgzBk0 PMֳLh gk_kB*̆ 3kfy`Zuw=jp@;iEc%/j 9{%П鯔DܚAe͂EYխj"&gX]7#)QbY튧^.ڜdۖhJ{޶Ip'vgV`ټ)BSyn64/ПAcDE0 Bʐ8@8rsv,e2|! UNhW:͂rƙ/a,Z֒m}i48Û&@M{ag@ _ȔCJExJ ZD>h11)XM]zO'%Aӧ{%#fE74J cQdRHJj/U[c;Ϩz _)f^8vsaGM7_~⻐}^a}t҇[$9p.κw]5@Pu:9x@-l=P D 6x3a#ryJ@Q߭#B5:.wYBJ P׶iVHs0Rq93Oc|I߽_Ё߳ !(uh$])Cn-KO&ì`e9GַSٯ3MV=X4pWЭ0LKؤ48Ry3l2%ܧo/%uƁ1fY)=0nM;CbO$@ \.<ʝG/iaLjU m+,<QW% 0?xQ@fa;:[Svh.e80ly,n#t$)fצ"JwL#p`X,Fٸg, :ޣ?JĮ@MYwZ\]Wp}n{虆Fv1Yߨ VgN[p%Cp6 n*֖'sy%;1{Yd{%GxC픥mE}=C7<PP87/*{֩.`HgBhS`t(WZ&l2C0{8) tޠJV1OK׵+,8VyI@Lz_.U[7`)eWnn@]_,c-Υ85섿J JnthMvyJ/IDb{?ⵏȔ:o 9{LM>#FaGw@ӵ&, RXPOB HOb»|n0dti}|s nOk ܚi -cri_V,TѿDBBn*ýAiF4(K%*Xn)@t>#?A*nP6~ùNMwk@Bh'TV IɀhN 8ܴh  ^,Ķ݇H?/!fM]HȺ6`Aa'pn*)@5cU.'{d35* P *%wy874b=)MeLA!Cw=orM/B'$nZ7 F=Ev q>fV[;ͪKZN_ 6D=Յp6v}'B_ϱi؇H"YMTb 63!tO ] 0dWܶYgYZ7zXZִF! ༙ b]ŗXi%NH70xAhֲ̛ #'Y`SQBUXF<8@q鶳EK)gWoJ۹?e`A=l)&!ETГB]淕TbYi|(jVROHH#R!cMJ˖H\"fmz@;pGDiib pHWΓwC/CdP0c3G~9%G|==)eCã2^-Q= ]Xqʷĩj}f@El6ڥ\es6fۿB☶SD:sߏQ5!ޞ3T HS~ zgFF8'rXlb=ٛt /t.@9\h/{&~)cڕ,[>3Է.%{Q2rMX:&dYENhCզs~})-S o.01 Qv$FGkIs^bsaVrM>!D/W:--vn 0'/`[TS ;1j:h fş{?z/ 8Cn/_ 4-F-1_yUgǬ*[%vgİC;f\_`=v~3ވnd>xۥFh<C#Xwm&2?Z6Ģj(0ym'4 )K~{zuYSF8[gKha< (~>n&j+%|wN -(X1w3FǍjCJ&ec6-y%n[ Ũ@QTo `[1۽t2.O͊\AB{%Gn"UJ|e}GؓS\xX&d&Ф;`2tvt oA+77:o@ Go<cY)Hefx/&==] ̽fW 3"gȕ zڌm?OAl\˙w9j4A0VbA+"3@ʓ3]k4xyF5g3&5%@KX₴#-p` td_v˼4 JK"\){lĊF Gkl`,8SɡL.t\ ibh ɭfKT' *%--&C?M#oRmdrWzeb9"H-yKxΔ prZ$ZjI ݼi Ղ eKTEk Op$oVWpz/(a|3;)#d 9_"%ΞS+A\;C=un))[t F-LAokk:j03trneK8gk^\Um.-%pDݩvHڂ.S`Tv룔wQ=6Zl:cۡ`!Ggtf.k/۶4qbEr)UD*nZ ˅ L0z[1WDvoJW#5o/N}?)\CFɃd5da7| }S_jFKC3gYZ027bd0aad9da71e92b47d13cd1af7fc1e1cb9189 128b40fd534163d8c91306405dd839336dbf6421 1d358c05c770029d5ef42fa607b9b903240fe539 2865e9e5bb779efc0d2a109bc2805e889deaea3e 3488936885f842ab3ee157264e285733cd6bfcf3 3a57ce0a51d125a422b231e75d59070d0ddb0ef2 4ceb45c160f1c9d9b958f8c2a0edc2812ad3710c 66ae8e5f585f8c49c88c6f82efa6420001587741 74718ad600c312a461b137ac496c8cf92e680467 81f09c2bc556614c2670beb4e520a755b6e84899 8423f71a626c72553c9a74d758e57793b96776dd 870bd6cf13430859ffb7b73bbb272e778ef02e14 a0a6fc9a53358b76b5069b9274202aea68e0319c aa14f25a4cdc859e8a963f681829e695865b274d b6158350ed0881811cfd48a176b9d6b3fce7a387 bbe92b6f64abf66bf6cbdc4713ca5854710a39fa c4c2b8f34307ffdfc69babd8dd1d5c8cebc2c32e cc3e01ff9b00cd93c82a99f22fb1d1992a9825a8 d2148a089fd494348229bd08d9ed72e7b2b1df1380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 0d90e78a71d4ad12abb16f8b317db1f37020fed8 205c445fef659d1bb829ed14cf20920601e0921d d8ea739ac4e82a47386687b87fd7c93bab74b63762f572e4d57be7a8cdbb84523b2b959df5118a24