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 99 1 D$ %S]Nat-Interval-Logic:threads=2elapsed=46.678cpu=66.856gc=1.496factor=1.437zXZִF! a[]ŗXf1-/6vR[o]dhNZ!*-| #LS> 1 Nat-Interval-LogicuV;N+e WR_߿$ѠϦ5Y1茶I2ꥦ儭wTamJqkUqjyU[}c5fAX!k\"Nن/QP٥"ᓠxe96tcrٟHjKⴱs%Dwf#.٦u\9ߢû.ZtNĿ2;҈Q7ogBEF<-ft9PXA,bӄ_.}eBu3o.<Nm hI[.IE?}v|ItұP}a;ɂQW%*0jAB^G3J_5#6zdBCAP-l9$-nj59)fyJ}>wIB)q W} MObv >j1|H7@ [ 3S(j3S@+//^8C-iRMּ@@Ln.#q|hiLhuZ #sMMp)mn68Η[){VڏcΌ_213Ď jƣ,Ͱ ~t7Of.'\0|":wxIT^tΈr1r3zn㢾HJ1iZV$SOVrNMȟ',_]BƸB5"ot^za Xf%OyRhQ ̸bP1 rTot 60魺.,MnzUi2MoFc㽕*NMe}DT>5k"Xt¯l)"1}arlG v3絃LҞ"̼u} ufU=cS+k#yy0:ZM񂭢p{OYEZC&+GdقUC+G&\-6$gWpݴԗS{3ZqI)Gdk>K]aahBO _D tvVc.-J3 ŚyCpfO[BlZ|rZN+H쐵qVwbQgUO_R)sCBÀ>08͉xH;ěD+hݙRMOx5?${ZyT>k6Kəu9D|[<4x 귗`jIz5T~j|TP%ha;:ϒbq,kk[3&e4㣚"!kC7 H2NQ HY- 2ۻr-.Ls3ueh3 =/J1M67oJpZP$KfLƔ!|[d٭a5GVF}qOPfG΍⬭'F(fovp˷T9e;n!(ĠD%~9jxe1;o߽У7Bl+k)h٫&#JQ݁7~[ &Z"օPXP`&Z5vJctO.y~n@R(HK尯<}X1Rx_qMG$[ Zٷt?ܵDZԊ\wռZ| .Jekq^OcC[)l/ `|zJ PIdO%<ƫ]) 56a f*˥R1ڥ`DB.n۰>lF[yǢbZD)ɻW@C] R#p߶ĉ5]\U: ."_NN%:ޙ[aCHQHET hW!SH{cC=vkmY!%8bn Q I,t];t:!pZtL`S-qJYfIL˺ݒ7[F1,DT)ACաgDPCnںg#p(lD8)gKUMlN9Uk74&HqD~LLĞQ3oQ*9aN 6<)ȃc-@NŕkH1d% 8~Z;}?~ǧWl`*"*YnsfA3  FNđn~GVbHvvT 5!izf+[ީ \?#طǸ 27($לw5{b.ܿƏCguD$[|OJAL3jyw:ru 'km6Y8]GEYV7+&f%da-BBμAۅ>;^7Ua^tڬ =R猎$ Fnt e[,ZL+KXᙄ>#0vܩ9j#u81Eax+ENaGY/|]',#Íӆg 1Q \3bR!N&L92gfiis5p.8r5|Ӭ%SζX 8R`mxc<4@eWb) ZMzdBYQFXT$Ub(*C&GBc5 2wۓ jO 4PVL+sFfƏ2sEYq@+E8qxX;},C>F9yp?GT֤A' \ X c)]raS#zG`j,gJf?@bJl:tY6M-&qж4"-Bq9FBb¿@r3nξ?fmmTh܊oC.^ +&Uyo*}L=Y+r#'L_ f Q[ۤŧUt_m li2o=tiR,`~|N&%xuTzqObeH^vFq0l;^I utjsVUOײb4 [Va:&F -W@N}UuNTxeA L.Sښx7>,WJۇB߄}>jOĔSQ1tITшz`u'8a9FŐl}<딙ϩ1OAEו}&[g=Ll3DXjJj&E q+$l묭Lɏ+ $7iGUDEi>vK7,@#!H qzF|Dzj F%ME6ɻ mEohˣ?*":sGJ&qV)|1.LdVQ btGlb8aH,8ҝtQ{1σuS2)/&.8z~TI%~Hu & ,d[/fW* l!*RڽZt~ԫDvx"#JcGGtAuAnUk広?m/g X7|EP"9YۅK/RQ;=B$"l8/YL^R{ݖJ όw`URFDn.%rW-~QHYO?7Z_btyZ uiLP[ 9h`"z07?qˣhش[ &:~M||ԩI^(ȹE W> O>4l-+0bJ6!|{ T0NBcUq68?Ts7kȥ K@Rpk (#o`3?6CKQ0arؔلxUˎP+e lC=ST]esl@h'햰q^"G!QϏ{@ [s0x7#= H(~  F_q5І0*[ 9 y3Fg?rV=b5ض3z'e0'J"$^W Qn{jcp+B?]1V|>Ne':sv9~5ΓgoD2e?$ЀH7/ip1e%3r4«{҂0 pZ+A3-eD\#`$mf6)MK \"]U$fSڸ(n=QLח0F'weӰ>%*Jns-ι'<왴d^m|$yw@.&|eAAmybb%$񐪋z!U9G[$g*4j]`cp@D \Keث-&pyV3fJ!!,@ކƂ?)f SQpr.$h';0mȒU9_mռ %j#@қdJ 6ȊfHoTboQx=8r>;;aJi@+Ʊs9B q,wiKAf^eE'fTpH:I>4v^K4;6}zf|5!O.bd4KBR}tZV?^nwh\@j"Al !DHlsj)PԱriAJ Ԩ% ca AfoF6j^ǻ1$BuNCTmd P:`vzO+,<N/owe fA90E@-[[/ZTEè,>腻ՋS2Ttw)`%p;D<e] nm`{kXИd1bڠ/D= j95E GiYjМx?xj(9Y>;YGm㍿sn5}1}=_ܖ"˒"C KF㨮/vҗ^J:܍xƆ "D&1/ξ:l/MɖoM(~t,0_Swyةq[&?lFrk7x[%:}tM@O3oy؍T ˟[^B,B=XM}6I40ҙq3Y"gc^iJ:򠳫*U/0Z71[fŠ-Xqm1J/YQHe04Hx7-P{Mq,Ҹ ŨJT*wNyw֔K*h.B$nu\6 Ktnf02R's-\;HM5bdf 0AWm̭wyO`֡x'm?gm7H~ߤmfAw_gYZ01ab61f64fd5c45a27800acce6b9886e23c498cc 2610bcdcc5de299bcea6d2641080489c64dae616 45ae6f75f5ed99d198dd6591210f767f7f7816aa 5960a95f95a9bb6d8ced45988fccb935e84b0894 f82b4b01dd76df97e79e913d48310d9d32ffee3480f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c 86cdcc0ec09d3785cfa22c3b9a6be99c79d513312afe0eb6046b424a921afd281fc394fb2c68f698