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  3 < SS Decreasing-Diagrams:threads=2elapsed=23.279cpu=39.992gc=1.100factor=1.727zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4_ߠ?C7ɈqKHT.(V-}V|Ԥz (d (щcaeuzbM;}-Tlc wܷng؝}196{J%# I \GR5\MP`[^CkqC\lјUA6.M#{;I4-sYA9%n;AO ,# wLC>*.zC76csA>򻎺O|捩Z)eI3964 3 Decreasing-DiagramsYa>jT;vU~m&-hlDsC @@)Ekͮ&`pF~K'=:-AT8T`9(3 B[{4Cceh.>"zj ?eBr_um/Q ~<$+f^sL #;.Ad+i훠H pݟN 92wdDz&i.S׼?+X&F\.$,g?Sɋ@;a ٝ<ֺ #kv-§$%3nIe:P 1ħ&0VDH]"ԫ缄m7|4Ub0YxZX@$8[M˰04+12<,ng,fJoԮzq_dud]`riYI ¬] kœLnだGnWTP4xeaQTʄ{u;f|\m]5,pbsȅjUPUwT5Ȑ _rg^Wp^&jqv ⇾+:^Sz94torqvm|;+ I.R Q>i"e̬#ʂ &d{1tlrE^#OhjͲs᏾7ؿK5t3=BmTrzV¼ߟ}GɏfEڭI'mݪF2{:@ F!B^x(Ȏ/{d}iz:"U`f "-ѫ]|[+Lc&NrR7bS"!QTbg|TՉom"+нl :so $Qj5hF:);%E_H3EۦJUTjm4p9 zy:1W2c[YyL !%1.H `~q>/V.䎍M(gZ7 Q+SaVf"uzBj7/cc!:23qfzIV5p_#AP ,@EO//^/Ge3sjʃ8sL EH:u +\+f?VcZiuy;:Khf*0e:G9[Of.̖LȾZX/rM1~]-¾h&BVGX˳~9n^d̶z_W\z')0a醫|>tf|AnVQC<..b$hhp!TvD, uFj͇fŠX ѷ؞N^V*=V8n0,}'u %(^B x^͹e{ހq.v鸕^KQ Z0q(,3GYe  Jp؅ ydbRj[IY"J)[Iχ9R'vZ:썧㲟" @pU|Gq˅*uui#Gʘqϣ& GUV0g/}ҀhŷRx&3m; ݥtB,\sMڼbN(1ĺ3G?qHyZ7G0҆gL&h b*w!S|Q1,ץR ً:{Q,av2~뎡u;`0b4p-˔sGYHAabΞ]An;(gh;ӪG9Htudz*f$c3߫1_gYZ7zXZִF! z.]ŗXi%s ۧ{x 0 'x}91bæ^$b!g )N:I]s&FR=hDwCœAw)zzb:6>A7\o 2."-[]u8> x~cҸ"h*sEXK:013+\7`.􉽤g\`1]}hhiLN5(@R:^JžJkfq{]|bJ9`,p^6dM9dɿ g)}}#:Wy/'D繏 Ao&VVa tlR“U«b?IľQRb6^j-?jj5Г{ڑ$˛߬w4DC?:~Xxif>T{P3G -c.Ke*\]4S1 $ɗQ%hc.^,&H C9o2mH\*u,:%C#kdfoAZtSF)͑LJWjd--6i~lu9P)zLEp"CoL6)Fʿi%E6f9< 2/io}v^f%IxcGG:bv܄~(tkY?oB60zl}Ėl)qԒΝ s4w MJF4tlkFNdr=CdGI+F=iqG~pH$ղ6mwR,A*N7{;ҬMĝӄFo3[Rqҵ.6i(@ZJaq ^53@{vR/pzqtA(ԏ}œWD jWM/H;_>oLhˮ/ݛϝĞ:@;OL *h- @))xZ_NbFPz֢Lb890E|A],̆"9RhfޤvKҢ~z@"]Aǡ;Y4AȊZq6EգjM=xMKxCÉ3*8NrzUwi!R 'J_9aM8_1j L:i#NisX U:]U/ lj'vd]9铂'wW}@:8[vX% ` \yj ᤵa}>p9^'`8۶E%y`uC1f|5?~TȦ3ÉZgl7\SHD ęg ^}3jHK"l QbJ{Wc^F *j&o&!&ͻhJ+ hDrɱ1mZןm ^ŲcZ^8[lz[EW"hbp :Wr gYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 5f8e3f17618ab8944a9eca8b58043c6166872776 f0205e10d968b4593c6e9e0cb0dbe97f330d1cf69711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 6e298f860f1cfeec73d8a545b0206df8583b8fd7