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 q1 l %S]Nat-Interval-Logic:threads=2elapsed=47.729cpu=63.504gc=1.316factor=1.337zXZִF! 3]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߾mtQ. 9HJw첗#eM6Pk%{ UA} J>ݻծ 6 Q[W?Y$̱\hD#EY [ߣ( mXR1 ҎSvu[RSC~F1+Hو9Y{x"4&޴Ҏv$ JE|FY=p@7Œa]1ʺL%#37&r uNxI Lr͚%V;{"hV 1 Nat-Interval-Logic Hc1υ?ZA-z$r|Qj0PПN1y_6ޕdåpe3Z2}^"6Het49ӡ'E& OKbgɫ:sJ+IҀ!0Qm:T ګ8Gfk+,GtR $ţcg\cB{Z,TF~Ya}E8`<HC>95w}uaoQW]-Xm  tVS2p}xfL}g$[iW;L$"d}hzpT[߷MhAꗦMM$`௵HFq* 눙`?bH #9(Hz.;pr\EF(ÈYuWetYP8 o-Zysբ^5ڞ^lftGOs֞&_d <5THC2 l*(Q؃Hu5SkJKpwaZ4-no b  `@c'h싒 t{Tr>ud |98G5{$Rmy`H@BGhp :TS&d?iGJ`&X[O3'D3dzQ#_ka׸8.qaX^tA Fo x|ZorB6K캰LG^ЪloU Dg;3꬯!I8Y?,QC\t^[wxhnlVN.AJ8)z\ @?Bp2Z!^T1:xg[Qe7G"80eJO|׍{"ĕ)TDSn.y`Uw UM"˖[5^ak݆k =ʧv.Y; [[<8ߊ[CYܸaA5Ml}ݔB[UmK[qS2kz~͋ryN؛a%U(v9nwl̔xɗ/WIfe3*[;D6ExDPmw-LYgq{R36\ j!z eݢC"ԊAD2g~YQ(愳 w;N47EGR4;id:YA3Ҿtnc0q,e^-O_cGtA?Sn*vB4c.rO'3GҤm~!J[dEH _/”{P0߇x}M1@lƚ'R 036XרG"b`H^5s|"v%4#gT`}BPjoS<3X@?V?yzo& {;6!* K&& |NhMv!4",l-@O%#!]_>UAq37ܰǪ5Y 6A +H7<~O*rQ׆֧|.0ţT*f Q6r~3c`"` L$Z+o~U[S U>ZK@$r0jmbo4}>| @8Fvk%C7u?hN)qYr=})}c~SqColJ; @~w;5!;1HVJ"a\> nh/PȪ:Z 5uUQ&ߠdE[ty6-JQMNIynVkxcd oGt,rmojmz41-"2F^MAbf+~`t@k"lq璡i >mqv8,&q_gvrS8WCdx?MQj@, Dz~n