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 ++K<< !w Random_Graph_Subgraph_Threshold:threads=2elapsed=78.909cpu=136.796gc=6.608factor=1.737zXZִF! H]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu "K Random_Graph_Subgraph_Threshold+G˱+ɝN(y.;#U3*{+/*o;mS0>vPI F&5- qA'LaY%<$D ȪO%)*p^U'vNvt:ݨG/5H蔬L98SG6ꢮe&,5s+a@21DnFOz*ld S(c(kmmhΗE8 ą=xY=0ޮd?/mRƟZ{~<ΛtT8b1e\^ yLuu離XlC`ddp %S3w׌e71'fh#_tOn5 mH;'^Jj}big6,Dz"K'aM_?'^'_k唏aM :cfQceoP_ 4M1z2OV‘);!3šF 4y}'l~՘]-V<ˌXs,}3vO2{gv{3vw|J3"ev.N̿$ᭇZC͊o_ƫ3@.#M+ $6,Ǫx=r\jR) 6O@e۪3N2SKj$y!2/r&=?!+.(~\GgD~7^0[HGmL`J)j&@ IdU]aϞ ZXb~#6V]bM6=P#XMLFYr(a {AH=Q@A QKPܻ^Ow~ɼ(8fYoͧ{htf]Gs5`~*PNuQD*XMw0585FJq xQ_jzŕ:-*I“k֣j]|+6s؞TK$ߺ[xoR[6KL3]_q^"t#Kt} #u,LT<ά9XeO7ThyRa+"p -^5ЩOܻqVq9mH{*(h6{bJ+sG7=tK4^hKifT:z흣jEVEC4)&WsWϢI^+Dnz2}Bd#q;9HI"Vz 5hWJک\ +]?% 0à! odtSe!9'y D;І[=<6K*bs^kkWM:܎_omZ-}ՠ(q06H_tmƠO =6nÓFcu|[P2UqEThV i*hVS`.|g &^ 4c!`fkcp:Kprd 3h\. %=3 s5l|ذ!s[ogz[ܭw R3E߮%KG>0Vi&3ԱI"?A{mp*ΦPD5-$qY%"X%)_ M5W1;oWHX̢ Rvy/5N,tX uB d [2p;t>>H)!lP续ͬ\+.;9_ޢe)8WCm'4kFA}BCYI@zbM2:k澜_ٴ |X0pk"Q-|tWxC?Av6{y>t,ꧾ+U_M^Z#a3Ϣ0P:6м[N*DŶFM`YT)8E vnP ^ۖ=P(Q4g[!qJ =:hPW+ OfE|a;:chvJzO=їfˉ;i_4tWHڅL-  m"Œ%fgEV:wtg5odTY+v7d`%F|c:^9/m$Jֈ6d][ٞEjĢ!YU2&e|"Ur-z|C%Wqݝ:g H4=vؔN :6d__JKʿ yaӸ~!]c{U%$/G8vٞ:}H4HL&]V4ENCΙgiw s9[f #Pchݰ uĎDO30/ shM)G$Pɶ4bV!Ս &d)|Alѷ&Vn$`ñtnuENEu6YӘ;lnQčmrݧs]!HfqF/FRޖUϦú; A~;6 Xx+@X}q.}.>w Wy/e䞍6>Ui6 u:.3ѣoI[t6懢M w@①'53|oq/¡3>uDz̵?Dl-<'-$p]DŽ#@a^Pannοx٬E@@L-w2!5C}8E錏FG= ^@G0<(g4V䷸ ˡ /VЊc ,$9h.[?[J4̯ϥyi f%*]5OགM+Gmf^UN[>tJnQd'`n?S]h4Lq }CڷݘӾO~Ũnk{pe$WKj}FwXZdCޒUaAޤgW?Yl1b3A:}Tl9z]xr>}RKBH91>{*Ԡv%eΠPYdyaC3n0~z mV: "% _3<޳Z. $x♜Ϻ){lw/\UAG9.#\򘍩J2W$kBH|n& /E-Xne5 /0CGh04$f Dy= hPMV/ b֐'u77 .0pErT)0ϧ+JHk\/]vS~jRͳN^i|H( *r(Àw?ѳv+k3Z*A6 +һ")*4tnGeCT2UbC3By}0ݟ ."AB:En_ TZ$ Гju.`SMO51\qqd' Dz$jXyh S}嚫4CY6|8M7w_Xt$HHpLcOe^!*^eJBŸ)**`,wBe (<{v? 3)KsаkaH|głu"TF›qnXBݷ:CzYE:qUW>X};pp4JIZD.{2r#0&ش23`ooPiWi\M}?+1C%IŖB+W4Zpp6ՎA&1ttdlGn7 g^w)WْX'<.f@D$:1i)MՈsҧ5"j1`$7VDgM;oc%^+q׏ϼcc#.Oxv஫iT%z Eq`=Q1. ( EQƒ"nG(<[56?%WMF <Υul[e甒֤'E_!Dj[|mFpU'*1$WV 729 "C'!MX `T`ƲFf5GLJbsi ȣJqial" .wB#-0Ń28J5:j@g$XQ Q5J]bi\X3h~+HRc% 184 zO}cfy^_G֏Dד[tżu,FOFh{ 䉗P#P:eׇSW;8P/bK'Y1ȃs d%ϢTr饴z] d|@}ݵ13JCf*Jc!fW ^v{r'׸V>S N[OǔInD\Tv<2}٧G~d~ v~~_:SADEVŚq1-w 'X+}B>=(PN4DXw` 6Ŷ=$l.1.( B0)]R[V \ǀFT1 7PNd._|ϚzpORԊIQMC9o3VEhoB?#2{@T~:I͘c)>6únqGAS:MO9t`|ɛ$4DHu>(uQʓ0r$7*P ! e}vPz<nY]B![a AHKEVn" ҧ:KHͥ½~_,?8L6֎;WA!sȧpY5y/ɉ;uCV=n3GiC  {XO9G24m*/Lrlb+.ƶUһL6B$Fq?!9f4 t'v3>\M0 _J|Ex /9Xݠǔ9UbwY\|R ޢwA/31]2ctfŽ`'s Rc6mň;Tֵ dʮvOMhc<OgH6/FBE\`Qh )KW .0'ӍSgxÙU$@ ®w='ɴ2MoVD@%&N5$̗,] Ef>0Ȳ <17WǸKziMpvfr/0vAR;ўl@L:8o"AW[=/i.Hv4+j%񟽆wJ5 4 9h;?@ ENߣuYPA wbΦl_7KteYI:7`pF;R!_+A 3糆&2 (.3p׳ y1g'{NӮgV. ֋yF/;$ 6eU7鄚_skDMY.6&DlLUL,F۪|Z7swc1]Qȟ^Q[g'fG-cŤ G3%:!H>+q ʊ[P=-?axE̠A(E*mU퀑>pB-p9Cdd7iDw FDfqE-_LI-_ڂigוYX*DޕEh9?,T2f;5@#iyB͐{ SҤRC'zD}ԏg!花gYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 5014bb7bb0da8588a0c9840ccf35dc642fd40a12 54cd8b9da81da676571f9ec93abb35e26767139d 5f73a2fbb357abb9784bc53c40b1c692f323e486 6adc6498abfef3fa67b46deecc96b8ed147175c2 706eb1960d5b51bf830a960aee522e10aabc387c 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9a79b99f52e090c15cc949f01c2cdb34d1f8f339 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a197d18e1c5fa2999e45ff05ed08a1cdd94c719f a86ee3837d3922ff5690a81095b9153628b94229 b80fb750b75ae80f089ead2d3ad70ad9a4746b3d ebda526a38b70d4227a4d7185642da12b77d4b6d ed93f13836f4208e53908d297bb056e36e8cc7b8 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c cf1f16d97467793acddbdfea0d823a4bab350303 cf54b34e30444469b3afc37db385a08e9ab8df9e 84623f3e4192cabde7f9bd2856ac4d80071a5457 cb198d769d66c4b8b21387251a023a1db541837d