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 33>+ td I]Sqrt_Babylonian:threads=2elapsed=16.116cpu=26.544gc=0.588factor=1.657zXZִF! ;s]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02Dv X P,Ћ~F?۵Z: %N 69{_W;9ehDt ? Y[:TSwO>*Wm1/\۹aAncR޷s9>0R7=Bh^H|LCtx͐DaFFVcG1wɂL٩2g4eo4?4j6j?2MPfn΋k^-n Ku\N6bj5%1j8f9ryj1%bz>' xlQVj4B|ɢ81s.hg:@ۼ{ BvQt0QQ~x rn&eJ tvS]PfiQ,O5nD^YV WAiْlMT8K{Gђw \8icus@Z%VG ٳ%G%odžr߀GѼޅ3,&HKW/a{Ww*˿S8ୂ0g"D~vI#n+2I~#wpnkC p_H ´4"g5ݲ=H_:LKR ԁ7ʓh>I{J7~ Фܝ{2$70>_.PH]T7olY`f'LJCX/xnMP_psEÉ/59 'υ7k + Sqrt_Babylonian~lqcZ=m%b`tzCsiQZ#76*:iq(V 95ft`-j vzl) AaO{NmXW=u4*g{z?DĊ7l#;t7)U]y ΅(Õpt47ZJP8ᰰ](#OIۮA=fS/pjI]C]"1%:\#O#v:c^ Sl%$zQy.1xIUWH w 6gYZ7zXZִF! V]ŗXi%H9ɹPF N %i悿o3L&h3h˦Ƈ޽q&($ Gi#8_2 0$p@(R -C~\.^&U ֲQs C1);X'IyV5ɅuZ Y5FeD:iqkJ豛Pt |I.6c09;@߽>NhwU)qMu:GuVbDo 齺>wklz K[<.o5O:! h}9ٕ9r.ղ=Qk TIش!Cʊӭ,m=H"BA>ql2*CgYϾWŗN9L[]0C]" 1$.f{_akkd#wK&=xaD] zƎ[3`p(ׄ1A+kg;C=X.je0XL|RNܻؿ9y~T]h.G#/|4Ɗ6ЇROZ<)\}ן'7Ɵo*8ZgGqjps,,c 5TWb*ٙ(c*j=~wyŠp6#&)FWSըl ϒ$HoH_z Bޮˊh7\~qEYj(5v*YGflΤM[ 6e#y]\xJlI 5|ɬm `}LyI$7́\4K݁Zu F?8ࣝHhX)n$.RUK,c3EnAd c\_+𺨚 Hv'C9krXEwp=t HV'2LASbiYjL9W4M;c(PDvrDPV: 81%q5Y9drPǼ fa88"lO!2zW#CѤ