SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  FG ld ]% Probabilistic_System_Zoo-BNFs:threads=2elapsed=54.702cpu=95.728gc=3.740factor=1.757zXZִF! 5.]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cy޸Iƣg[oL%~̮ tY|,2+MHNPmv%HFEV7OW' f9xT㊜_/HS* RqV_| ?%vr:N ?;KybVaTCyF"L,62%:EKXW`;OKm%ߑY~1򟡒CNA,/]Vܨ:U^EvqoS~\(&O_ȩC&̼G'6cm* $pzWcUb@6j| 1_Y%p &[g˘F>SWb<\}x9nHI _+9ͷ 7"az͑9z)(1l)u}ʞ]iI@}U T8N1`<[$+WΊ{^Ou I,~CuH4z6;cgloYOd`tdWz $&d Mqw2Ts;nBLPM* ~}Ea&F|H f}Z,S:Nm  .@I~|aWܱDW妭=zW+mFi ü̦3%`_3n6r|3axVW܎=n$F.&N4og^Y}RҔ%o9+0pa=C*e NTi0ePʔvLkďeASUԨ yH?*y;x*9_j;>mTUlRfpMb7 $%d֐se -%_Be: ޖ#,[ <.`4/"4&CH|{[=!xoc Nl9Hٶ|ԤMAk8e ׈lKWYgV|NHMghu& FWn./_Dfo,.NyICxmkv۳rG ,8 1s1NIE3R-nJ6~oS9 ߃Nm}HF 6;!% +zsS:t P!s*?\m-rrVȄi~3/vtF ԡ1a?>6Hǽ|qeu&QjAW4?W{R m)HIF\lP|Йv語hmF %‚#pD+a˪r֍WhxL0d_x_`\RCUPΊh6kڀÿu. HVQ;s`]%zvWU 'L/灨DNԊuI&ScGoz1gHR8-=o9zPG^h; :s"tpvHywrT-ɩdPy4~#_호P5 M+%[K;pСtttES<|*v_oI*.;8͚L*7PHC?L}ì}5u16;;0(W v]R:v) fF}̉}@}f# !  Yl6Dq)'!p (t3k1 @S-^Ȁ_DRM_a=oga\Ec.dᵥAy)׊fgZՊ,D <~v5]БPC S5#q(;9̥Qwي3 ,+p y,aW/.RB\0GG[4I.E?Pev!gz'*=oz@݇B!GM?~S!h|剄s|0cdLUc"z~p6rB{V嗄ӯ].+xp4T'v *y̱{> "qVMa6b)h".WMʛ.;R!j:FrT<&Cn-*P7;&EVk6ՉBj'z.=Ha-_;`ܲĨZ 2͊ -Q89Q U^իgMC5('HS < Ó~Iv axDZ ~7o=`9>_X9b/גG*ݍˋuW(62,s٣eNiޕ:Z.pw `So"ݽEO632;&uތ7h{?s#Ӟͤٮ wvlu>, ͉]w@)Tw'1ь`]F4orb5Wx-yPnpnD(sJmX&$]' ÝeId; ԫ^zv[yBo_ꨏAϒF 05INb@+闊r7Wmɏ mKʻc`tBS svA҇~f xޚߐo#kJ8ZTzP2Nc"/EAБC'ߴtl43,.-)G$\M+v $ط@óBq?ťFci= @ܸBY=kIWb