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 ` l wS Bernoulli:threads=2elapsed=7.917cpu=14.384gc=0.348factor=1.827zXZִF! 0]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛s댙T9#Ʃˑ\K;Hُ/+Il[u@5Yv,NZ>R'gALMG.˯r%.RNJO2 %ÊIhx !3^򶷣K$L׹6cSD;̪KL,nƜMFA}p8ԥfNֳi-x܂E*HTgd|s9ۙ..QJ{|܉XI-_ąUPH r5BvӛM>= 9M~&^pC1Ӌ+n?RDO.Ю5|Kۆg,|Zs4mqtwgn;tyָ8)2EeUdYrfjJň}tA-"!R T0(- `t & R&X͗YzAfƨ lL .܅/_K"yLBЍǡ 5 %;v~b4~a`m?ԕþ7yS_^ZM=Z "7J1!ٝ+;)K"``24s|Ei=q2O&RkhXi@Q1W^J:y6icS^xI/mUdW XIp=6ZPJMT|Glѣ6+H` 5za/6fe*)e=N=vH<U/"etJ $ 9&sr"d q[hdVM0'ݗ/T73ٌ*uzvt| 'n-8yiёh-)oDcºO']磤r->G:䠍ӓEU3eWhviͥg@0`3IXvm"MBifr"> >Ƞpb"az]]\ E,+x+faAgYZ7zXZִF! 1)o]ŗXi%s;xn]դrc"+ a ZMe~F8+Lun vz?4WFnWcRIܹLE4=6ݨ7 f[]l9p=5_Om/|#ut!B/Q eȕP>!:;IqP@#uZڶP$yUi+"ɇ ,Lຣ4ʊKT q+thKu,[IANC>uKr^aԡnGeP8⫝!+;o lp7`QFێ swZߟtWF],OkfR3G}ߟǠ;SW|tck"[pԶ#1Mf+LYGgBY ql1Zt`N~ k%5F>X}/Q|,ZJr$v 6Wv6UkI M ;)8#}z3WTBogda'y"+B|x'\LnqkB,58x8 *+j@79GqƲBh}xj(ٱ.伻jfJ9a3M9GDfdi$sT?;"̺QaB>jܦGz D$iCrp>~AvX5gB::P4`v