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 P , ]/]Nominal2:threads=2elapsed=40.995cpu=76.560gc=3.612factor=1.877zXZִF! )]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,csP8B=&ZvWZ=0^{`AV c |N'fmղaftމohXXS^i0ET}~"C z̔PJ&Cft{AEPWskՖn[ X]Ybԗof[܀ҵ% XIa{'W$d7 PLజץ%Xlzbй/' !pl4},YJeH/Չ _.KT fY,tVٓ  TLze@C=`l ~Ȏk@[gt 8<)GFoˋ.QV Ma.`Pк^~m#osrFȦ?_pe)19ܹ4<1(`#8%ef[Z0zk{%׮y}ѡ (`)9вW{FIl 5 HCP9T S3jh- ocЕaZ.D>L#W4G@$]4?(SXr DSs` N@e+MrY/χz_Z>iL#S],IuΧIU_q#4D\ߕ>Z)|۠9[E"b=qz:ՙXUPFI|ZO$Èinmk;} %p`4'r4AV; M ӣp]ƭP'=ˠxV.IT)m$)Rks$씣3MiŽ+g?>kC)@"e\K"iiāhtC%p/Cq~ Ve# W>7츮ܱ9rjK?AgDlŁ>e+vY3ۺ\Vk&Ƒ\y?l1lS,Wuܯ@N\˼6Vul!tDϺ7 z|6ݧ S+{gYZ7zXZִF! ]ŗXi%60e+/SH[AՖf BPϩ+" 0$F>6HWrQT`D .ݴFfcM\"g6Bb5$a0uSBsÔAzR~]a.?S%ءt"~~+arYf[sݛ^W"SBnzL)=0N9jRu6H#SBsf꼂d-#8~djU,yO8x1m\È֙׹ȿ؀4@0ݙ,;#+r΂ܸg˔n]Az>7`քš(>6[2qۍy(0PW4yl {V=W>>U x*>t_`r94iH m2CQ `:ٲUa"q)˦P~ F-덼&W4՚x7m MKLW9J|~A`NVQ6 :԰ x[ ]sx/m_6˼CV^ xӢÿќXmjrN0Ao0Pd=F,c.È2|u㽍U?o?cކu-s1v]+Za@,ora]b Őy~Z5'IϣT@킥ЧtM+IjKM dh|t| ` Tzps{P$a&ٵmf|x\vZ܌:4QC!< sxc)w V 9v@SSu1p% '8a>v\ٮ˥4j@3މT_XRXM%|lmCYVQ)E!( ֐FFqCVt}," njyPQ@f4?uϰ7C_hݎ@ G߀"h_O^\/b3 2MHҬ6F (eeT%$!>7vIyKP =јbJڤg4J?~Y)ufK_GevwA)bL:{|)=fKe7*)oGEG"e4w͒jēߪ*60 8 2f ƿNjUcL g=RGr\bz:j\1 ^,m:OXBztjT5 ,Ajp Y+iu|vM:]ubm[xdyf. gو2*_czhɺnsս:g?z?J寘O7}ߩkY(HЍ)Q7:"ٰId@y2?O/'{rk^aH>`S"$dMo;> 'P `i] DGu0$-Pa o#(j b#0"2@/V.&F󏇊^h^p)v4- f~,duGEJ!gg6u~#Is48;G&ba D~mqC1PiEUtȏ;@QpVSog<eVhQ80j捆^%8 Ĵ{B8"pk& obuA#Lއqڙ y=? մ3D4y{jO FWs;ylKnp CgC@pfK/6Ri &|3a`xEoky wjt`JnLuDyj7BMA9@\sRX2:&n˷E1lrÅއ[@F|Bxŗ?nM'49G@Kʃ^+5M1Jլ=U˄FZc_k<%+Ǖ|RgYZ2180ed8ffb4b245636768f1d844a9631789a174ae3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d874a2d09f60f9232194a77e9151de6c7283d95ad13