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 \\  dT ]IOA:threads=2elapsed=15.594cpu=29.904gc=1.104factor=1.927zXZִF! m ]ŗXf1-qN50^ ʕmy\5)NzPNzMr,HB1yo-xtGY{hug#RIdzU͙)9t MamqD<)n6}mYXy`C3lF =SzǵiOSxqfUq{f.*~ cZ?Ws &}E$a;3ĝy؋;lK 9ᒕK+d:3Zuڿz*s"4KW48`Š>dѨVJR(\FcIrI~ .ZVh=׼ =X4*LM-=%vLHu@0?Ϸ gH,BF$#M`{i6.#Z2Vݩ5 C`:NDkNn8EYkO{W<6rXF\CC4:4i{.W~Z潯Be9Knb]e¤L:(e`]rASuSUoN ?#Tr9N\n4 ?M73FH0Tqnq3xs[6fC<ft' Z|< Z2,D^XEZF48>4o(s:Ta]"Kw2̢ٷaY+BpL:6'",ڐz/VPR& IMaUN#.i5fo$2>J_ Ǧ-  IOA8#\Ycy6(UIǎ}PM!a>,F9\zV#{Q`FiB=eA]آ:qA!yl s)D{Hd3D}}PX}sxDms#Ii[ s.́,; ҢbHB/Z%>͆!99KP:hM6arK!D9!::'PRgY Ϥ g6tL!!̞6֭eڠGQdsj$oR\R4Յw+'ٳ_|J ]דְZ!U:/[yG#^87ԪOZIX*2ߝo ,i9jɀ`ydXesFJ8(L3rј kD&"e-am&4uTF9r>/PoߕX.`JR^2[ȺNưLFSrUY>UHӇTw`ń٢t=00nyd8T5: WQ$ֹ9+O5T)y(n4(+qSEN[JBY:bTf&J+_]_S6͆|O`SM`RU1sRԋ5ZWR#=EA$ xDϥ:8X&vbfv̻ZUI^gƓZÈBh jۣ2/idbVj26p xYLbF$ P˚Jm1'rPjx`E*x*aޛ %]t`5H@xʫzPOGd_E]. !w^YȠAe>5Gut4#?[ 6D&\i s -H+?Ye8>ԞAcHxO郼 0D"1#opFJ/Rfyqʑ!!!k+"Aif"lsoؼͤcм:/FZ1`Kd C )N={2Z8-mms>2mLlѦ<$?e[+Y"D2ufhN(>ZμQ|zsRkYE8 .y0yMxx=1/E'2,n 'L\Ssu7㖤fhB3Qnr̉Y3E)R$6h[i':*,pԱSM`{׳VӀeb/?P­$f z|H, nO+McB{qw+2$W;͍y{c_[[#wP9'OdvK6 kb <"#R5sWCVH w yxeT~ee>}Um,Pxߙ![~0Eh#PĠ9=c(FFd%س)‰A"f4yA#ʶ=B]w@&] ,6>Om&Go%7o?Tu=w fse* "'Haдp gpf*؅i0Ja*/WN-&<MZ:IE!zJ .{ikf"6O⁙`ll6C0uFG$.b=rD Ll@nڈ-[ML*Zmk7gc-P+juG.#w˫*diBW)|8@$FhgYZ7zXZִF! K]ŗXi%i)Wbs]bAf#Jm>Qx%2۩B6ɴ%0V 5WFAx%(iEwO9ernQ#R۔W餶~π> 㦟ҭ`wPy>K]'up >l[tJ+2)iW90 U`bF{%IɐC] mɆ ě0/K4,7rr-^\Q8'41q):^3U$]H r6aFӌ JLtuMKJ jd#QB'DDR=x icqK_+-6m{9b(-O^tu$o+.c4PqA0w>-":G\;p>$&!2\|2v>u`rcVyൺH DHƗUWi>p>b i:UjTz^/vEDJ$^e fNaf:aj MQwhO%ڣDןhL2csGZ)V,-r<?r+W xkTb~TQQ }s 7 teIpnh6zU@fz j{hYz&q:@N˲hjhjN֤V΄xjt_.A X;B6sbY͜|^.5C76ݧO U@WdReU2EF 9Gra%oZkasJUQ0ee:LkˌB8Ԃ~7X#lG? H!\%LFq#jurT`kKJ7{m !AQsJfb֣RX ;aU";w/n#_ ΫdgiSTuv XDm98a (kCgYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112d2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c 344aa01d9faa7875a66779417da64d59809f65b58c9408aa2d37997747536eaf5367e36f995a3b63