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   S T4 )/]HOLCF:threads=6elapsed=16.685cpu=39.204gc=2.188factor=2.357zXZִF! ෳ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/[@.AiɎgnZr.ku&[؅+stCh~?܃F 'QofVכ.o!?FJ+fA x*MTVQ(#.֭v?7\𪹙W\ulj)CNĵA\j d.A/t}jNV\̩f$Ttv6 /CgY B;.2[LifhO. Tza>"Qjg X1 i4X%S*f,>A[ gw  HOLCF|:{IUDD~ge~X;咁9<[%h`2Hl3}>")P0`䰜l<攊?Vw2ʨ+ ԕ;݄ J. jĔ9@.^r(s67pf )v:3v>_1)j$$؏) w|4͕cK:M .XﰞI8bI)}D Y>ZV/Vv 4/ҁǼ9GJK`1p!,|ؒWiߤy[')+WRb;"CF'H@P`y*IY[`b5 JhWҺ2Zit43ìZ#*7I|W aJu庰ga6ո*zYF1Jew+NmATh~\&U@t։]79Iԁf` HnZ1SHT|GCB 8%H;!Tu~HNq\oL@N7<~*8g 6/bg)rm0/]Dv Bsr֠僺6ޫРׂ2&e}|c>BEJ7ՓRco)8J W4 8Wl`hchޞ8s`)@*ѭ<`j-$HF\zPL5]0o6}EtҮv;J}Ӓ7lp.+#`իh0Y[ᤇX sH3N\DaL )18Yʺ<+߱W{pxo !_ʴNl-i0DXwѼHKKy 7<,r3xZ3b _gC5D@)z5[4"r'oCB H7Kw[:LPl)5bUtj +Ӡ9mu3-mh=q1va lci ;|0Fa%"P/pkG {Hq-hq]m̒l@m50 ؘp b'J)E.{YttqZ'M}EDр65`P_BM27s׀hΙU# 3ig5: w6'e 5Iy5^rB]R dg!<9@Dk LeX *~xגI j+>q8N}~Z(Dٝ0C gzB `/yJ'cO?w^,txPrń.O$e<f˻ЂӉSnKA"S?J¼ Ɠ`\ Z;^_aj>%mKG.,IjCg՘uc(TOHeORRB٩d.fqfM6DagqP`S (IH 3vA. ߶nBP^F&eڹRLÓyW j 8a&YP||]DFT8QYPڪyƞD,LR2 )%[T4fq)qThQތ U\kFՎϱ#peTKY'N\\֞o=xa::Qy"*rh>1"'k#ӡ% rs+L)`"~9gY2_ʠl]0Eژje[ 2 j3Q0-*PSLˍ.fI-2i] >TKewh!VNP*訸{&]54?3g~(' d:0rj@Zo\ ,aX9.,>, ˊ%^ Kyp}iÉe#gݖ* eR4iGJAbς.|)-c$C1PHROQN>Ke!_C3kbS@ZH[[A.(^G%;x!ժE. 47j uw?56љlK kP%S|/ `L޽(9RXvzUN,9*;pe+U\4CVleȒ'4է1W<ɦs]ܯ54ƴqzQZ/P"Y xA(Fv?9RWwp1SwJ6k|6 Dnb׈ K}0|lVZRYXAb9r\1RE%Jn~%^{$33i]Ñ=QC2i7l`~lU/̚AUWڿWW 6ɢ|J[yT"- g$t o,*"ODXI4, ҅+ ~<ގm9Ҥ٪1 8| #oxXDԸax5C?὘~Mxw6=]9tΨyV-a+Qp0 >ԋ^Mlagz2J[r'8E=-?M,jLeQvR{] c:m'4AL+!cC&3|bLj~=Hwimjequ(DwV:'U@o.o4Dm<BGk d2ˋí jUqGp[_C#&®2aP,U'ke~U5=xVT%>qOH5HI?X$ mHj+Oe;?*ùHNkDeL|"GV'6v}r|~B4rEK޸6DÓ?:Rat9z0} ?߽vL15,Vs#Rk.W/ Op#N]}IC]KڴI] IZR4mde6 N8Vj]'di%#u-LG iږϧF=qnOc\JPɁ2FH8 <&xkv:;5qcZ(хtƃ%%Kx0_H8vUM+xCW-@C ue}b_ypaسv/̥l"jdBBٟ6?Zuj<7k? ,ʼnOK,,on~`FJ,`-* Qr/ bjEKn,G-(I'ZM+_w[-hZN9R('N #=^G`ßq tֽ@SOWLS#O%H9[ԊiM$Jykq7dnD"h8ڣ`H8[|dsR2?E у